A process for rigorous inspection of concurrent systems using tabular specification was developed and applied to the classic Readers/Writers concurrent program by Jin in [15]. The process involved rewriting the program ...
Reliability prediction of a software product is complex due to interdependencies and
interactions among components and the difficulty of representing this behavior with tractable models. Models developed by making simplifying ...
Loftus, David(University of Limerick, Department of Education and Professional Studies, 2009)
Developments in information and communication technology (ICT) have had a major impact on all areas of human development. Governments have recognised the enormous significance of knowledge society developments on the ...
Hayles, Marie(University of Limerick, Department of Education and Professional Studies, 2009)
An investigation into the factors that affect the pedagogical progression of information and communication technology in post primary schools in Ireland
Information and Communication Technology (ICT) has the potential to ...
Neylon, Desmond Martin(University of Limerick, Department of Education and Professional Studies, 2009)
This study investigated language acquisition in late talking boys between the ages of eight and eleven.
The main aim of this research was to investigate whether specialist software could help to support improvements in ...
With so many software-related failures happening these days, there is an increasing demand for software quality. Rigorous development approaches, which apply mathematical techniques to the design and implementation, should ...
Abdominal aortic aneurysm (AAAs) is a permanent and irreversible dilation of the infrarenal section of the aorta. These aneurysms are typically defined as having a diameter 50% greater than the normal aortic diameter. If ...
Brazil, Eoin(University of Limerick [Dept. of Computer Science & Information Systems], 2003)
In this thesis, a prototype system for the browsing of audio resources was developed and an initial evaluation of this system was performed. The main contributions of this thesis are dynamic queries and multiple visualisation ...
Hallinan, Emma(University of Limerick, Department of Education and Professional Studies, 2009)
This research project attempts to identify the teaching and learning benefits of the IWB for both student and teacher in a mixed Primary School in Co. Mayo. It is based on the introduction of nine Interactive Whiteboards ...
McMahon, Michael(University of Limerick, Department of Education and Professional Studies, 2009)
The purpose of the present study was to investigate the impact of Mobile Multimedia Learning, using Multimedia Content (Animation-Audio-Text) designed on the principles of Mayers Multimedia Learning Approach (1991), in a ...