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 ...
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 ...
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 ...
O'Neill, Joseph(University of Limerick, Kemmy Business School, 2009)
The purpose of this study is to gain an understanding of the role of the GRI Guidelines in corporate environmental disclosure practice. The study employs a theoretical framework, based on organisational legitimacy theory ...
Oil-in-water emulsions were manufactured with commercially available soy protein
isolate (SPI 1500 and SPI 1651) and soy protein hydrolysate (SPH 1761 and SPH 1762)
ingredients. In addition to SPIISPH, the model emulsions ...