ULIR Home
→
Faculty of Science and Engineering
→
Centres Science and Engineering
→
SQRL - Software Quality Research Laboratory
→
Browsing SQRL - Software Quality Research Laboratory by Title

Browsing SQRL - Software Quality Research Laboratory by Title

Now showing items 1-20 of 28

Availability evaluation of hardware/software systems with several recovery procedures

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 ...
Co-evolution of complementary formal and informal requirements

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, ...
A comparative study of pre/post condition and relational approaches to program development

Hong, Duan (2004)

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 ...
Decomposition of software into components

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) ...
Design imperatives for improved architecture-based reliability prediction of software systems

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 ...
Design through documentation: the path to software quality

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 ...
Disciplined methods of software specifications: a case study

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 ...
Documentation based software testing

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 ...
Evaluation of automated testing coverage: a case study of wireless secure connection software testing

Vilkomir, Sergiy A.; Tips, Paul; Parnas, David Lorge; Monahan, J.; O'Connor, Tony (2006)
Heuristics for the automatic identification of irregularities in spreadsheets

Clermont, Markus (IEEE Computer Society., 2005)

Spreadsheet programs turned out to be the most popular end-user programming environment that has ever been released. Important decisions are based on the results of spreadsheet programs and the list of known errors with ...
Improving software quality - the SQRL approach

Parnas, David Lorge (2003)

This paper provides an introduction to the Software Quality Research Laboratory at the University of Limerick.
Inspection of concurrent systems: combining tables, theorem proving and model checking

Pantelic, Vera (2006)

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 ...
Inspection’s role in software quality assurance

Parnas, David Lorge; Lawford, Mark (IEEE Computer Society, 2003)
The limits of empirical studies of software engineering

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 ...
'Loosely-coupled' consistency between agent-oriented conceptual models and Z specifications

Krishna, Aneesh; Ghose, Aditya K.; Vilkomir, Sergiy A. (2005)

Agent-oriented conceptual modelling (AOCM) is a relatively new technique that offers significant benefits in the modelling and development of complex computer systems. It is highly effective in answering questions such ...
Practical guidelines for constructing and simplifying tables for finite state machines (FSMs) and trace functions (TFs)

Baber, Robert L. (2005)
Precise documentation of critical software

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 ...
A procedure for interface design

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 ...
Requirements documentation: a systematic approach

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 ...
The role of inspection in software quality assurance

Parnas, David Lorge; Lawford, Mark (IEEE Computer Society, 2003)

Browsing SQRL - Software Quality Research Laboratory by Title

DSpace Repository

Browsing SQRL - Software Quality Research Laboratory by Title

Search ULIR

Browse

All of ULIR

This Collection

My Account

Statistics