WorldCat Identities

Parnas, David Lorge

Overview
Works: 96 works in 182 publications in 1 language and 486 library holdings
Genres: Nomograms 
Roles: Author
Classifications: UG743, 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 250 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

Window : a formally-specified graphics-based text editor by D Gerhardt( Book )

5 editions published in 1973 in English and Undetermined and held by 6 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)
On a solution to the cigarette smokers' problem : (without conditional statements) by David Lorge Parnas( Book )

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

The report discusses a problem first introduced by Patil. Patil presented a proof that the problem cannot be solved using the P and V operations introduced by Dijkstra unless conditional statements are used. The report contains a solution to the problem as defined by Patil and shows that Patil's proof overlooks important capabilities for P and V which were used by Dijkstra in his original report. The report also discusses the need for the generalized operators suggested by Patil. (Author)
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)
Making formal software documentation more practical : a progress report by David Lorge Parnas( Book )

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

A program holder module by L Robinson( Book )

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

The paper describes a mechanism for holding a program in syntactic form. This mechanism can be useful to any program which processes programs: in program verification automatic programming, and specialized text editing. In this case the program holder is used to form the basis for syntax-driven text editor. Formal specifications for the program holder are also given. (Author)
Tabular representation of relations by David Lorge Parnas( Book )

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

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

5 editions published between 1990 and 1991 in English and held by 5 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."
A-7E software module guide by K. H Britton( Book )

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

This document describes the basic organization of NRL's version of the A-7E onboard flight software. The report describes a structure in which modules have been designed in accordance with the Information Hiding Principle. Because of the larger number of modules that result when this principle is applied, the modules are arranged in a hierarchy. The hierarchy should simplify the task of a maintenance programmer assigned to make a specific modification. The document also describes the principles used in the design of the software. It is intended to be useful both as a guide to the A-7E software and as a model for those developing other software systems. (Author)
Sequential equivalents of parallel processes by David Lorge Parnas( Book )

2 editions published in 1967 in English and held by 4 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)
A paradigm for software module specification with examples by David Lorge Parnas( Book )

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

The paper presents a method for writing specifications of parts of software systems. The main goal is to provide specifications sufficiently precise and complete that other pieces of software can be written to interact with the piece specified without additional information. The secondary goal is to include in the specification no more information than necessary to meet the first goal. The technique is illustrated by means of a variety of examples from a tutorial system. (Author)
Education for computing professionals by David Lorge Parnas( Book )

5 editions published in 1989 in English and held by 4 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

Interface specifications for the SCR (A-7E) Extended Computer Module( Book )

4 editions published between 1983 and 1984 in English and Undetermined and held by 4 WorldCat member libraries worldwide

This document describes the programmer interface to a computing machine partially implemented in software. The Extended Computer is part of NRL's Software Cost Reduction (SCR) project, to demonstrate the feasibility of applying advanced software engineering techniques to complex real-time systems in order to simplify maintenance. The Extended Computer allows code portability among avionics computers by providing extensible addressing, uniform i/o and data access, representation-independent data types, uniform event signalling, a standard subprogram invocation mechanism, and parallel process capability. The purpose of the Extended Computer is to allow the remainder of the software to remain unchanged when the host computer is changed or replaced
Use of the concept of transparency in the design of hierarchically structured systems by David Lorge Parnas( Book )

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

The paper deals with the design of hierarchically structured programing systems. It develops a method for evaluating the cost of requiring programmers to work with an abstraction of a real machine. A number of examples from hardward and software are given as illustrations of the method
Information distribution aspects of design methodology by David Lorge Parnas( Book )

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

The role of documentation in the design and implementation of complex systems is explored, resulting in suggestions in sharp contrast with current practice. The concept of system structure is studied by examining the meaning of the phrase 'connections between modules.' It is shown that several system design goals (each suggesting a partial time ordering of the decisions) may be inconsistent. Some properties of programmers are discussed. System documentation, which makes all information accessible to anyone working on the project, is discussed. The thesis that such information 'broadcasting' is harmful, that it is helpful if most system information is hidden from most programmers, is supported by use of the above mentioned considerations as well as by examples. An information hiding technique of documentation is given in the appendix. (Author)
Predicate logic for software engineering by David Lorge Parnas( Book )

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

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 interpretation for predicate expressions that is suitable for use in software documentation
Documentation of computerised safety systems of nuclear power stations by Canada( Book )

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

The hardware and software of safety-critical computer systems must be subjected to a systematic and detailed review. Careful review of such complex systems requires documentation that is complete, precise, and systematically organized. This guideline provides requirements for documentation at each stage of computer system design. The principles applied in developing these requirements include best available practice including the use of formal (mathematical) techniques; top-down design and documentation methods; modularity; verification of each set of design decisions; and auditable documentation using tabular representations of mathematical functions. The guideline uses basic mathematics to define the content of each document rather than its format, and the contents of each document are defined in terms of mathematical equations. Examples of the documents mentioned are included in the appendices
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.63 (from 0.57 for Software f ... to 0.85 for Interface ...)

Software fundamentals : collected papers by David L. Parnas
Alternative Names
David Parnas Amerikaans informaticus

David Parnas amerikansk ingeniør og informatikar

David Parnas amerikansk ingeniør og informatiker

David Parnas amerikansk ingenjör 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 (72)

Covers