David Lorge Parnas

From MaRDI portal
Person:351990

Available identifiers

zbMath Open parnas.david-lorgeDBLPp/DLParnasWikidataQ92876 ScholiaQ92876MaRDI QIDQ351990

List of research outcomes





PublicationDate of PublicationType
Trace rewriting systems2023-03-09Paper
Documenting and verifying systems assembled from components2013-07-04Paper
Defining the meaning of tabular mathematical expressions2010-08-26Paper
Structured programming: a minor part of software engineering2009-07-09Paper
https://portal.mardi4nfdi.de/entity/Q45511292002-09-04Paper
https://portal.mardi4nfdi.de/entity/Q27671562002-04-29Paper
https://portal.mardi4nfdi.de/entity/Q27671582002-04-29Paper
On the computational complexity of the maximum trade problem2000-07-06Paper
https://portal.mardi4nfdi.de/entity/Q43628871998-04-03Paper
https://portal.mardi4nfdi.de/entity/Q31425671993-12-20Paper
A generalized control structure and its formal definition1983-01-01Paper
Designing Software for Ease of Extension and Contraction1979-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41784531978-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41380671977-01-01Paper
On the Design and Development of Program Families1976-01-01Paper
Design and Specification of the Minimal Subset of an Operating System Family1976-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40546541975-01-01Paper
Use of the concept of transparency in the design of hierarchically structured systems1975-01-01Paper
Information streams sharing a finite buffer: Other solutions1974-01-01Paper
Comments on: A comparison of two synchronizing concepts by P. B. Hansen1972-01-01Paper
On simulating networks of parallel processes in which simultaneous events may occur1969-01-01Paper
A language for describing the functions of synchronous systems1966-01-01Paper

Research outcomes over time

This page was built for person: David Lorge Parnas