Skip to content

David Lorge Parnas

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

34

Venues

19

Active years

1972–2011

Best venue rank

A*

Where they publish

Papers

34 indexed papers, newest first.

YearVenueTitleAuthors
2011ICTACThe Use of Mathematics in Software Development - (Extended Abstract).David Lorge Parnas
2010SEKEA documentation approach for the self-adaptive system design.Wenhui Zhu, David Lorge Parnas
2010SoMeTFrom Requirements to Architecture.David Lorge Parnas
2008COMPSACFault Propagation in Tabular Expression-Based Specifications.Xin Feng, David Lorge Parnas, T. H. Tse
2007ENASEDocument-driven Software Design - A Novel Approach that Should Not Be Novel.David Lorge Parnas
2007ICSoftDocument-Driven Software Design: A Novel Approach That Should Not Be Novel.David Lorge Parnas
2007OOPSLA"No silver bullet" reloaded: retrospective on "essence and accidents of software engineering".Steven Fraser, Frederick P. Brooks Jr., Martin Fowler, Ricardo Lpez, Aki Namioka, Linda M. Northrop, David Lorge Parnas, Dave A. Thomas
2007OOPSLAPrecise software documentation: making object-orientation work better.David Lorge Parnas
2006ICSEASpecification of Software Component Requirements Using the Trace Function Method.Colm Quinn, Sergiy A. Vilkomir, David Lorge Parnas, Srdjan Kostic
2006SoMeTComponent Interface Documentation: What do we Need and Why do we Need it?David Lorge Parnas
2005COMPSACAvailability Evaluation of Hardware/Software Systems with Several Recovery Procedures.Sergiy A. Vilkomir, David Lorge Parnas, Veena B. Mendiratta, Eamonn Murphy
2005IFMA Family of Mathematical Methods for Professional Software Documentation.David Lorge Parnas
2003ICSEModularity in the New Millenium: A Panel Summary.Premkumar T. Devanbu, Robert Balzer, Don S. Batory, Gregor Kiczales, John Launchbury, David Lorge Parnas, Peri L. Tarr
2001CAVSoftware Documentation and the Verification Process.David Lorge Parnas
2001ICSESoftware Engineering Research Agendas Panel (SERA): What Can't We Do, But Need to Learn How to Do?H. Dieter Rombach, Manfred Broy, Michael Evangelist, Ali Mili, Leon J. Osterweil, David Lorge Parnas
2001RESystematic Documentation of Requirements.David Lorge Parnas
2000ICFEMThe Use of Mathematics in Software Engineering.David Lorge Parnas
2000ISSTARequirements-based monitors for real-time systems.Dennis K. Peters, David Lorge Parnas
1999TACASAn Easily Extensible Toolset for Tabular Mathematical Expressions.David Lorge Parnas, Dennis K. Peters
1994ICSESoftware Aging.David Lorge Parnas
1994ISSTAGenerating a Test Oracle from Program Documentation (Work in Progress).Dennis K. Peters, David Lorge Parnas
1993ICSEDocumentation for Safety Critical Software.Pierre-Jacques Courtois, David Lorge Parnas
1993ICSESimulating the Behaviour of Software Modules by Trace Rewriting.Yabo Wang, David Lorge Parnas
1993REDocumentation of requirements for computer systems.A. John van Schouwen, David Lorge Parnas, Jan Madey
1990GIFunctional Specifications for Old (and New) Software.David Lorge Parnas
1990ICCIEducation for Computing Professionals (Abstract).David Lorge Parnas
1989FORTEDocumentation of Communications Services and Protocols.David Lorge Parnas
1985ICSEActive Design Reviews: Principles and Practices.David Lorge Parnas, David M. Weiss
1984ICSEThe Modular Structure of Complex Systems.David Lorge Parnas, Paul C. Clements, David M. Weiss
1981ICSEA Procedure for Designing Abstract Interfaces for Device Interface Modules.K. H. Britton, R. A. Parker, David Lorge Parnas
1978ICSEDesigning Software for Ease of Extension and Contraction.David Lorge Parnas
1976ICSEDesign and Specification of the Minimal Subset of an Operating System Family (Abstract).David Lorge Parnas, Georg Handzel, Harald Wrges
1976ICSEResponse to Undesired Events in Software Systems.David Lorge Parnas, Harald Wrges
1972SIGCSEA course on software engineering techniques.David Lorge Parnas