David Lorge Parnas

Available identifiers

zbMath Open parnas.david-lorgeWikidataQ92876 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
Design and Specification of the Minimal Subset of an Operating System Family	1976-01-01	Paper
On the Design and Development of Program Families	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: David Lorge Parnas