WorldCat Identities

Parnas, David Lorge

Overview
Works: 109 works in 172 publications in 1 language and 482 library holdings
Genres: Nomograms 
Roles: Author
Classifications: QA76.754, 005.3
Publication Timeline
.
Most widely held works by David Lorge Parnas
Software fundamentals : collected papers by David L. Parnas by David Lorge Parnas( Book )

6 editions published in 2001 in English and held by 255 WorldCat member libraries worldwide

This title presents 30 papers on software engineering by David L. Parnas. Topics covered include: software design, social responsibility, concurrency, synchronization, scheduling and the Strategic Defence Initiative ("Star Wars")
SDI, two views of professional responsibility by David Lorge Parnas( Book )

3 editions published in 1987 in English and held by 26 WorldCat member libraries worldwide

Evaluation standards for safety critical software by David Lorge Parnas( Book )

5 editions published in 1988 in English and held by 7 WorldCat member libraries worldwide

On the Criteria to Be Used in Decomposing Systems into Modules by David Lorge Parnas( Book )

4 editions published in 1971 in English and held by 5 WorldCat member libraries worldwide

The paper discusses modularization as a mechanism for improving the flexibility and comprehensibility of a system while allowing the shortening of its development time. The effectiveness of a modularization is dependent upon the criteria used in dividing the system into modules. Two system design problems are presented, and for each, both a conventional and unconventional decomposition are described. It is shown that the unconventional decompositions have distinct advantages for the goals outlined. The criteria used in arriving at the decompositions are discussed. The unconventional decomposition, if implemented with the conventional assumption that a module consists of one or more subroutines, will be less efficient in most cases. An alternative approach to implementation which does not have this effect is sketched. (Author)
Window : a formally-specified graphics-based text editor by D Gerhardt( Book )

3 editions published in 1973 in English and held by 5 WorldCat member libraries worldwide

WINDOW is a formally-specified text editing program which exploits the graphics capabilities of CRT terminals. Terminal screens are divided into several windows. Each window displays text from any of a number of simultaneously open files. Through the notion of linked pointers, operations upon one file may invoke corresponding operations upon other files. (Author)
A program holder module by L Robinson( Book )

4 editions published in 1973 in English and Undetermined and held by 5 WorldCat member libraries worldwide

Tabular representation of relations by David Lorge Parnas( Book )

2 editions published in 1992 in English and held by 5 WorldCat member libraries worldwide

Making formal software documentation more practical : a progress report by David Lorge Parnas( Book )

4 editions published in 1988 in Undetermined and English and held by 4 WorldCat member libraries worldwide

Abstract types defined as classes of variables by David Lorge Parnas( Book )

2 editions published in 1976 in English and held by 4 WorldCat member libraries worldwide

The concept of type has been used without a precise definition in discussions about programming languages for 20 years. Before the concept of user-defined data types was introduced, a definition was not necessary for discussions of specific programming languages. This report discusses a definition of type in which the concept of variable is considered primitive and types are defined as various equivalence classes of variables that may be legally and meaningfully substituted for one another in different contexts. Abstraction from the differences between two variables is then achieved by allowing the substitution of one variable in an equivalence class for another within specified contexts such as parameter substitution, assignment, and data sharing. The user of a language with an abstraction facility based on the preceding idea is free to group variables into types in ways meaningful to him but must state the conditions under which members of a group are equivalent. Several kinds of types are proposed for inclusion in such a language. Some examples are types defined by identical externally visible behavior (equivalent specification), types whose members differ according to the value of one or more parameters, and types whose members have identical representations. The preceding approach to type definition has a strong effect on the possibilities for code sharing, data sharing, and parameter passing. New or unusual compiling techniques will probably be required to exploit these possibilities. (Author)
Response to detected errors in well-structured programs by David Lorge Parnas( Book )

2 editions published in 1972 in English and held by 4 WorldCat member libraries worldwide

Estimating software reliability using inverse sampling by Balwant Singh( Book )

2 editions published in 1997 in English and held by 4 WorldCat member libraries worldwide

Use of the concept of transparency in the design of hierarchically structured systems by David Lorge Parnas( Book )

4 editions published in 1972 in English and held by 4 WorldCat member libraries worldwide

Formally specifying a communications protocol using the trace assertion method by Franois Courtois( Book )

2 editions published in 1993 in English and held by 4 WorldCat member libraries worldwide

Functional documentation for computer systems engineering : version 2 by David Lorge Parnas( Book )

3 editions published in 1991 in English and held by 4 WorldCat member libraries worldwide

Abstract: "This paper explains how we can produce documentation for computer systems that is analogous to the precise and detailed documentation produced in other areas of engineering. It shows how essential properties of computer systems, and their components, can be described by a set of mathematical relations. We can deal with real-time characteristics of these systems by allowing time-functions (functions whose domain is a set of values intended to represent time) to be used in the domain and range of the relations. Our approach is intended to support the systematic production of design documents and to permit thorough review and validation. The production of design documents plays a key role in engineering practice. The validation of documented designs, using pre- established criteria, is a major part of engineering. Conventional engineering documents are sufficiently detailed and precise that one can, for example, derive differential equations from the information that they contain. We propose similarly precise documents for computer systems and their components. This paper discusses the content of certain computer systems documents, without specifying their form. To accomplish this it defines documents in terms of the mathematical functions that must be described. Representational issues are discussed in seperate papers. The documents described in this paper include: the 'system requirements document', the 'system design document', the 'software requirements document', an optional 'software behaviour specification', the 'module interface specification', and the 'module internal design document'. The content of each of these documents is specified precisely. Some other documents, including hardware descriptions and communication protocol descriptions, are mentioned briefly."
Tabular representations in relational documents by Ryszard Janicki( Book )

2 editions published in 1995 in English and held by 4 WorldCat member libraries worldwide

On a solution to the cigarette smokers' problem : (without conditional statements) by David Lorge Parnas( Book )

3 editions published in 1972 in English and held by 4 WorldCat member libraries worldwide

A-7E software module guide by K. H Britton( Book )

2 editions published in 1981 in English and held by 4 WorldCat member libraries worldwide

Sequential equivalents of parallel processes by David Lorge Parnas( Book )

2 editions published in 1967 in English and held by 3 WorldCat member libraries worldwide

This paper introduces the problem of finding a sequential process equivalent to a system of interacting discrete parallel processes. Under the assumption that the sequential process is to be composed exclusively of executions of the individual 'parallel' processes in a predetermined sequence, a method of deriving optimal sequential processes is presented. Applications to the design of simulation systems and picture processing programs are discussed. Examples are taken from logic design and picture processing. (Author)
Education for computing professionals by David Lorge Parnas( Book )

4 editions published in 1989 in English and Undetermined and held by 3 WorldCat member libraries worldwide

On the computational complexity of the maximum trade problem by David Lorge Parnas( Book )

1 edition published in 1992 in English and held by 3 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.62 (from 0.57 for Software f ... to 0.82 for On the Cri ...)

Software fundamentals : collected papers by David L. Parnas
Alternative Names
David Parnas amerikansk ingenir og informatikar

David Parnas amerikansk ingenir og informatiker

David Parnas amerikansk ingenjr och datavetare

David Parnas US-amerikanischer Pionier der Softwaretechnik

Lorge Parnas, David 1941-

Parnas, D. L. 1941-

Parnas, David L.

Parnas, David L. 1941-

Parnas, David Lorge

דייוויד פרנס

دیوید پارناس دانشمند علوم کامپیوتر و مهندس آمریکایی

デイビッド・パーナス

Languages
English (56)

Covers