David Lorge Parnas

Available identifiers

zbMath Open parnas.david-lorgeDBLPp/DLParnasWikidataQ92876 ScholiaQ92876MaRDI QIDQ351990

List of research outcomes

Publication	Date of Publication	Type
Trace rewriting systems	2023-03-09	Paper
Documenting and verifying systems assembled from components	2013-07-04	Paper
Defining the meaning of tabular mathematical expressions	2010-08-26	Paper
Structured programming: a minor part of software engineering	2009-07-09	Paper
https://portal.mardi4nfdi.de/entity/Q4551129	2002-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q2767156	2002-04-29	Paper
https://portal.mardi4nfdi.de/entity/Q2767158	2002-04-29	Paper
On the computational complexity of the maximum trade problem	2000-07-06	Paper
https://portal.mardi4nfdi.de/entity/Q4362887	1998-04-03	Paper
https://portal.mardi4nfdi.de/entity/Q3142567	1993-12-20	Paper
A generalized control structure and its formal definition	1983-01-01	Paper
Designing Software for Ease of Extension and Contraction	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4178453	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4138067	1977-01-01	Paper
On the Design and Development of Program Families	1976-01-01	Paper
Design and Specification of the Minimal Subset of an Operating System Family	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4054654	1975-01-01	Paper
Use of the concept of transparency in the design of hierarchically structured systems	1975-01-01	Paper
Information streams sharing a finite buffer: Other solutions	1974-01-01	Paper
Comments on: A comparison of two synchronizing concepts by P. B. Hansen	1972-01-01	Paper
On simulating networks of parallel processes in which simultaneous events may occur	1969-01-01	Paper
A language for describing the functions of synchronous systems	1966-01-01	Paper

Research outcomes over time

This page was built for person: David Lorge Parnas