Travelled to:1 × Canada
1 × France
1 × Germany
1 × Ireland
1 × Italy
1 × Switzerland
1 × United Kingdom
12 × USA
2 × The Netherlands
Collaborated with:∅ D.K.Peters D.M.Weiss P.C.Clements H.Würges W.Zhu B.T.y.Widemann M.Clermont P.Courtois Y.Wang A.J.v.Schouwen J.Madey K.H.Britton R.A.Parker G.Handzel
Talks about:softwar (10) document (9) system (6) design (6) requir (4) test (3) systemat (2) mathemat (2) interfac (2) function (2)
Person: David Lorge Parnas
DBLP: Parnas:David_Lorge
Contributed to:
2010
2007
2007
2005
2005
2001
20012000
2000
1999
19991997
1997
199419941993199319851984198119781976
1985Wrote 27 papers:
- SEKE-2010-ZhuP #adaptation #approach #design #documentation #self
- A documentation approach for the self-adaptive system design (WZ, DLP), pp. 791–796.
- CSEET-2007-Parnas #education #re-engineering
- Resolving Dilemmas in Software Engineering Education (DLP).
- IFL-2007-WidemannP #functional #programming
- Tabular Expressions and Total Functional Programming (BTyW, DLP), pp. 219–236.
- A-MOST-2005-ClermontP #testing #using
- Using information about functions in selecting test cases (MC, DLP), pp. 96–102.
- IFM-2005-Parnas #documentation #product line
- A Family of Mathematical Methods for Professional Software Documentation (DLP), pp. 1–4.
- CAV-2001-Parnas #documentation #process #verification
- Software Documentation and the Verification Process (DLP), p. 1.
- RE-2001-Parnas #documentation #requirements
- Systematic Documentation of Requirements (DLP), p. 248.
- ICRE-2000-Parnas #documentation #requirements #why
- Requirements Documentation: Why a Formal Basis is Essential (DLP), pp. 81–84.
- ICRE-2000-Parnas00a
- Two Positions on Licensing (DLP), p. 154.
- ISSTA-2000-PetersP #monitoring #realtime
- Requirements-based monitors for real-time systems (DKP, DLP), pp. 77–85.
- TACAS-1999-ParnasP #tool support
- An Easily Extensible Toolset for Tabular Mathematical Expressions (DLP, DKP), pp. 345–359.
- TOOLS-USA-1999-Parnas #analysis #component #documentation #testing #tool support
- Tools for Component Documentation, Analysis and Testing (DLP), p. 2.
- TOOLS-USA-1999-Parnas99a
- Systematic Techniques for Inspecting Critical Software (DLP), p. 410.
- CSEET-1997-Parnas #education
- Teaching for Change (DLP), pp. 174–175.
- ESEC-FSE-1997-Parnas #re-engineering
- Software Engineering: An Unconsummated Marriage (DLP), pp. 1–3.
- ICSE-1994-Parnas
- Software Aging (DLP), pp. 279–287.
- ISSTA-1994-PetersP #documentation #generative #testing
- Generating a Test Oracle from Program Documentation (DKP, DLP), pp. 58–65.
- ICSE-1993-CourtoisP #documentation #safety
- Documentation for Safety Critical Software (PJC, DLP), pp. 315–323.
- ICSE-1993-WangP #behaviour #simulation
- Simulating the Behaviour of Software Modules by Trace Rewriting (YW, DLP), pp. 14–23.
- RE-1993-SchouwenPM #documentation #requirements
- Documentation of requirements for computer systems (AJvS, DLP, JM), pp. 198–207.
- ICSE-1985-ParnasW #design
- Active Design Reviews: Principles and Practices (DLP, DMW), pp. 132–136.
- ICSE-1984-ParnasCW #composition
- The Modular Structure of Complex Systems (DLP, PCC, DMW), pp. 408–419.
- ICSE-1981-BrittonPP #design #interface
- A Procedure for Designing Abstract Interfaces for Device Interface Modules (KHB, RAP, DLP), pp. 195–206.
- ICSE-1978-Parnas #design
- Designing Software for Ease of Extension and Contraction (DLP), pp. 264–277.
- ICSE-1976-ParnasHW #design #operating system #product line #set #specification #system family
- Design and Specification of the Minimal Subset of an Operating System Family (DLP, GH, HW), p. 123.
- ICSE-1976-ParnasW
- Response to Undesired Events in Software Systems (DLP, HW), pp. 437–446.
- AS-1985-ParnasC #design #how #process #why
- A Rational Design Process: How and Why to Fake It (DLP, PCC), pp. 80–100.