WorldCat Identities

Parnas, David Lorge

Overview
Works: 67 works in 101 publications in 2 languages and 392 library holdings
Genres: Charts, diagrams, etc  Nomograms  Specifications 
Roles: Author
Classifications: QA76.754, 005.3
Publication Timeline
Key
Publications about  David Lorge Parnas Publications about David Lorge Parnas
Publications by  David Lorge Parnas Publications by David Lorge Parnas
Most widely held works by David Lorge Parnas
Software fundamentals : collected papers by David L. Parnas by David Lorge Parnas ( Book )
6 editions published between 2001 and 2003 in English and Polish and held by 249 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 29 WorldCat member libraries worldwide
Evaluation standards for safety critical software by David Lorge Parnas ( Book )
3 editions published in 1988 in English 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
Tabular representations in relational documents by Ryszard Janicki ( Book )
2 editions published in 1995 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
Formally specifying a communications protocol using the trace assertion method by François Courtois ( Book )
2 editions published in 1993 in English and held by 4 WorldCat member libraries worldwide
Experience with the use of precise documentation by Brian Bauer ( Book )
3 editions published in 1994 in English and held by 3 WorldCat member libraries worldwide
Abstract: "A student with no previous exposure to mathematical software documentation techniques was asked to document a program that had been written by a programmer who had left our laboratory. The program was needed for communications research but it did not work as expected and nobody was able to determine why. Although this student was not asked to change the program, just to complete the documentation, the process of documentation revealed several problems in the program and left it in working, and maintainable, condition."
Trace rewriting systems by Yabo Wang ( Book )
1 edition published in 1992 in English and held by 3 WorldCat member libraries worldwide
Predicate logic for software engineering by David Lorge Parnas ( Book )
2 editions published in 1992 in English and held by 3 WorldCat member libraries worldwide
Abstract: "Conventional interpretations of expressions that describe predicates are not suitable for use in software engineering because they do not deal with partial functions. We define an interpretation for predicate expressions that is suitable for use in software documentation."
Precisely annotated hierarchical pictures of programs by David Lorge Parnas ( Book )
1 edition published in 1998 in English 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
On the Need for Fewer Restrictions in Changing Compile-Time Environments by David Lorge Parnas ( Book )
3 editions published in 1975 in English and Undetermined and held by 3 WorldCat member libraries worldwide
To encourage the compartmentalization of information and at the same time to allow efficient code generation, the authors propose the relaxation of present restrictions on changes in the compile-time environment. The proposal is an attempt to make the implementation of the program organization and specification techniques described in other papers practical. In contrast to other work on languages for structured programming, the authors do not address mechanisms for using this feature to implement any particular type of abstraction (e.g. abstract data types). The concern is only with returning to the programmer a capability he needs to write well-structured programs. Other mechanisms are left for higher levels
Making formal software documentation more practical : a progress report by David Lorge Parnas ( Book )
3 editions published in 1988 in Undetermined and English and held by 3 WorldCat member libraries worldwide
Some Conclusions from an Experiment in Software Engineering Techniques by David Lorge Parnas ( Book )
3 editions published in 1972 in English and held by 3 WorldCat member libraries worldwide
The paper describes the outcome of a small experiment to test the validity of some proposed software engineering techniques. The experiments showed that it was possible to combine the work of many programmers to produce systems which could exist in many versions. Major changes in the system's implementation could be made by replacing well defined small subsets of the system. The experiment seems to support (1) the validity of the techniques being tested and (2) some new conclusions about project management and the focusing of effort in software projects. (Author)
Functional documentation for computer systems engineering : version 2 by David Lorge Parnas ( Book )
3 editions published between 1990 and 1991 in English and held by 3 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."
Table transformation tools : why and how by Hong Shen ( Book )
1 edition published in 1996 in English and held by 3 WorldCat member libraries worldwide
Education for computing professionals by David Lorge Parnas ( Book )
3 editions published in 1989 in English and Undetermined and held by 2 WorldCat member libraries worldwide
Documentation of communications services and protocols by David Lorge Parnas ( Book )
1 edition published in 1990 in English and held by 2 WorldCat member libraries worldwide
A paradigm for software module specification with examples by David Lorge Parnas ( Book )
1 edition published in 1971 in English and held by 2 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.71 (from 0.00 for On the Nee ... to 0.96 for SDI, two v ...)
Alternative Names
Lorge Parnas, David 1941-
Parnas, D. L. 1941-
Parnas, David L.
Parnas, David L. 1941-
Parnas, David Lorge
Languages
English (41)
Polish (1)
Covers