David Lorge Parnas

MaRDI QIDQ351990zbMATH OpenDBLPWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Trace rewriting systems Conditional Term Rewriting Systems	2023-03-09	Paper
Documenting and verifying systems assembled from components Frontiers of Computer Science in China	2013-07-04	Paper
Defining the meaning of tabular mathematical expressions Science of Computer Programming	2010-08-26	Paper
Structured programming: a minor part of software engineering Information Processing Letters	2009-07-09	Paper
scientific article; zbMATH DE number 1796119 (Why is no real title available?)	2002-09-04	Paper
scientific article; zbMATH DE number 1696875 (Why is no real title available?)	2002-04-29	Paper
scientific article; zbMATH DE number 1696877 (Why is no real title available?)	2002-04-29	Paper
On the computational complexity of the maximum trade problem Acta Mathematicae Applicatae Sinica. English Series	2000-07-06	Paper
scientific article; zbMATH DE number 1086637 (Why is no real title available?)	1998-04-03	Paper
scientific article; zbMATH DE number 446850 (Why is no real title available?)	1993-12-20	Paper
A generalized control structure and its formal definition Communications of the ACM	1983-01-01	Paper
Designing Software for Ease of Extension and Contraction IEEE Transactions on Software Engineering	1979-01-01	Paper
scientific article; zbMATH DE number 3614139 (Why is no real title available?)	1978-01-01	Paper
scientific article; zbMATH DE number 3566112 (Why is no real title available?)	1977-01-01	Paper
On the Design and Development of Program Families IEEE Transactions on Software Engineering	1976-01-01	Paper
Design and Specification of the Minimal Subset of an Operating System Family IEEE Transactions on Software Engineering	1976-01-01	Paper
scientific article; zbMATH DE number 3470005 (Why is no real title available?)	1975-01-01	Paper
Use of the concept of transparency in the design of hierarchically structured systems Communications of the ACM	1975-01-01	Paper
Information streams sharing a finite buffer: Other solutions Information Processing Letters	1974-01-01	Paper
Comments on: A comparison of two synchronizing concepts by P. B. Hansen Acta Informatica	1972-01-01	Paper
On simulating networks of parallel processes in which simultaneous events may occur Communications of the ACM	1969-01-01	Paper
A language for describing the functions of synchronous systems Communications of the ACM	1966-01-01	Paper

Research outcomes over time

This page was built for person: David Lorge Parnas