David Lorge Parnas

179 papers A* 12A 6B 3C 9Journal 88Unranked 56
YearRankTypeTitle / Venue / Authors
2025 J jnl
Three "Influential" Software Design Papers.
IEEE Trans. Software Eng.
David Lorge Parnas
2021 J jnl
Software Engineering: A Profession in Waiting.
Computer
David Lorge Parnas
2018 J jnl
Software Structures: A Careful Look.
IEEE Softw.
David Lorge Parnas
2017 J jnl
Software Systems Engineering programmes a capability approach.
J. Syst. Softw.
Carl E. Landwehr, Jochen Ludewig, Robert Meersman, David Lorge Parnas, Peretz Shoval, Yair Wand, David M. Weiss, Elaine J. Weyuker
2017 J jnl
The real risks of artificial intelligence.
Commun. ACM
David Lorge Parnas
2012 J jnl
The use of mathematics in software quality assurance.
Frontiers Comput. Sci. China
David Lorge Parnas
2011 J jnl
A Comparison of Tabular Expression-Based Testing Strategies.
IEEE Trans. Software Eng.
Xin Feng, David Lorge Parnas, T. H. Tse, Tony O'Callaghan
2011 J jnl
Software Engineering - Missing in Action: A Personal Perspective.
Computer
David Lorge Parnas
2011 — conf
Software Engineering: Multi-person Development of Multi-version Programs.
Dependable and Historic Computing
David Lorge Parnas
2011 C conf
The Use of Mathematics in Software Development - (Extended Abstract).
ICTAC
David Lorge Parnas
2011 J jnl
The risks of stopping too soon.
Commun. ACM
David Lorge Parnas
2010 C conf
A documentation approach for the self-adaptive system design.
SEKE
Wenhui Zhu, David Lorge Parnas
2010 J jnl
A family of computer systems for delivering individualized advice.
Knowl. Based Syst.
Lillian Chik-Parnas, Marius Dragomiroiu, David Lorge Parnas
2010 J jnl
Defining the meaning of tabular mathematical expressions.
Sci. Comput. Program.
Ying Jin, David Lorge Parnas
2010 J jnl
Documenting and verifying systems assembled from components.
Frontiers Comput. Sci. China
Zhiying Liu, David Lorge Parnas, Baltasar Trancón y Widemann
2010 C conf
From Requirements to Architecture.
SoMeT
David Lorge Parnas
2010 — conf
Precise Documentation: The Key to Better Software.
The Future of Software Engineering
David Lorge Parnas
2010 J jnl
Really Rethinking 'Formal Methods'.
Computer
David Lorge Parnas
2010 J jnl
Risks of undisciplined development.
Commun. ACM
David Lorge Parnas
2009 J jnl
Document based rational software development.
Knowl. Based Syst.
David Lorge Parnas
2009 J jnl
Point/Counterpoint.
IEEE Softw.
David Lorge Parnas, Bill Curtis
2008 J jnl
Computer systems availability evaluation using a segregated failures model.
Qual. Reliab. Eng. Int.
Sergiy A. Vilkomir, David Lorge Parnas, Veena B. Mendiratta, Eamonn Murphy
2008 C conf
Connecting Good Theory to Good Practice: Software Documentation: A Case Study.
Software Engineering
David Lorge Parnas
2008 B conf
Fault Propagation in Tabular Expression-Based Specifications.
COMPSAC
Xin Feng, David Lorge Parnas, T. H. Tse
2007 — conf
"No silver bullet" reloaded: retrospective on "essence and accidents of software engineering".
OOPSLA Companion
Steven Fraser, Frederick P. Brooks Jr., Martin Fowler, Ricardo López, Aki Namioka, Linda M. Northrop, David Lorge Parnas, Dave A. Thomas
2007 — conf
Document-Driven Software Design: A Novel Approach That Should Not Be Novel.
ICSOFT (PL/DPS/KE/MUSE)
David Lorge Parnas
2007 B conf
Document-driven Software Design - A Novel Approach that Should Not Be Novel.
ENASE
David Lorge Parnas
2007 — conf
Precise Documentation of Critical Software.
HASE
David Lorge Parnas, Sergiy A. Vilkomir
2007 — conf
Precise software documentation: making object-orientation work better.
OOPSLA Companion
David Lorge Parnas
2007 — conf
Resolving Dilemmas in Software Engineering Education.
CSEE&T
David Lorge Parnas
2007 — conf
Software Product-Lines: What To Do When Enumaration Won't Work.
VaMoS
David Lorge Parnas
2007 J jnl
Stop the numbers game.
Commun. ACM
David Lorge Parnas
2007 — conf
Tabular Expressions and Total Functional Programming.
IFL
Baltasar Trancón y Widemann, David Lorge Parnas
2007 J jnl
Which is riskier: OS diversity or OS monopoly?
Commun. ACM
David Lorge Parnas
2006 C conf
Component Interface Documentation: What do we Need and Why do we Need it?
SoMeT
David Lorge Parnas
2006 — conf
Inspection of Concurrent Systems: Combining Tables, Theorem Proving and Model Checking.
Software Engineering Research and Practice
Vera Pantelic, Xiao-Hui Jin, Mark Lawford, David Lorge Parnas
2006 — conf
Segregated failures model for availability evaluation of fault-tolerant systems.
ACSC
Sergiy A. Vilkomir, David Lorge Parnas, Veena B. Mendiratta, Eamonn Murphy
2006 C conf
Specification of Software Component Requirements Using the Trace Function Method.
ICSEA
Colm Quinn, Sergiy A. Vilkomir, David Lorge Parnas, Srdjan Kostic
2005 B conf
A Family of Mathematical Methods for Professional Software Documentation.
IFM
David Lorge Parnas
2005 — conf
Availability Evaluation of Hardware/Software Systems with Several Recovery Procedures.
COMPSAC (1)
Sergiy A. Vilkomir, David Lorge Parnas, Veena B. Mendiratta, Eamonn Murphy
2005 — conf
Disciplined Methods of Software Specification: A Case Study.
ITCC (2)
Robert L. Baber, David Lorge Parnas, Sergiy A. Vilkomir, Paul Harrison, Tony O'Connor
2005 — conf
Document Driven Disciplined Development of Software.
Australian Software Engineering Conference
David Lorge Parnas
2005 J jnl
Goals for software engineering student education.
ACM SIGSOFT Softw. Eng. Notes
David Lorge Parnas, Lillian Chik-Parnas
2005 — conf
Using information about functions in selecting test cases.
A-MOST
Markus Clermont, David Lorge Parnas
2005 J jnl
Using information about functions in selecting test cases.
ACM SIGSOFT Softw. Eng. Notes
Markus Clermont, David Lorge Parnas
2005 J jnl
Wikipedia risks.
Commun. ACM
Peter J. Denning, Jim Horning, David Lorge Parnas, Lauren Weinstein
2004 J jnl
New Year's Resolutions for Software Quality.
IEEE Softw.
Victor R. Basili, Barry W. Boehm, Al Davis, Watts S. Humphrey, Nancy G. Leveson, Nancy R. Mead, John D. Musa, David Lorge Parnas, Shari Lawrence Pfleeger, Elaine J. Weyuker
2003 J jnl
Guest Editors' Introduction: Inspection's Role in Software Quality Assurance.
IEEE Softw.
David Lorge Parnas, Mark Lawford
2003 A* conf
Modularity in the New Millenium: A Panel Summary.
ICSE
Premkumar T. Devanbu, Robert Balzer, Don S. Batory, Gregor Kiczales, John Launchbury, David Lorge Parnas, Peri L. Tarr
2003 — conf
Software Inspections We Can Trust.
FIDJI
David Lorge Parnas
2003 J jnl
Structured programming: A minor part of software engineering.
Inf. Process. Lett.
David Lorge Parnas
2003 — conf
The Limits of Empirical Studies of Software Engineering.
ISESE
David Lorge Parnas
2003 J jnl
The Role of Inspection in Software Quality Assurance.
IEEE Trans. Software Eng.
David Lorge Parnas, Mark Lawford
2002 J jnl
Licensing software engineers in Canada.
Commun. ACM
David Lorge Parnas
2002 — ch.
On a 'Buzzword': Hierarchical Structure (Reprint).
Software Pioneers
David Lorge Parnas
2002 — ch.
On the Criteria To Be Used in Decomposing Systems into Modules (Reprint).
Software Pioneers
David Lorge Parnas
2002 J jnl
Requirements-Based Monitors for Real-Time Systems.
IEEE Trans. Software Eng.
Dennis K. Peters, David Lorge Parnas
2002 — ch.
The Secret History of Information Hiding.
Software Pioneers
David Lorge Parnas
2001 J jnl
Computers: boon or bane?
Commun. ACM
Peter G. Neumann, David Lorge Parnas
2001 — ed.
First International Workshop on Relational Methods in Software, RelMiS 2001, a Satellite Event of ETAPS 2001, Genova, Italy, April 7-8, 2001
RelMiS
Wolfram Kahl, David Lorge Parnas, Gunther Schmidt
2001 — conf
RelMiS 2001 - Preface.
RelMiS
Wolfram Kahl, David Lorge Parnas, Gunther Schmidt
2001 A* conf
Software Documentation and the Verification Process.
CAV
David Lorge Parnas
2001 A* conf
Software Engineering Research Agendas Panel (SERA): What Can't We Do, But Need to Learn How to Do?
ICSE
H. Dieter Rombach, Manfred Broy, Michael Evangelist, Ali Mili, Leon J. Osterweil, David Lorge Parnas
2001 A conf
Systematic Documentation of Requirements.
RE
David Lorge Parnas
2001 — conf
The Tabular Method for Relational Documentation.
RelMiS
David Lorge Parnas
2001 — conf
University Programmes in Software Development.
SEUH
David Lorge Parnas
2000 — conf
Invited Talk: A Software Engineering Program of Lasting Value.
AMAST
David Lorge Parnas
2000 — conf
Making Mathematical Methods More Practical for Software Developers (Invited Talk).
AMAST
David Lorge Parnas
2000 J jnl
Priority Scheduling Versus Pre-Run-Time Scheduling.
Real Time Syst.
Jia Xu, David Lorge Parnas
2000 — conf
Requirements Documentation: Why a Formal Basis is Essential.
ICRE
David Lorge Parnas
2000 A conf
Requirements-based monitors for real-time systems.
ISSTA
Dennis K. Peters, David Lorge Parnas
2000 C conf
The Use of Mathematics in Software Engineering.
ICFEM
David Lorge Parnas
2000 — conf
Two Positions on Licensing.
ICRE
David Lorge Parnas
1999 A conf
An Easily Extensible Toolset for Tabular Mathematical Expressions.
TACAS
David Lorge Parnas, Dennis K. Peters
1999 J jnl
On code reuse.
ACM SIGSOFT Softw. Eng. Notes
David Lorge Parnas
1999 J jnl
Parnas on Parnas: a life of indecision.
ACM SIGSOFT Softw. Eng. Notes
David Lorge Parnas
1999 J jnl
Software Engineering Programs Are Not Computer Science Programs.
IEEE Softw.
David Lorge Parnas
1999 — conf
Systematic Techniques for Inspecting Critical Software.
TOOLS (30)
David Lorge Parnas
1999 J jnl
Ten Myths About Y2K Inspections.
Commun. ACM
David Lorge Parnas
1999 — conf
Tools for Component Documentation, Analysis and Testing.
TOOLS (30)
David Lorge Parnas
1998 J jnl
"Formal methods" technology transfer will fail.
J. Syst. Softw.
David Lorge Parnas
1998 J jnl
Software Engineering Programmes are not Computer Science Programmes.
Ann. Softw. Eng.
David Lorge Parnas
1998 J jnl
Successful software engineering research.
ACM SIGSOFT Softw. Eng. Notes
David Lorge Parnas
1998 J jnl
Using Test Oracles Generated from Program Documentation.
IEEE Trans. Software Eng.
Dennis K. Peters, David Lorge Parnas
1998 J jnl
Who taught me about software engineering research?
ACM SIGSOFT Softw. Eng. Notes
David Lorge Parnas
1997 — conf
Software Engineering: An Unconsummated Marriage (Extended Abstract).
ESEC / SIGSOFT FSE
David Lorge Parnas
1997 J jnl
Software Engineering: An Unconsummated Marriage.
Commun. ACM
David Lorge Parnas
1997 — ch.
Tabular Representations in Relational Documents.
Relational Methods in Computer Science
Ryszard Janicki, David Lorge Parnas, Jeffery I. Zucker
1997 — conf
Teaching for Change.
CSEE&T
David Lorge Parnas
1996 J jnl
An Invitation to Formal Methods.
Computer
Jonathan P. Bowen, Ricky W. Butler, David L. Dill, Robert L. Glass, David Gries, Anthony Hall, Michael G. Hinchey, C. Michael Holloway, Daniel Jackson, Cliff B. Jones, Michael J. Lutz, David Lorge Parnas, John M. Rushby, Jeannette M. Wing, Pamela Zave
1996 J jnl
Why Software Jewels Are Rare.
Computer
David Lorge Parnas
1995 J jnl
Functional Documents for Computer Systems.
Sci. Comput. Program.
David Lorge Parnas, Jan Madey
1995 — conf
Language-Free Mathematical Methods for Software Design.
ZUM
David Lorge Parnas
1995 J jnl
On ICSE's "most influential" papers.
ACM SIGSOFT Softw. Eng. Notes
David Lorge Parnas
1995 — conf
Teaching Programming as Engineering.
ZUM
David Lorge Parnas
1995 — conf
The Future of Formal Methods in Industry.
ZUM
Anthony Hall, David Lorge Parnas, Nico Plat, John M. Rushby, Chris T. Sennett
1994 A conf
Generating a Test Oracle from Program Documentation (Work in Progress).
ISSTA
Dennis K. Peters, David Lorge Parnas
1994 — conf
Inspection of Safety-Critical Software Using Program-Function Tables.
IFIP Congress (3)
David Lorge Parnas
1994 — conf
Mathematical Description and Specification of Software.
IFIP Congress (1)
David Lorge Parnas
1994 J jnl
Precise Documentation of Well-Structured Programs.
IEEE Trans. Software Eng.
David Lorge Parnas, Jan Madey, Michal Iglewski
1994 J jnl
Simulating the Behavior of Software Modules by Trace Rewriting.
IEEE Trans. Software Eng.
Yabo Wang, David Lorge Parnas
1994 A* conf
Software Aging.
ICSE
David Lorge Parnas
1994 — conf
The Professional Responsibilities of Software Engineers.
IFIP Congress (2)
David Lorge Parnas
1993 A* conf
Documentation for Safety Critical Software.
ICSE
Pierre-Jacques Courtois, David Lorge Parnas
1993 A conf
Documentation of requirements for computer systems.
RE
A. John van Schouwen, David Lorge Parnas, Jan Madey
1993 J jnl
On Satisfying Timing Constraints in Hard-Real-Time Systems.
IEEE Trans. Software Eng.
Jia Xu, David Lorge Parnas
1993 J jnl
Predicate Logic for Software Engineering.
IEEE Trans. Software Eng.
David Lorge Parnas
1993 A* conf
Simulating the Behaviour of Software Modules by Trace Rewriting.
ICSE
Yabo Wang, David Lorge Parnas
1993 — conf
Some Theorems We Should Prove.
HUG
David Lorge Parnas
1992 — conf
A Formal Approach to Computer Systems Requirements Documentation.
Hybrid Systems
Marcin Engel, Marcin Kubica, Jan Madey, David Lorge Parnas, Anders P. Ravn, A. John van Schouwen
1992 — conf
Trace Rewriting Systems.
CTRS
Yabo Wang, David Lorge Parnas
1991 — conf
On satisfying timing constraints in hard-real-time systems.
SIGSOFT
Jia Xu, David Lorge Parnas
1990 C conf
Education for Computing Professionals (Abstract).
ICCI
David Lorge Parnas
1990 J jnl
Education for Computing Professionals.
Computer
David Lorge Parnas
1990 J jnl
Evaluation of Safety-Critical Software.
Commun. ACM
David Lorge Parnas, A. John van Schouwen, Shu Po Kwan
1990 — conf
Functional Specifications for Old (and New) Software.
GI Jahrestagung (1)
David Lorge Parnas
1990 J jnl
On Iterative Constructs.
ACM Trans. Program. Lang. Syst.
David Lorge Parnas
1990 J jnl
Scheduling Processes with Release Times, Deadlines, Precedence, and Exclusion Relations.
IEEE Trans. Software Eng.
Jia Xu, David Lorge Parnas
1989 C conf
Documentation of Communications Services and Protocols.
FORTE
David Lorge Parnas
1989 — conf
On "Artificial Intelligence and Expert Systems - Myths, Legends, and Facts".
IFIP Congress
David Lorge Parnas
1988 J jnl
On Synchronization in Hard-Real-Time Systems.
Commun. ACM
Stuart R. Faulk, David Lorge Parnas
1987 J jnl
Active design reviews: Principles and practices.
J. Syst. Softw.
David Lorge Parnas, David M. Weiss
1987 J jnl
Warum ich an SDI nicht mitarbeite: Eine Auffassung beruflicher Verantwortung.
Inform. Spektrum
David Lorge Parnas
1986 J jnl
A Rational Design Process: How and Why to Fake it.
IEEE Trans. Software Eng.
David Lorge Parnas, Paul C. Clements
1986 J jnl
Correction to "A Rational Design Process: How and Why to Fake It".
IEEE Trans. Software Eng.
David Lorge Parnas, Paul C. Clements
1986 — conf
Why We Would Never Trust the SDI Software.
COMPCON
David Lorge Parnas
1985 — conf
A Rational Design Process: How and Why to Fake It.
TAPSOFT, Vol.2
David Lorge Parnas, Paul C. Clements
1985 A* conf
Active Design Reviews: Principles and Practices.
ICSE
David Lorge Parnas, David M. Weiss
1985 J jnl
Software Aspects of Strategic Defense Systems.
Commun. ACM
David Lorge Parnas
1985 J jnl
Software aspects of strategic defense systems.
ACM SIGSOFT Softw. Eng. Notes
David Lorge Parnas
1985 J jnl
The Modular Structure of Complex Systems.
IEEE Trans. Software Eng.
David Lorge Parnas, Paul C. Clements, David M. Weiss
1985 J jnl
The Parnas papers.
SIGCAS Comput. Soc.
David Lorge Parnas
1984 A* conf
The Modular Structure of Complex Systems.
ICSE
David Lorge Parnas, Paul C. Clements, David M. Weiss
1983 J jnl
A Generalized Control Structure and Its Formal Definition.
Commun. ACM
David Lorge Parnas
1983 J jnl
A Technique for Software Module Specification with Examples (Reprint).
Commun. ACM
David Lorge Parnas
1982 — conf
Rapid prototyping by means of abstract module specifications written as trace axioms.
Rapid Prototyping
John K. Dixon, John McLean, David Lorge Parnas
1981 A* conf
A Procedure for Designing Abstract Interfaces for Device Interface Modules.
ICSE
K. H. Britton, R. A. Parker, David Lorge Parnas
1981 J jnl
Lastig gepreek uit nuenen.
ACM SIGSOFT Softw. Eng. Notes
David Lorge Parnas
1979 J jnl
Designing Software for Ease of Extension and Contraction.
IEEE Trans. Software Eng.
David Lorge Parnas
1978 J jnl
Another view of the Dijkstra-dMLP controversy.
ACM SIGSOFT Softw. Eng. Notes
David Lorge Parnas
1978 A* conf
Designing Software for Ease of Extension and Contraction.
ICSE
David Lorge Parnas
1978 J jnl
The non-problem of nested monitor calls.
ACM SIGOPS Oper. Syst. Rev.
David Lorge Parnas
1978 — conf
Using assertions about traces to write abstract specifications for software modules.
ECI
Wolfram Bartussek, David Lorge Parnas
1977 J jnl
ACM (Association of Carriage Manufacturers): SIGTRANS notices - another historical item.
ACM SIGSOFT Softw. Eng. Notes
David Lorge Parnas
1977 J jnl
Building reliable software in BLOWHARD.
ACM SIGSOFT Softw. Eng. Notes
David Lorge Parnas
1977 — conf
The Use of Precise Specification in the Development of Software.
IFIP Congress
David Lorge Parnas
1976 — conf
Abstract Types Defined as Classes of Variables.
Conference on Data: Abstraction, Definition and Structure
David Lorge Parnas, John E. Shore, David M. Weiss
1976 A* conf
Design and Specification of the Minimal Subset of an Operating System Family (Abstract).
ICSE
David Lorge Parnas, Georg Handzel, Harald Würges
1976 J jnl
Design and Specification of the Minimal Subset of an Operating System Family.
IEEE Trans. Software Eng.
David Lorge Parnas, Georg Handzel, Harald Würges
1976 J jnl
On the Design and Development of Program Families.
IEEE Trans. Software Eng.
David Lorge Parnas
1976 A* conf
Response to Undesired Events in Software Systems.
ICSE
David Lorge Parnas, Harald Würges
1975 J jnl
Evaluation criteria for abstract machines with unknown applications.
SIGARCH Comput. Archit. News
David Lorge Parnas
1975 J jnl
On a Solution to the Cigarette Smoker's Problem (Without Conditional Statements).
Commun. ACM
David Lorge Parnas
1975 J jnl
On the need for fewer restrictions in changing compile-time environments.
ACM SIGPLAN Notices
David Lorge Parnas, John E. Shore, W. David Elliott
1975 J jnl
Significant Event Simulation.
Commun. ACM
Alan F. Babich, John Grason, David Lorge Parnas
1975 — conf
The influence of software structure on reliability.
Reliable Software
David Lorge Parnas
1975 J jnl
Use of the Concept of Transparency in the Design of Hierarchically Structured Systems.
Commun. ACM
David Lorge Parnas, Daniel P. Siewiorek
1974 J jnl
Information Streams Sharing a Finite Buffer: Other Solutions.
Inf. Process. Lett.
Lee W. Cooprider, F. Heymans, Pierre-Jacques Courtois, David Lorge Parnas
1974 — conf
On a 'Buzzword': Hierarchical Structure.
IFIP Congress
David Lorge Parnas
1974 — conf
Software Engineering or Methods for the Multi - Person Construction of Multi - Version Programs.
Programming Methodology
David Lorge Parnas
1973 — conf
The design of the virtual memory aspects of a virtual machine.
Workshop on Virtual Computer Systems
David Lorge Parnas, William R. Price
1972 J jnl
A Technique for Software Module Specification with Examples.
Commun. ACM
David Lorge Parnas
1972 A conf
A course on software engineering techniques.
SIGCSE
David Lorge Parnas
1972 J jnl
Comment on Deadlock Prevention Method.
Commun. ACM
David Lorge Parnas, A. Nico Habermann
1972 J jnl
Comments on "A Comparison of Two Synchronizing Concepts by Per Brinch Hansen".
Acta Informatica
Pierre-Jacques Courtois, F. Heymans, David Lorge Parnas
1972 J jnl
On the Criteria To Be Used in Decomposing Systems into Modules.
Commun. ACM
David Lorge Parnas
1972 — conf
Some conclusions from an experiment in software engineering techniques.
AFIPS Fall Joint Computing Conference (1)
David Lorge Parnas
1971 J jnl
Concurrent Control with "Readers" and "Writers".
Commun. ACM
Pierre-Jacques Courtois, F. Heymans, David Lorge Parnas
1971 — conf
Information Distribution Aspects of Design Methodology.
IFIP Congress (1)
David Lorge Parnas
1969 — conf
More on simulation languages and design methodology for computer systems.
AFIPS Spring Joint Computing Conference
David Lorge Parnas
1969 J jnl
On simulating networks of parallel processes in which simultaneous events may occur.
Commun. ACM
David Lorge Parnas
1969 — conf
On the use of transition diagrams in the design of a user interface for an interactive computer system.
ACM National Conference
David Lorge Parnas
1968 J jnl
Letters to the editor: on improving the quality of our technical meetings.
Commun. ACM
David Lorge Parnas
1967 — conf
SODAS and a methodology for system design.
AFIPS Fall Joint Computing Conference
David Lorge Parnas, John A. Darringer
1966 J jnl
A language for describing the functions of synchronous systems.
Commun. ACM
David Lorge Parnas
1966 J jnl
On facilitating parallel and multiprocessing in ALGOL.
Commun. ACM
David Lorge Parnas
1966 J jnl
On the preliminary report of C
Commun. ACM
David Lorge Parnas
1966 J jnl
State table analysis of programs in an ALGOL-like language.
Commun. ACM
David Lorge Parnas
1966 — conf
State table analysis of programs in an algo-like language.
ACM National Conference
David Lorge Parnas