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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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, ...