University of Limerick Institutional Repository

Browsing Centres Science and Engineering by Author "Parnas, David Lorge"

DSpace Repository

Browsing Centres Science and Engineering by Author "Parnas, David Lorge"

Sort by: Order: Results:

  • Vilkomir, Sergiy A.; Parnas, David Lorge; Mendiratta, Veena B.; Murphy, Eamonn (IEEE Computer Society, 2005)
    The use of several distinct recovery procedures is one of the techniques that can be used to ensure high availability and fault-tolerance of computer systems. This method has been applied to telecommunications systems and ...
  • Parnas, David Lorge (2003)
    Most software products are too large to be completed by a single person in a short period. To make the development manageable, the software must be divided into components that can be developed (and later maintained) ...
  • Parnas, David Lorge (2003)
    In traditional engineering design, preparation of a sequence of documents precedes the actual construction begins. Each document is used for review and analysis and, after revision, serves as input to the next phase in ...
  • Baber, Robert L.; Parnas, David Lorge; Vilkomir, Sergiy A.; Harrison, Paul; O'Connor, Tony (IEEE Computer Society, 2005)
    We describe our experience applying tabular mathematical approaches to software specifications. Our purpose is to show alternative approaches to writing tabular specifications and to help practitioners who want to apply ...
  • Parnas, David Lorge (2003)
    Testing is sometimes viewed as an add on step in software development - something you do to demonstrate that the product is ready for use. Test planning is often postponed until the development is near its end. This results ...
  • Vilkomir, Sergiy A.; Tips, Paul; Parnas, David Lorge; Monahan, J.; O'Connor, Tony (2006)
  • Parnas, David Lorge (2003)
    This paper provides an introduction to the Software Quality Research Laboratory at the University of Limerick.
  • Parnas, David Lorge; Lawford, Mark (IEEE Computer Society, 2003)
  • Parnas, David Lorge (IEEE Computer Society, 2003)
    Some advocates of empirical studies of software engineeringappear to be claiming that empirical studies alone cantellus how we should do software development.This paperargues that what can be learned from empirical ...
  • 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 ...
  • Parnas, David Lorge (2003)
    Improperly designed interfaces can make modular programs almost indistinguishable from monoliths. An interface encapsulates design decisions only if it need not be changed when those design decisions are changed. This talk ...
  • Parnas, David Lorge (2003)
    Unless you have a complete and precise description of a product's requirements, it is very unlikely that those requirements will be satisfied. An incomplete or inconsistent requirements document can mislead developers. A ...
  • Parnas, David Lorge; Lawford, Mark (IEEE Computer Society, 2003)
  • 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, ...

Search DSpace


Browse

My Account

Statistics