University of Limerick Institutional Repository

Browsing SQRL - Software Quality Research Laboratory by Title

DSpace Repository

Browsing SQRL - Software Quality Research Laboratory by Title

Sort by: Order: Results:

  • Vilkomir, Sergiy A.; Parnas, David Lorge; Mendiratta, Veena B.; Murphy, Eamonn (Australian Computer Society, Inc., 2006)
    This paper presents a method of estimating the availability of fault-tolerant computer systems with several recovery procedures. A segregated failures model has been proposed recently for this purpose. This paper provides ...
  • Parnas, David Lorge (2003)
    Software is devilishly hard to inspect. Serious errors can escape attention for years. Consequently, many are hesitant to employ software in safety-critical applications and developers and users are finding the correction ...
  • Parnas, David Lorge (2007)
    The history of research on the development of program-families is briefly reviewed. Two distinct problems, configuration-management and family-design are identified. It is explained that, while software configuration ...
  • Parnas, David Lorge (2003)
    The Professor David Lorge Parnas Inaugural Lecture, discussing why software quality research is important, what topics he will be studying and how research at the Software Quality Research Laboratory (SQRL) will be conducted.
  • 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 ...
  • 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 ...
  • Xiao-Hui, Jin (2005)
    This thesis presents a systematic, rigorous inspection approach for concurrent programs. The approach has been successfully applied to a classic concurrent program of the Readers/Writers problem. In the inspection process, ...
  • Clermont, Markus; Parnas, David Lorge (IEEE Computer Society, 2005)
    We consider the problem of generating a set of test cases from a black box specification. We focus on stress testing, i.e. picking test cases that seem most likely to reveal program bugs. Our approach assumes that so-called ...

Search ULIR


My Account