University of Limerick Institutional Repository

SQRL - Software Quality Research Laboratory

DSpace/Manakin Repository

SQRL - Software Quality Research Laboratory

Browse by


The Software Quality Research Laboratory (SQRL) was a research centre - at the University of Limerick, Ireland. With the generous support of Science Foundation Ireland (SFI), the SQRL team conducted fundamental research in support of professional software developers, intended to develop methods and tools that could be used to improve the quality of industrially developed software. Critical to the success of the project is the experimental use of these tools and methods for the assessment of software products.

The tools and methods developed by SQRL were tested by documenting and assessing industrial products. Industry cooperation is also intended to educate industrial personnel about research results, while improving SQRL researchers understanding of industrial needs.

The SQRL team was led by Professor David Lorge Parnas, of the Department of Computer Science and Information Systems (CSIS) at the University of Limerick. SQRL was located in the CSIS building at the main entrance in the University of Limerick.

For more information visit

Recent Submissions

  • Vilkomir, Sergiy A.; Parnas, David Lorge (IEEE Computer Society, 2007)
    This experience and research based paper discusses the reasons that software cannot be trusted and then explains how the use of greatly improved documentation can make software more trustworthy. It shows how tabular ...
  • Semegn, Assefa Dagne (2009)
    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 ...
  • Quinn, Colm; Vilkomir, Sergiy A.; Parnas, David Lorge; Kostic, Srdjan (IEEE Computer Society, 2006)
    This paper describes the application of the Trace Function Method to specify the requirements of a software component. We illustrate the method on a software component of a telecommunications system that was developed by ...
  • Krishna, Aneesh; Ghose, Aditya K.; Vilkomir, Sergiy A. (IEEE Computer Society, 2004)
    Agent-oriented Conceptual Modelling (AoCM, as exemplified by the i* notation [5], represents an interesting approach to modelling early phase requirements that is particularly effective in capturing organizational contexts, ...
  • Feng, Xin; Parnas, David Lorge (IEEE Computer Society, 2007)
    Tabular expressions were proposed as a documentation tool that can be used to document software precisely and unambiguously. This paper explores the applications of four testing strategies in tabular expression-based ...