publications:
- title: "Scheduling Processes with Release Times, Deadlines, Precedence, and Exclusion Relations"
  author:
  - name: "Jia Xu"
    link: "https://researchr.org/alias/jia-xu"
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1990"
  doi: "http://www.computer.org/tse/ts1990/e0360abs.htm"
  links:
    doi: "http://www.computer.org/tse/ts1990/e0360abs.htm"
  researchr: "https://researchr.org/publication/XuP90"
  cites: 0
  citedby: 0
  journal: "TSE"
  volume: "16"
  number: "3"
  pages: "360-369"
  kind: "article"
  key: "XuP90"
- title: "Inspection of Safety-Critical Software Using Program-Function Tables"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1994"
  researchr: "https://researchr.org/publication/Parnas94b"
  cites: 0
  citedby: 0
  pages: "270-277"
  booktitle: "ifip"
  kind: "inproceedings"
  key: "Parnas94b"
- title: "Software Aging"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1994"
  doi: "http://portal.acm.org/citation.cfm?id=257734.257788"
  links:
    doi: "http://portal.acm.org/citation.cfm?id=257734.257788"
  researchr: "https://researchr.org/publication/Parnas94"
  cites: 0
  citedby: 0
  pages: "279-287"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "Parnas94"
- title: "Documentation for Safety Critical Software"
  author:
  - name: "Pierre-Jacques Courtois"
    link: "https://researchr.org/alias/pierre-jacques-courtois"
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1993"
  doi: "http://portal.acm.org/citation.cfm?id=257572.257650"
  links:
    doi: "http://portal.acm.org/citation.cfm?id=257572.257650"
  researchr: "https://researchr.org/publication/CourtoisP93"
  cites: 0
  citedby: 0
  pages: "315-323"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "CourtoisP93"
- title: "Information Streams Sharing a Finite Buffer: Other Solutions"
  author:
  - name: "Lee W. Cooprider"
    link: "https://researchr.org/alias/lee-w.-cooprider"
  - name: "F. Heymans"
    link: "https://researchr.org/alias/f.-heymans"
  - name: "Pierre-Jacques Courtois"
    link: "https://researchr.org/alias/pierre-jacques-courtois"
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1974"
  researchr: "https://researchr.org/publication/CoopriderHCP74"
  cites: 0
  citedby: 0
  journal: "ipl"
  volume: "3"
  number: "1"
  pages: "16-21"
  kind: "article"
  key: "CoopriderHCP74"
- title: "On the preliminary report of C:::3:::S"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1966"
  doi: "http://doi.acm.org/10.1145/365278.365285"
  links:
    doi: "http://doi.acm.org/10.1145/365278.365285"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/Parnas66a"
  cites: 0
  citedby: 0
  journal: "CACM"
  volume: "9"
  number: "4"
  pages: "242-243"
  kind: "article"
  key: "Parnas66a"
- title: "Language-Free Mathematical Methods for Software Design"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1995"
  tags:
  - "language design"
  - "design"
  researchr: "https://researchr.org/publication/Parnas95"
  cites: 0
  citedby: 0
  pages: "3-4"
  booktitle: "zum"
  kind: "inproceedings"
  key: "Parnas95"
- title: "A Rational Design Process: How and Why to Fake It"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  - name: "Paul C. Clements"
    link: "https://researchr.org/alias/paul-c.-clements"
  year: "1985"
  tags:
  - "C++"
  - "design"
  researchr: "https://researchr.org/publication/ParnasC85"
  cites: 0
  citedby: 0
  pages: "80-100"
  booktitle: "tapsoft"
  kind: "inproceedings"
  key: "ParnasC85"
- title: "Mathematical Description and Specification of Software"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1994"
  researchr: "https://researchr.org/publication/Parnas94%3A0"
  cites: 0
  citedby: 0
  pages: "354-359"
  booktitle: "ifip11-9"
  kind: "inproceedings"
  key: "Parnas94:0"
- title: "Requirements-Based Monitors for Real-Time Systems"
  author:
  - name: "Dennis K. Peters"
    link: "https://researchr.org/alias/dennis-k.-peters"
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "2002"
  doi: "http://www.computer.org:80/tse/ts2002/e0146abs.htm"
  links:
    doi: "http://www.computer.org:80/tse/ts2002/e0146abs.htm"
  tags:
  - "rule-based"
  researchr: "https://researchr.org/publication/PetersP02"
  cites: 0
  citedby: 0
  journal: "TSE"
  volume: "28"
  number: "2"
  pages: "146-158"
  kind: "article"
  key: "PetersP02"
- title: "Evaluation of Safety-Critical Software"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  - name: "A. John van Schouwen"
    link: "https://researchr.org/alias/a.-john-van-schouwen"
  - name: "Shu Po Kwan"
    link: "https://researchr.org/alias/shu-po-kwan"
  year: "1990"
  researchr: "https://researchr.org/publication/ParnasSK90"
  cites: 0
  citedby: 0
  journal: "CACM"
  volume: "33"
  number: "6"
  pages: "636-648"
  kind: "article"
  key: "ParnasSK90"
- title: "The Professional Responsibilities of Software Engineers"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1994"
  researchr: "https://researchr.org/publication/Parnas94a"
  cites: 0
  citedby: 0
  pages: "332-339"
  booktitle: "ifip"
  kind: "inproceedings"
  key: "Parnas94a"
- title: "Connecting Good Theory to Good Practice: Software Documentation: A Case Study"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "2008"
  tags:
  - "case study"
  researchr: "https://researchr.org/publication/Parnas08"
  cites: 0
  citedby: 0
  pages: "17-20"
  booktitle: "se"
  kind: "inproceedings"
  key: "Parnas08"
- title: "Software Inspections We Can Trust"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2952&spage=153"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2952&spage=153"
  researchr: "https://researchr.org/publication/Parnas03%3A0"
  cites: 0
  citedby: 0
  pages: "153-154"
  booktitle: "fidji"
  kind: "inproceedings"
  key: "Parnas03:0"
- title: "A Generalized Control Structure and Its Formal Definition"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1983"
  researchr: "https://researchr.org/publication/Parnas83a"
  cites: 0
  citedby: 0
  journal: "CACM"
  volume: "26"
  number: "8"
  pages: "572-581"
  kind: "article"
  key: "Parnas83a"
- title: "Active design reviews: Principles and practices"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  - name: "David M. Weiss"
    link: "https://researchr.org/alias/david-m.-weiss"
  year: "1987"
  doi: "http://dx.doi.org/10.1016/0164-1212(87)90025-2"
  links:
    doi: "http://dx.doi.org/10.1016/0164-1212(87)90025-2"
  tags:
  - "principles"
  - "reviewing"
  - "design"
  researchr: "https://researchr.org/publication/ParnasW87"
  cites: 0
  citedby: 0
  journal: "jss"
  volume: "7"
  number: "4"
  pages: "259-265"
  kind: "article"
  key: "ParnasW87"
- title: "Documentation of Communications Services and Protocols"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1989"
  tags:
  - "protocol"
  researchr: "https://researchr.org/publication/Parnas89"
  cites: 0
  citedby: 0
  pages: "277-280"
  booktitle: "forte"
  kind: "inproceedings"
  key: "Parnas89"
- title: "Predicate Logic for Software Engineering"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1993"
  doi: "http://www.computer.org/tse/ts1993/e0856abs.htm"
  links:
    doi: "http://www.computer.org/tse/ts1993/e0856abs.htm"
  tags:
  - "software engineering"
  - "logic"
  researchr: "https://researchr.org/publication/Parnas93"
  cites: 0
  citedby: 0
  journal: "TSE"
  volume: "19"
  number: "9"
  pages: "856-862"
  kind: "article"
  key: "Parnas93"
- title: "Generating a Test Oracle from Program Documentation (Work in Progress)"
  author:
  - name: "Dennis K. Peters"
    link: "https://researchr.org/alias/dennis-k.-peters"
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1994"
  doi: "http://doi.acm.org/10.1145/186258.186508"
  links:
    doi: "http://doi.acm.org/10.1145/186258.186508"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/PetersP94"
  cites: 0
  citedby: 0
  pages: "58-65"
  booktitle: "ISSTA"
  kind: "inproceedings"
  key: "PetersP94"
- title: "The Modular Structure of Complex Systems"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  - name: "Paul C. Clements"
    link: "https://researchr.org/alias/paul-c.-clements"
  - name: "David M. Weiss"
    link: "https://researchr.org/alias/david-m.-weiss"
  year: "1985"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/ParnasCW85"
  cites: 0
  citedby: 0
  journal: "TSE"
  volume: "11"
  number: "3"
  pages: "259-266"
  kind: "article"
  key: "ParnasCW85"
- title: "A Technique for Software Module Specification with Examples (Reprint)"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1983"
  researchr: "https://researchr.org/publication/Parnas83"
  cites: 0
  citedby: 0
  journal: "CACM"
  volume: "26"
  number: "1"
  pages: "75-78"
  kind: "article"
  key: "Parnas83"
- title: "Software Engineering Programs Are Not Computer Science Programs"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1999"
  doi: "http://www.computer.org:80/software/so1999/s6019abs.htm"
  links:
    doi: "http://www.computer.org:80/software/so1999/s6019abs.htm"
  tags:
  - "software engineering"
  - "e-science"
  researchr: "https://researchr.org/publication/Parnas99%3A0"
  cites: 0
  citedby: 0
  journal: "IEEE Software"
  volume: "16"
  number: "6"
  pages: "19-30"
  kind: "article"
  key: "Parnas99:0"
- title: "New Year s Resolutions for Software Quality"
  author:
  - name: "Victor R. Basili"
    link: "https://researchr.org/alias/victor-r.-basili"
  - name: "Barry W. Boehm"
    link: "https://researchr.org/alias/barry-w.-boehm"
  - name: "Al Davis"
    link: "https://researchr.org/alias/al-davis"
  - name: "Watts S. Humphrey"
    link: "https://researchr.org/alias/watts-s.-humphrey"
  - name: "Nancy G. Leveson"
    link: "https://researchr.org/alias/nancy-g.-leveson"
  - name: "Nancy R. Mead"
    link: "https://researchr.org/alias/nancy-r.-mead"
  - name: "John D. Musa"
    link: "https://researchr.org/alias/john-d.-musa"
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  - name: "Shari Lawrence Pfleeger"
    link: "https://researchr.org/alias/shari-lawrence-pfleeger"
  - name: "Elaine J. Weyuker"
    link: "https://researchr.org/alias/elaine-j.-weyuker"
  year: "2004"
  doi: "http://csdl.computer.org/comp/mags/so/2004/01/s1012abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/mags/so/2004/01/s1012abs.htm"
  researchr: "https://researchr.org/publication/BasiliBDHLMMPPJ04"
  cites: 0
  citedby: 0
  journal: "IEEE Software"
  volume: "21"
  number: "1"
  pages: "12-13"
  kind: "article"
  key: "BasiliBDHLMMPPJ04"
- title: "Functional Documents for Computer Systems"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  - name: "Jan Madey"
    link: "https://researchr.org/alias/jan-madey"
  year: "1995"
  researchr: "https://researchr.org/publication/ParnasM95"
  cites: 0
  citedby: 0
  journal: "SCP"
  volume: "25"
  number: "1"
  pages: "41-61"
  kind: "article"
  key: "ParnasM95"
- title: "Trace Rewriting Systems"
  author:
  - name: "Yabo Wang"
    link: "https://researchr.org/alias/yabo-wang"
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1992"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/WangP92"
  cites: 0
  citedby: 0
  pages: "343-356"
  booktitle: "ctrs"
  kind: "inproceedings"
  key: "WangP92"
- title: "Tools for Component Documentation, Analysis and Testing"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1999"
  doi: "http://doi.ieeecomputersociety.org/10.1109/TOOLS.1999.10042"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/TOOLS.1999.10042"
  tags:
  - "testing"
  - "analysis"
  researchr: "https://researchr.org/publication/Parnas99"
  cites: 0
  citedby: 0
  pages: "2"
  booktitle: "TOOLS"
  kind: "inproceedings"
  key: "Parnas99"
- title: "Education for Computing Professionals (Abstract)"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1990"
  researchr: "https://researchr.org/publication/Parnas90%3A1"
  cites: 0
  citedby: 0
  pages: "2-3"
  booktitle: "icci"
  kind: "inproceedings"
  key: "Parnas90:1"
- title: "Using information about functions in selecting test cases"
  author:
  - name: "Markus Clermont"
    link: "https://researchr.org/alias/markus-clermont"
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1083274.1083276"
  links:
    doi: "http://doi.acm.org/10.1145/1083274.1083276"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/ClermontP05"
  cites: 0
  citedby: 0
  booktitle: "amost"
  kind: "inproceedings"
  key: "ClermontP05"
- title: "The Role of Inspection in Software Quality Assurance"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  - name: "Mark Lawford"
    link: "https://researchr.org/alias/mark-lawford"
  year: "2003"
  doi: "http://csdl.computer.org/comp/trans/ts/2003/08/e0674abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/trans/ts/2003/08/e0674abs.htm"
  researchr: "https://researchr.org/publication/ParnasL03%3A0"
  cites: 0
  citedby: 0
  journal: "TSE"
  volume: "29"
  number: "8"
  pages: "674-676"
  kind: "article"
  key: "ParnasL03:0"
- title: "Significant Event Simulation"
  author:
  - name: "Alan F. Babich"
    link: "https://researchr.org/alias/alan-f.-babich"
  - name: "John Grason"
    link: "https://researchr.org/alias/john-grason"
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1975"
  researchr: "https://researchr.org/publication/BabichGP75"
  cites: 0
  citedby: 0
  journal: "CACM"
  volume: "18"
  number: "6"
  pages: "323-329"
  kind: "article"
  key: "BabichGP75"
- title: "Invited Talk: A Software Engineering Program of Lasting Value"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1816/18160001.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1816/18160001.htm"
  tags:
  - "software engineering"
  researchr: "https://researchr.org/publication/Parnas00"
  cites: 0
  citedby: 0
  pages: "1"
  booktitle: "amast"
  kind: "inproceedings"
  key: "Parnas00"
- title: "On the Design and Development of Program Families"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1976"
  abstract: "Program families are defined (analogously to hardware families) as sets of programs whose common properties are so extensive that it is advantageous to study the common properties of the programs before analyzing individual members. The assumption that, if one is to develop a set of similar programs over a period of time, one should consider the set as a whole while developing the first three approaches to the development, is discussed. A conventional approach called \"sequential development\" is compared to \"stepwise refinement\" and \"specification of information hiding modules.\" A more detailed comparison of the two methods is then made. By means of several examples it is demonstrated that the two methods are based on the same concepts but bring complementary advantages."
  tags:
  - "design"
  researchr: "https://researchr.org/publication/Parnas76"
  cites: 0
  citedby: 0
  journal: "TSE"
  volume: "2"
  number: "1"
  pages: "1-9"
  kind: "article"
  key: "Parnas76"
- title: "Systematic Techniques for Inspecting Critical Software"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1999"
  doi: "http://doi.ieeecomputersociety.org/10.1109/TOOLS.1999.10078"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/TOOLS.1999.10078"
  tags:
  - "systematic-approach"
  researchr: "https://researchr.org/publication/Parnas99a"
  cites: 0
  citedby: 0
  pages: "410"
  booktitle: "TOOLS"
  kind: "inproceedings"
  key: "Parnas99a"
- title: "Use of the Concept of Transparency in the Design of Hierarchically Structured Systems"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  - name: "Daniel P. Siewiorek"
    link: "https://researchr.org/alias/daniel-p.-siewiorek"
  year: "1975"
  tags:
  - "design"
  researchr: "https://researchr.org/publication/ParnasS75"
  cites: 0
  citedby: 0
  journal: "CACM"
  volume: "18"
  number: "7"
  pages: "401-408"
  kind: "article"
  key: "ParnasS75"
- title: "An Easily Extensible Toolset for Tabular Mathematical Expressions"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  - name: "Dennis K. Peters"
    link: "https://researchr.org/alias/dennis-k.-peters"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1579/15790345.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1579/15790345.htm"
  researchr: "https://researchr.org/publication/ParnasP99"
  cites: 0
  citedby: 0
  pages: "345-359"
  booktitle: "TACAS"
  kind: "inproceedings"
  key: "ParnasP99"
- title: "Availability Evaluation of Hardware/Software Systems with Several Recovery Procedures"
  author:
  - name: "Sergiy A. Vilkomir"
    link: "https://researchr.org/alias/sergiy-a.-vilkomir"
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  - name: "Veena B. Mendiratta"
    link: "https://researchr.org/alias/veena-b.-mendiratta"
  - name: "Eamonn Murphy"
    link: "https://researchr.org/alias/eamonn-murphy"
  year: "2005"
  doi: "http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2005.52"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2005.52"
  researchr: "https://researchr.org/publication/VilkomirPMM05"
  cites: 0
  citedby: 0
  pages: "473-478"
  booktitle: "compsac"
  kind: "inproceedings"
  key: "VilkomirPMM05"
- title: "The Use of Mathematics in Software Engineering"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "2000"
  doi: "http://computer.org/proceedings/icfem/0822/08220001.pdf"
  links:
    doi: "http://computer.org/proceedings/icfem/0822/08220001.pdf"
  tags:
  - "software engineering"
  researchr: "https://researchr.org/publication/Parnas00%3A1"
  cites: 0
  citedby: 0
  pages: "1"
  booktitle: "icfem"
  kind: "inproceedings"
  key: "Parnas00:1"
- title: "Priority Scheduling Versus Pre-Run-Time Scheduling"
  author:
  - name: "Jia Xu"
    link: "https://researchr.org/alias/jia-xu"
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "2000"
  researchr: "https://researchr.org/publication/XuP00"
  cites: 0
  citedby: 0
  journal: "rts"
  volume: "18"
  number: "1"
  pages: "7-23"
  kind: "article"
  key: "XuP00"
- title: "Structured programming: A minor part of software engineering"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "2003"
  doi: "http://dx.doi.org/10.1016/S0020-0190(03)00389-2"
  links:
    doi: "http://dx.doi.org/10.1016/S0020-0190(03)00389-2"
  tags:
  - "software engineering"
  - "programming"
  researchr: "https://researchr.org/publication/Parnas03"
  cites: 0
  citedby: 0
  journal: "ipl"
  volume: "88"
  number: "1-2"
  pages: "53-58"
  kind: "article"
  key: "Parnas03"
- title: "Two Positions on Licensing"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "2000"
  doi: "http://computer.org/proceedings/icre/0565/05650154abs.htm"
  links:
    doi: "http://computer.org/proceedings/icre/0565/05650154abs.htm"
  researchr: "https://researchr.org/publication/Parnas00a"
  cites: 0
  citedby: 0
  pages: "154"
  booktitle: "icre"
  kind: "inproceedings"
  key: "Parnas00a"
- title: "Document-Driven Software Design: A Novel Approach That Should Not Be Novel"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "2007"
  tags:
  - "design"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/Parnas07%3A2"
  cites: 0
  citedby: 0
  pages: "7"
  booktitle: "ICSOFT"
  kind: "inproceedings"
  key: "Parnas07:2"
- title: "Comment on Deadlock Prevention Method"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  - name: "A. Nico Habermann"
    link: "https://researchr.org/alias/a.-nico-habermann"
  year: "1972"
  researchr: "https://researchr.org/publication/ParnasH72"
  cites: 0
  citedby: 0
  journal: "CACM"
  volume: "15"
  number: "9"
  pages: "840-841"
  kind: "article"
  key: "ParnasH72"
- title: "Point/Counterpoint"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  - name: "Bill Curtis"
    link: "https://researchr.org/alias/bill-curtis"
  year: "2009"
  doi: "http://doi.ieeecomputersociety.org/10.1109/MS.2009.184"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/MS.2009.184"
  researchr: "https://researchr.org/publication/ParnasC09"
  cites: 0
  citedby: 0
  journal: "IEEE Software"
  volume: "26"
  number: "6"
  pages: "56-59"
  kind: "article"
  key: "ParnasC09"
- title: "The Use of Precise Specification in the Development of Software"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1977"
  researchr: "https://researchr.org/publication/Parnas77"
  cites: 0
  citedby: 0
  pages: "861-867"
  booktitle: "ifip11-9"
  kind: "inproceedings"
  key: "Parnas77"
- title: "Precise Documentation of Well-Structured Programs"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  - name: "Jan Madey"
    link: "https://researchr.org/alias/jan-madey"
  - name: "Michal Iglewski"
    link: "https://researchr.org/alias/michal-iglewski"
  year: "1994"
  doi: "http://www.computer.org/tse/ts1994/e0948abs.htm"
  links:
    doi: "http://www.computer.org/tse/ts1994/e0948abs.htm"
  researchr: "https://researchr.org/publication/ParnasMI94"
  cites: 0
  citedby: 0
  journal: "TSE"
  volume: "20"
  number: "12"
  pages: "948-976"
  kind: "article"
  key: "ParnasMI94"
- title: "A Procedure for Designing Abstract Interfaces for Device Interface Modules"
  author:
  - name: "K. H. Britton"
    link: "https://researchr.org/alias/k.-h.-britton"
  - name: "R. A. Parker"
    link: "https://researchr.org/alias/r.-a.-parker"
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1981"
  researchr: "https://researchr.org/publication/BrittonPP81"
  cites: 0
  citedby: 0
  pages: "195-206"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "BrittonPP81"
- title: "Specification of Software Component Requirements Using the Trace Function Method"
  author:
  - name: "Colm Quinn"
    link: "https://researchr.org/alias/colm-quinn"
  - name: "Sergiy A. Vilkomir"
    link: "https://researchr.org/alias/sergiy-a.-vilkomir"
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  - name: "Srdjan Kostic"
    link: "https://researchr.org/alias/srdjan-kostic"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ICSEA.2006.67"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ICSEA.2006.67"
  tags:
  - "software components"
  - "software component"
  researchr: "https://researchr.org/publication/QuinnVPK06"
  cites: 0
  citedby: 0
  pages: "50"
  booktitle: "icsea"
  kind: "inproceedings"
  key: "QuinnVPK06"
- title: "Software Aspects of Strategic Defense Systems"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1985"
  researchr: "https://researchr.org/publication/Parnas85"
  cites: 0
  citedby: 0
  journal: "CACM"
  volume: "28"
  number: "12"
  pages: "1326-1335"
  kind: "article"
  key: "Parnas85"
- title: "The Limits of Empirical Studies of Software Engineering"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "2003"
  doi: "http://csdl.computer.org/comp/proceedings/isese/2003/2002/00/20020002abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/isese/2003/2002/00/20020002abs.htm"
  tags:
  - "empirical"
  - "software engineering"
  researchr: "https://researchr.org/publication/Parnas03%3A1"
  cites: 0
  citedby: 0
  pages: "2-7"
  booktitle: "isese"
  kind: "inproceedings"
  key: "Parnas03:1"
- title: "Requirements-based monitors for real-time systems"
  author:
  - name: "Dennis K. Peters"
    link: "https://researchr.org/alias/dennis-k.-peters"
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "2000"
  doi: "http://doi.acm.org/10.1145/347324.348874"
  links:
    doi: "http://doi.acm.org/10.1145/347324.348874"
  tags:
  - "rule-based"
  researchr: "https://researchr.org/publication/PetersP00"
  cites: 0
  citedby: 0
  pages: "77-85"
  booktitle: "ISSTA"
  kind: "inproceedings"
  key: "PetersP00"
- title: "RelMiS 2001 - Preface"
  author:
  - name: "Wolfram Kahl"
    link: "https://researchr.org/alias/wolfram-kahl"
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  - name: "Gunther Schmidt"
    link: "https://researchr.org/alias/gunther-schmidt"
  year: "2001"
  doi: "http://www1.elsevier.com/gej-ng/31/29/23/73/55/show/Products/notes/index.htt#001"
  links:
    doi: "http://www1.elsevier.com/gej-ng/31/29/23/73/55/show/Products/notes/index.htt#001"
  researchr: "https://researchr.org/publication/KahlPS01"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "44"
  number: "3"
  pages: "221-223"
  kind: "article"
  key: "KahlPS01"
- title: "A Family of Mathematical Methods for Professional Software Documentation"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11589976_1"
  links:
    doi: "http://dx.doi.org/10.1007/11589976_1"
  researchr: "https://researchr.org/publication/Parnas05"
  cites: 0
  citedby: 0
  pages: "1-4"
  booktitle: "IFM"
  kind: "inproceedings"
  key: "Parnas05"
- title: "Design and Specification of the Minimal Subset of an Operating System Family"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  - name: "Georg Handzel"
    link: "https://researchr.org/alias/georg-handzel"
  - name: "Harald Würges"
    link: "https://researchr.org/alias/harald-w%C3%BCrges"
  year: "1976"
  tags:
  - "operating system"
  - "design"
  researchr: "https://researchr.org/publication/ParnasHW76%3A0"
  cites: 0
  citedby: 0
  journal: "TSE"
  volume: "2"
  number: "4"
  pages: "301-307"
  kind: "article"
  key: "ParnasHW76:0"
- title: "A Technique for Software Module Specification with Examples"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1972"
  researchr: "https://researchr.org/publication/Parnas72"
  cites: 0
  citedby: 0
  journal: "CACM"
  volume: "15"
  number: "5"
  pages: "330-336"
  kind: "article"
  key: "Parnas72"
- title: "Document based rational software development"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.knosys.2008.11.001"
  links:
    doi: "http://dx.doi.org/10.1016/j.knosys.2008.11.001"
  tags:
  - "rule-based"
  researchr: "https://researchr.org/publication/Parnas09"
  cites: 0
  citedby: 0
  journal: "kbs"
  volume: "22"
  number: "3"
  pages: "132-141"
  kind: "article"
  key: "Parnas09"
- title: "Resolving Dilemmas in Software Engineering Education"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "2007"
  doi: "http://doi.ieeecomputersociety.org/10.1109/CSEET.2007.43"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/CSEET.2007.43"
  tags:
  - "software engineering"
  researchr: "https://researchr.org/publication/Parnas07%3A0"
  cites: 0
  citedby: 0
  booktitle: "csee"
  kind: "inproceedings"
  key: "Parnas07:0"
- title: "Disciplined Methods of Software Specification: A Case Study"
  author:
  - name: "Robert L. Baber"
    link: "https://researchr.org/alias/robert-l.-baber"
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  - name: "Sergiy A. Vilkomir"
    link: "https://researchr.org/alias/sergiy-a.-vilkomir"
  - name: "Paul Harrison"
    link: "https://researchr.org/alias/paul-harrison"
  - name: "Tony O Connor"
    link: "https://researchr.org/alias/tony-o-connor"
  year: "2005"
  doi: "http://dx.doi.org/10.1109/ITCC.2005.132"
  links:
    doi: "http://dx.doi.org/10.1109/ITCC.2005.132"
  tags:
  - "case study"
  researchr: "https://researchr.org/publication/BaberPVHO05"
  cites: 0
  citedby: 0
  pages: "428-437"
  booktitle: "itcc"
  kind: "inproceedings"
  key: "BaberPVHO05"
- title: "Why Software Jewels Are Rare"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1996"
  researchr: "https://researchr.org/publication/Parnas96"
  cites: 0
  citedby: 0
  journal: "Computer"
  volume: "29"
  number: "2"
  pages: "57-60"
  kind: "article"
  key: "Parnas96"
- title: "Licensing software engineers in Canada"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/581571.581605"
  links:
    doi: "http://doi.acm.org/10.1145/581571.581605"
  researchr: "https://researchr.org/publication/Parnas02"
  cites: 0
  citedby: 0
  journal: "CACM"
  volume: "45"
  number: "11"
  pages: "96-98"
  kind: "article"
  key: "Parnas02"
- title: "Using assertions about traces to write abstract specifications for software modules"
  author:
  - name: "Wolfram Bartussek"
    link: "https://researchr.org/alias/wolfram-bartussek"
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1978"
  researchr: "https://researchr.org/publication/BartussekP78"
  cites: 0
  citedby: 0
  pages: "211-236"
  booktitle: "eci"
  kind: "inproceedings"
  key: "BartussekP78"
- title: "Which is riskier: OS diversity or OS monopoly?"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1278201.1278232"
  links:
    doi: "http://doi.acm.org/10.1145/1278201.1278232"
  researchr: "https://researchr.org/publication/Parnas07%3A3"
  cites: 0
  citedby: 0
  journal: "CACM"
  volume: "50"
  number: "8"
  pages: "112"
  kind: "article"
  key: "Parnas07:3"
- title: "Response to Undesired Events in Software Systems"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  - name: "Harald Würges"
    link: "https://researchr.org/alias/harald-w%C3%BCrges"
  year: "1976"
  researchr: "https://researchr.org/publication/ParnasW76"
  cites: 0
  citedby: 0
  pages: "437-446"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "ParnasW76"
- title: "Some Theorems We Should Prove"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1993"
  researchr: "https://researchr.org/publication/Parnas93%3A0"
  cites: 0
  citedby: 0
  pages: "155-162"
  booktitle: "tphol"
  kind: "inproceedings"
  key: "Parnas93:0"
- title: "Systematic Documentation of Requirements"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "2001"
  doi: "http://computer.org/proceedings/re/1125/11250248.pdf"
  links:
    doi: "http://computer.org/proceedings/re/1125/11250248.pdf"
  tags:
  - "systematic-approach"
  researchr: "https://researchr.org/publication/Parnas01%3A0"
  cites: 0
  citedby: 0
  pages: "248"
  booktitle: "RE"
  kind: "inproceedings"
  key: "Parnas01:0"
- title: "Education for Computing Professionals"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1990"
  researchr: "https://researchr.org/publication/Parnas90%3A2"
  cites: 0
  citedby: 0
  journal: "Computer"
  volume: "23"
  number: "1"
  pages: "17-22"
  kind: "article"
  key: "Parnas90:2"
- title: "Precise software documentation: making object-orientation work better"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1297846.1297853"
  links:
    doi: "http://doi.acm.org/10.1145/1297846.1297853"
  researchr: "https://researchr.org/publication/Parnas07%3A1"
  cites: 0
  citedby: 0
  pages: "725"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "Parnas07:1"
- title: "Software Engineering Research Agendas Panel (SERA): What Can t We Do, But Need to Learn How to Do?"
  author:
  - name: "H. Dieter Rombach"
    link: "https://researchr.org/alias/h.-dieter-rombach"
  - name: "Manfred Broy"
    link: "https://researchr.org/alias/manfred-broy"
  - name: "Michael Evangelist"
    link: "https://researchr.org/alias/michael-evangelist"
  - name: "Ali Mili"
    link: "https://researchr.org/alias/ali-mili"
  - name: "Leon J. Osterweil"
    link: "https://researchr.org/alias/leon-j.-osterweil"
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "2001"
  tags:
  - "software engineering"
  researchr: "https://researchr.org/publication/RombachBEMOP01"
  cites: 0
  citedby: 0
  pages: "698"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "RombachBEMOP01"
- title: "Guest Editors  Introduction: Inspection s Role in Software Quality Assurance"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  - name: "Mark Lawford"
    link: "https://researchr.org/alias/mark-lawford"
  year: "2003"
  doi: "http://csdl.computer.org/comp/mags/so/2003/04/s4016abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/mags/so/2003/04/s4016abs.htm"
  researchr: "https://researchr.org/publication/ParnasL03"
  cites: 0
  citedby: 0
  journal: "IEEE Software"
  volume: "20"
  number: "4"
  pages: "16-20"
  kind: "article"
  key: "ParnasL03"
- title: "On the Criteria To Be Used in Decomposing Systems into Modules"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1972"
  researchr: "https://researchr.org/publication/Parnas72a"
  cites: 0
  citedby: 0
  journal: "CACM"
  volume: "15"
  number: "12"
  pages: "1053-1058"
  kind: "article"
  key: "Parnas72a"
- title: "Information Distribution Aspects of Design Methodology"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1971"
  tags:
  - "design"
  researchr: "https://researchr.org/publication/Parnas71"
  cites: 0
  citedby: 0
  pages: "339-344"
  booktitle: "ifip"
  kind: "inproceedings"
  key: "Parnas71"
- title: "The Modular Structure of Complex Systems"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  - name: "Paul C. Clements"
    link: "https://researchr.org/alias/paul-c.-clements"
  - name: "David M. Weiss"
    link: "https://researchr.org/alias/david-m.-weiss"
  year: "1984"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/ParnasCW84"
  cites: 0
  citedby: 0
  pages: "408-419"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "ParnasCW84"
- title: "::::Correction to::::   On Satisfying Timing Constraints in Hard-Real-Time Systems  "
  author:
  - name: "Jia Xu"
    link: "https://researchr.org/alias/jia-xu"
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1993"
  doi: "http://www.computer.org/tse/ts1993/e0310abs.htm"
  links:
    doi: "http://www.computer.org/tse/ts1993/e0310abs.htm"
  tags:
  - "constraints"
  researchr: "https://researchr.org/publication/XuP93a"
  cites: 0
  citedby: 0
  journal: "TSE"
  volume: "19"
  number: "3"
  pages: "310"
  kind: "article"
  key: "XuP93a"
- title: "Abstract Types Defined as Classes of Variables"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  - name: "John E. Shore"
    link: "https://researchr.org/alias/john-e.-shore"
  - name: "David M. Weiss"
    link: "https://researchr.org/alias/david-m.-weiss"
  year: "1976"
  doi: "db/conf/sigplan/ParnasSW76.html"
  tags:
  - "e-science"
  researchr: "https://researchr.org/publication/ParnasSW76"
  cites: 0
  citedby: 0
  pages: "149-153"
  booktitle: "sigplan"
  kind: "inproceedings"
  key: "ParnasSW76"
- title: "Goals for software engineering student education"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  - name: "Lillian Chik-Parnas"
    link: "https://researchr.org/alias/lillian-chik-parnas"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1082983.1082986"
  links:
    doi: "http://doi.acm.org/10.1145/1082983.1082986"
  tags:
  - "software engineering"
  researchr: "https://researchr.org/publication/ParnasC05"
  cites: 0
  citedby: 0
  journal: "sigsoft"
  volume: "30"
  number: "4"
  pages: "6-8"
  kind: "article"
  key: "ParnasC05"
- title: "Computers: boon or bane?"
  author:
  - name: "Peter G. Neumann"
    link: "https://researchr.org/alias/peter-g.-neumann"
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "2001"
  doi: "http://doi.acm.org/10.1145/365181.367913"
  links:
    doi: "http://doi.acm.org/10.1145/365181.367913"
  researchr: "https://researchr.org/publication/NeumannP01"
  cites: 0
  citedby: 0
  journal: "CACM"
  volume: "44"
  number: "3"
  pages: "168"
  kind: "article"
  key: "NeumannP01"
- title: "Wikipedia risks"
  author:
  - name: "Peter J. Denning"
    link: "https://researchr.org/alias/peter-j.-denning"
  - name: "Jim Horning"
    link: "https://researchr.org/alias/jim-horning"
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  - name: "Lauren Weinstein"
    link: "https://researchr.org/alias/lauren-weinstein"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1101779.1101804"
  links:
    doi: "http://doi.acm.org/10.1145/1101779.1101804"
  researchr: "https://researchr.org/publication/DenningHPW05"
  cites: 0
  citedby: 0
  journal: "CACM"
  volume: "48"
  number: "12"
  pages: "152"
  kind: "article"
  key: "DenningHPW05"
- title: "Design and Specification of the Minimal Subset of an Operating System Family (Abstract)"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  - name: "Georg Handzel"
    link: "https://researchr.org/alias/georg-handzel"
  - name: "Harald Würges"
    link: "https://researchr.org/alias/harald-w%C3%BCrges"
  year: "1976"
  tags:
  - "operating system"
  - "design"
  researchr: "https://researchr.org/publication/ParnasHW76"
  cites: 0
  citedby: 0
  pages: "123"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "ParnasHW76"
- title: " No silver bullet  reloaded: retrospective on  essence and accidents of software engineering "
  author:
  - name: "Steven Fraser"
    link: "https://researchr.org/alias/steven-fraser"
  - name: "Frederick P. Brooks Jr."
    link: "https://researchr.org/alias/frederick-p.-brooks-jr."
  - name: "Martin Fowler"
    link: "http://martinfowler.com/"
  - name: "Ricardo Lopez"
    link: "https://researchr.org/alias/ricardo-lopez"
  - name: "Aki Namioka"
    link: "https://researchr.org/alias/aki-namioka"
  - name: "Linda M. Northrop"
    link: "https://researchr.org/alias/linda-m.-northrop"
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  - name: "Dave A. Thomas"
    link: "https://researchr.org/alias/dave-a.-thomas"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1297846.1297973"
  links:
    doi: "http://doi.acm.org/10.1145/1297846.1297973"
  tags:
  - "software engineering"
  researchr: "https://researchr.org/publication/FraserBFLNNPT07"
  cites: 0
  citedby: 0
  pages: "1026-1030"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "FraserBFLNNPT07"
- title: "Comments on  A Comparison of Two Synchronizing Concepts by Per Brinch Hansen "
  author:
  - name: "Pierre-Jacques Courtois"
    link: "https://researchr.org/alias/pierre-jacques-courtois"
  - name: "F. Heymans"
    link: "https://researchr.org/alias/f.-heymans"
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1972"
  tags:
  - "synchronization"
  researchr: "https://researchr.org/publication/CourtoisHP72"
  cites: 0
  citedby: 0
  journal: "ACTA"
  volume: "1"
  pages: "375-376"
  kind: "article"
  key: "CourtoisHP72"
- title: "Letters to the editor: on improving the quality of our technical meetings"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1968"
  doi: "http://doi.acm.org/10.1145/363567.363568"
  links:
    doi: "http://doi.acm.org/10.1145/363567.363568"
  researchr: "https://researchr.org/publication/Parnas68"
  cites: 0
  citedby: 0
  journal: "CACM"
  volume: "11"
  number: "8"
  pages: "537-538"
  kind: "article"
  key: "Parnas68"
- title: "Segregated failures model for availability evaluation of fault-tolerant systems"
  author:
  - name: "Sergiy A. Vilkomir"
    link: "https://researchr.org/alias/sergiy-a.-vilkomir"
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  - name: "Veena B. Mendiratta"
    link: "https://researchr.org/alias/veena-b.-mendiratta"
  - name: "Eamonn Murphy"
    link: "https://researchr.org/alias/eamonn-murphy"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1151699.1151706"
  links:
    doi: "http://doi.acm.org/10.1145/1151699.1151706"
  researchr: "https://researchr.org/publication/VilkomirPMM06"
  cites: 0
  citedby: 0
  pages: "55-61"
  booktitle: "acsc"
  kind: "inproceedings"
  key: "VilkomirPMM06"
- title: "A language for describing the functions of synchronous systems"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1966"
  doi: "http://doi.acm.org/10.1145/365170.365176"
  links:
    doi: "http://doi.acm.org/10.1145/365170.365176"
  researchr: "https://researchr.org/publication/Parnas66"
  cites: 0
  citedby: 0
  journal: "CACM"
  volume: "9"
  number: "2"
  pages: "72-76"
  kind: "article"
  key: "Parnas66"
- title: "Computer systems availability evaluation using a segregated failures model"
  author:
  - name: "Sergiy A. Vilkomir"
    link: "https://researchr.org/alias/sergiy-a.-vilkomir"
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  - name: "Veena B. Mendiratta"
    link: "https://researchr.org/alias/veena-b.-mendiratta"
  - name: "Eamonn Murphy"
    link: "https://researchr.org/alias/eamonn-murphy"
  year: "2008"
  doi: "http://dx.doi.org/10.1002/qre.917"
  links:
    doi: "http://dx.doi.org/10.1002/qre.917"
  researchr: "https://researchr.org/publication/VilkomirPMM08"
  cites: 0
  citedby: 0
  journal: "qre"
  volume: "24"
  number: "4"
  pages: "447-465"
  kind: "article"
  key: "VilkomirPMM08"
- title: "Using information about functions in selecting test cases"
  author:
  - name: "Markus Clermont"
    link: "https://researchr.org/alias/markus-clermont"
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1082983.1083276"
  links:
    doi: "http://doi.acm.org/10.1145/1082983.1083276"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/ClermontP05%3A0"
  cites: 0
  citedby: 0
  journal: "sigsoft"
  volume: "30"
  number: "4"
  pages: "1-7"
  kind: "article"
  key: "ClermontP05:0"
- title: "Software Engineering: An Unconsummated Marriage (Extended Abstract)"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1997"
  doi: "http://doi.acm.org/10.1145/267895.267897"
  links:
    doi: "http://doi.acm.org/10.1145/267895.267897"
  tags:
  - "software engineering"
  researchr: "https://researchr.org/publication/Parnas98%3A1"
  cites: 0
  citedby: 0
  pages: "1-3"
  booktitle: "ESEC/FSE"
  kind: "inproceedings"
  key: "Parnas98:1"
- title: "Active Design Reviews: Principles and Practices"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  - name: "David M. Weiss"
    link: "https://researchr.org/alias/david-m.-weiss"
  year: "1985"
  tags:
  - "principles"
  - "reviewing"
  - "design"
  researchr: "https://researchr.org/publication/ParnasW85"
  cites: 0
  citedby: 0
  pages: "132-136"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "ParnasW85"
- title: "A Formal Approach to Computer Systems Requirements Documentation"
  author:
  - name: "Marcin Engel"
    link: "https://researchr.org/alias/marcin-engel"
  - name: "Marcin Kubica"
    link: "https://researchr.org/alias/marcin-kubica"
  - name: "Jan Madey"
    link: "https://researchr.org/alias/jan-madey"
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  - name: "Anders P. Ravn"
    link: "https://researchr.org/alias/anders-p.-ravn"
  - name: "A. John van Schouwen"
    link: "https://researchr.org/alias/a.-john-van-schouwen"
  year: "1992"
  tags:
  - "systematic-approach"
  researchr: "https://researchr.org/publication/EngelKMPRS92"
  cites: 0
  citedby: 0
  pages: "452-474"
  booktitle: "hybrid"
  kind: "inproceedings"
  key: "EngelKMPRS92"
- title: "On Satisfying Timing Constraints in Hard-Real-Time Systems"
  author:
  - name: "Jia Xu"
    link: "https://researchr.org/alias/jia-xu"
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1993"
  doi: "http://www.computer.org/tse/ts1993/e0070abs.htm"
  links:
    doi: "http://www.computer.org/tse/ts1993/e0070abs.htm"
  tags:
  - "constraints"
  researchr: "https://researchr.org/publication/XuP93"
  cites: 0
  citedby: 0
  journal: "TSE"
  volume: "19"
  number: "1"
  pages: "70-84"
  kind: "article"
  key: "XuP93"
- title: "On a  Buzzword : Hierarchical Structure"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1974"
  researchr: "https://researchr.org/publication/Parnas74"
  cites: 0
  citedby: 0
  pages: "336-339"
  booktitle: "ifip"
  kind: "inproceedings"
  key: "Parnas74"
- title: "The Future of Formal Methods in Industry"
  author:
  - name: "Anthony Hall"
    link: "https://researchr.org/alias/anthony-hall"
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  - name: "Nico Plat"
    link: "https://researchr.org/alias/nico-plat"
  - name: "John M. Rushby"
    link: "https://researchr.org/alias/john-m.-rushby"
  - name: "Chris T. Sennett"
    link: "https://researchr.org/alias/chris-t.-sennett"
  year: "1995"
  researchr: "https://researchr.org/publication/HallPPRS95"
  cites: 0
  citedby: 0
  pages: "237-242"
  booktitle: "zum"
  kind: "inproceedings"
  key: "HallPPRS95"
- title: "On Iterative Constructs"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1990"
  doi: "http://doi.acm.org/10.1145/77606.214517"
  links:
    doi: "http://doi.acm.org/10.1145/77606.214517"
  researchr: "https://researchr.org/publication/Parnas90%3A0"
  cites: 0
  citedby: 0
  journal: "TOPLAS"
  volume: "12"
  number: "1"
  pages: "139-141"
  kind: "article"
  key: "Parnas90:0"
- title: "Software Engineering Programmes are not Computer Science Programmes"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1998"
  tags:
  - "software engineering"
  - "e-science"
  researchr: "https://researchr.org/publication/Parnas98"
  cites: 0
  citedby: 0
  journal: "ansoft"
  volume: "6"
  pages: "19-37"
  kind: "article"
  key: "Parnas98"
- title: "Teaching Programming as Engineering"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1995"
  tags:
  - "teaching"
  - "programming"
  researchr: "https://researchr.org/publication/Parnas95a"
  cites: 0
  citedby: 0
  pages: "471-481"
  booktitle: "zum"
  kind: "inproceedings"
  key: "Parnas95a"
- title: "Software Documentation and the Verification Process"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2102/21020001.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2102/21020001.htm"
  researchr: "https://researchr.org/publication/Parnas01"
  cites: 0
  citedby: 0
  pages: "1"
  booktitle: "cav"
  kind: "inproceedings"
  key: "Parnas01"
- title: "Requirements Documentation: Why a Formal Basis is Essential"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "2000"
  doi: "http://computer.org/proceedings/icre/0565/05650081abs.htm"
  links:
    doi: "http://computer.org/proceedings/icre/0565/05650081abs.htm"
  researchr: "https://researchr.org/publication/Parnas00%3A0"
  cites: 0
  citedby: 0
  pages: "81-84"
  booktitle: "icre"
  kind: "inproceedings"
  key: "Parnas00:0"
- title: "On a Solution to the Cigarette Smoker s Problem (Without Conditional Statements)"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1975"
  researchr: "https://researchr.org/publication/Parnas75"
  cites: 0
  citedby: 0
  journal: "CACM"
  volume: "18"
  number: "3"
  pages: "181-183"
  kind: "article"
  key: "Parnas75"
- title: "Simulating the Behaviour of Software Modules by Trace Rewriting"
  author:
  - name: "Yabo Wang"
    link: "https://researchr.org/alias/yabo-wang"
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1993"
  doi: "http://portal.acm.org/citation.cfm?id=257572.257577"
  links:
    doi: "http://portal.acm.org/citation.cfm?id=257572.257577"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/WangP93%3A0"
  cites: 0
  citedby: 0
  pages: "14-23"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "WangP93:0"
- title: "A Rational Design Process: How and Why to Fake it"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  - name: "Paul C. Clements"
    link: "https://researchr.org/alias/paul-c.-clements"
  year: "1986"
  doi: "10.1109/TSE.1986.6312940"
  tags:
  - "C++"
  - "design"
  researchr: "https://researchr.org/publication/ParnasC86"
  cites: 0
  citedby: 1
  journal: "TSE"
  volume: "12"
  number: "2"
  pages: "251-257"
  kind: "article"
  key: "ParnasC86"
- title: "The Tabular Method for Relational Documentation"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "2001"
  doi: "http://www1.elsevier.com/gej-ng/31/29/23/73/55/show/Products/notes/index.htt#002"
  links:
    doi: "http://www1.elsevier.com/gej-ng/31/29/23/73/55/show/Products/notes/index.htt#002"
  researchr: "https://researchr.org/publication/Parnas01%3A1"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "44"
  number: "3"
  pages: "1-26"
  kind: "article"
  key: "Parnas01:1"
- title: "Making Mathematical Methods More Practical for Software Developers (Invited Talk)"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1816/18160009.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1816/18160009.htm"
  researchr: "https://researchr.org/publication/ParnasT00"
  cites: 0
  citedby: 0
  pages: "9-10"
  booktitle: "amast"
  kind: "inproceedings"
  key: "ParnasT00"
- title: "On simulating networks of parallel processes in which simultaneous events may occur"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1969"
  doi: "http://doi.acm.org/10.1145/363219.363233"
  links:
    doi: "http://doi.acm.org/10.1145/363219.363233"
  researchr: "https://researchr.org/publication/Parnas69"
  cites: 0
  citedby: 0
  journal: "CACM"
  volume: "12"
  number: "9"
  pages: "519-531"
  kind: "article"
  key: "Parnas69"
- title: "Tabular Expressions and Total Functional Programming"
  author:
  - name: "Baltasar Trancón-y-Widemann"
    link: "https://researchr.org/alias/baltasar-tranc%C3%B3n-y-widemann"
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-85373-2_13"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-85373-2_13"
  tags:
  - "functional programming"
  - "programming"
  researchr: "https://researchr.org/publication/WidemannP07"
  cites: 0
  citedby: 0
  pages: "219-236"
  booktitle: "IFL"
  kind: "inproceedings"
  key: "WidemannP07"
- title: "University Programmes in Software Development"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "2001"
  researchr: "https://researchr.org/publication/Parnas01%3A2"
  cites: 0
  citedby: 0
  pages: "9-10"
  booktitle: "seuh"
  kind: "inproceedings"
  key: "Parnas01:2"
- title: "Designing Software for Ease of Extension and Contraction"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1978"
  researchr: "https://researchr.org/publication/Parnas78"
  cites: 0
  citedby: 0
  pages: "264-277"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "Parnas78"
- title: "An Invitation to Formal Methods"
  author:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Ricky W. Butler"
    link: "https://researchr.org/alias/ricky-w.-butler"
  - name: "David L. Dill"
    link: "https://researchr.org/alias/david-l.-dill"
  - name: "Robert L. Glass"
    link: "https://researchr.org/alias/robert-l.-glass"
  - name: "David Gries"
    link: "https://researchr.org/alias/david-gries"
  - name: "Anthony Hall"
    link: "https://researchr.org/alias/anthony-hall"
  - name: "Michael G. Hinchey"
    link: "https://researchr.org/alias/michael-g.-hinchey"
  - name: "C. Michael Holloway"
    link: "https://researchr.org/alias/c.-michael-holloway"
  - name: "Daniel Jackson"
    link: "https://researchr.org/alias/daniel-jackson"
  - name: "Cliff B. Jones"
    link: "https://researchr.org/alias/cliff-b.-jones"
  - name: "Michael J. Lutz"
    link: "https://researchr.org/alias/michael-j.-lutz"
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  - name: "John M. Rushby"
    link: "https://researchr.org/alias/john-m.-rushby"
  - name: "Jeannette M. Wing"
    link: "http://www.cs.cmu.edu/~wing/"
  - name: "Pamela Zave"
    link: "https://researchr.org/alias/pamela-zave"
  year: "1996"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/BowenBDGGHHHJJLPRWZ96"
  cites: 0
  citedby: 0
  journal: "Computer"
  volume: "29"
  number: "4"
  pages: "16-30"
  kind: "article"
  key: "BowenBDGGHHHJJLPRWZ96"
- title: "Correction to  A Rational Design Process: How and Why to Fake It "
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  - name: "Paul C. Clements"
    link: "https://researchr.org/alias/paul-c.-clements"
  year: "1986"
  tags:
  - "C++"
  - "design"
  researchr: "https://researchr.org/publication/ParnasC86a"
  cites: 0
  citedby: 0
  journal: "TSE"
  volume: "12"
  number: "8"
  pages: "874"
  kind: "article"
  key: "ParnasC86a"
- title: "On  Artificial Intelligence and Expert Systems - Myths, Legends, and Facts "
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1989"
  researchr: "https://researchr.org/publication/Parnas89%3A0"
  cites: 0
  citedby: 0
  pages: "1145-1146"
  booktitle: "ifip"
  kind: "inproceedings"
  key: "Parnas89:0"
- title: " Formal methods  technology transfer will fail"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1998"
  doi: "http://dx.doi.org/10.1016/S0164-1212(97)00166-0"
  links:
    doi: "http://dx.doi.org/10.1016/S0164-1212(97)00166-0"
  researchr: "https://researchr.org/publication/Parnas98%3A0"
  cites: 0
  citedby: 0
  journal: "jss"
  volume: "40"
  number: "3"
  pages: "195-198"
  kind: "article"
  key: "Parnas98:0"
- title: "On facilitating parallel and multiprocessing in ALGOL"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1966"
  doi: "http://doi.acm.org/10.1145/365278.365287"
  links:
    doi: "http://doi.acm.org/10.1145/365278.365287"
  researchr: "https://researchr.org/publication/Parnas66b"
  cites: 0
  citedby: 0
  journal: "CACM"
  volume: "9"
  number: "4"
  pages: "257"
  kind: "article"
  key: "Parnas66b"
- title: "Why We Would Never Trust the SDI Software"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1986"
  researchr: "https://researchr.org/publication/Parnas86"
  cites: 0
  citedby: 0
  pages: "91-93"
  booktitle: "compcon"
  kind: "inproceedings"
  key: "Parnas86"
- title: "Simulating the Behavior of Software Modules by Trace Rewriting"
  author:
  - name: "Yabo Wang"
    link: "https://researchr.org/alias/yabo-wang"
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1994"
  doi: "http://www.computer.org/tse/ts1994/e0750abs.htm"
  links:
    doi: "http://www.computer.org/tse/ts1994/e0750abs.htm"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/WangP94%3A0"
  cites: 0
  citedby: 0
  journal: "TSE"
  volume: "20"
  number: "10"
  pages: "750-759"
  kind: "article"
  key: "WangP94:0"
- title: "Inspection of Concurrent Systems: Combining Tables, Theorem Proving and Model Checking"
  author:
  - name: "Vera Pantelic"
    link: "https://researchr.org/alias/vera-pantelic"
  - name: "Xiao-Hui Jin"
    link: "https://researchr.org/alias/xiao-hui-jin"
  - name: "Mark Lawford"
    link: "https://researchr.org/alias/mark-lawford"
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "2006"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/PantelicJLP06"
  cites: 0
  citedby: 0
  pages: "629-635"
  booktitle: "serp"
  kind: "inproceedings"
  key: "PantelicJLP06"
- title: "Component Interface Documentation: What do we Need and Why do we Need it?"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "2006"
  researchr: "https://researchr.org/publication/Parnas06"
  cites: 0
  citedby: 0
  pages: "3-21"
  booktitle: "somet"
  kind: "inproceedings"
  key: "Parnas06"
- title: "On Synchronization in Hard-Real-Time Systems"
  author:
  - name: "Stuart R. Faulk"
    link: "https://researchr.org/alias/stuart-r.-faulk"
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1988"
  tags:
  - "synchronization"
  researchr: "https://researchr.org/publication/FaulkP88"
  cites: 0
  citedby: 0
  journal: "CACM"
  volume: "31"
  number: "3"
  pages: "274-287"
  kind: "article"
  key: "FaulkP88"
- title: "Ten Myths About Y2K Inspections"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1999"
  doi: "http://doi.acm.org/10.1145/301353.301442"
  links:
    doi: "http://doi.acm.org/10.1145/301353.301442"
  researchr: "https://researchr.org/publication/Parnas99%3A1"
  cites: 0
  citedby: 0
  journal: "CACM"
  volume: "42"
  number: "5"
  pages: "128"
  kind: "article"
  key: "Parnas99:1"
- title: "Concurrent Control with  Readers  and  Writers "
  author:
  - name: "Pierre-Jacques Courtois"
    link: "https://researchr.org/alias/pierre-jacques-courtois"
  - name: "F. Heymans"
    link: "https://researchr.org/alias/f.-heymans"
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1971"
  researchr: "https://researchr.org/publication/CouroisHP71"
  cites: 0
  citedby: 0
  journal: "CACM"
  volume: "14"
  number: "10"
  pages: "667-668"
  kind: "article"
  key: "CouroisHP71"
- title: "Software Engineering or Methods for the Multi - Person Construction of Multi - Version Programs"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1974"
  tags:
  - "software engineering"
  researchr: "https://researchr.org/publication/Parnas74%3A0"
  cites: 0
  citedby: 0
  pages: "225-235"
  booktitle: "ibm"
  kind: "inproceedings"
  key: "Parnas74:0"
- title: "Functional Specifications for Old (and New) Software"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1990"
  researchr: "https://researchr.org/publication/Parnas90"
  cites: 0
  citedby: 0
  pages: "3-14"
  booktitle: "gi"
  kind: "inproceedings"
  key: "Parnas90"
- title: "Precise Documentation of Critical Software"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  - name: "Sergiy A. Vilkomir"
    link: "https://researchr.org/alias/sergiy-a.-vilkomir"
  year: "2007"
  doi: "http://doi.ieeecomputersociety.org/10.1109/HASE.2007.63"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/HASE.2007.63"
  researchr: "https://researchr.org/publication/ParnasV07"
  cites: 0
  citedby: 0
  pages: "237-244"
  booktitle: "hase"
  kind: "inproceedings"
  key: "ParnasV07"
- title: "Document Driven Disciplined Development of Software"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "2005"
  doi: "http://csdl.computer.org/comp/proceedings/aswec/2005/2257/00/22570002.pdf"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/aswec/2005/2257/00/22570002.pdf"
  tags:
  - "meta-model"
  - "model-driven development"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/Parnas05%3A0"
  cites: 0
  citedby: 0
  pages: "2-3"
  booktitle: "ASWEC"
  kind: "inproceedings"
  key: "Parnas05:0"
- title: "Using Test Oracles Generated from Program Documentation"
  author:
  - name: "Dennis K. Peters"
    link: "https://researchr.org/alias/dennis-k.-peters"
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1998"
  doi: "http://csdl.computer.org/comp/trans/ts/1998/03/e0161abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/trans/ts/1998/03/e0161abs.htm"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/PetersP98"
  cites: 0
  citedby: 0
  journal: "TSE"
  volume: "24"
  number: "3"
  pages: "161-173"
  kind: "article"
  key: "PetersP98"
- title: "Warum ich an SDI nicht mitarbeite: Eine Auffassung beruflicher Verantwortung"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1987"
  researchr: "https://researchr.org/publication/Parnas87"
  cites: 0
  citedby: 0
  journal: "insk"
  volume: "10"
  number: "1"
  pages: "3-10"
  kind: "article"
  key: "Parnas87"
- title: "Software Product-Lines: What To Do When Enumaration Won t Work"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "2007"
  doi: "http://www.vamos-workshop.net/proceedings/VaMoS_2007_Proceedings.pdf"
  links:
    doi: "http://www.vamos-workshop.net/proceedings/VaMoS_2007_Proceedings.pdf"
  tags:
  - "software product lines"
  researchr: "https://researchr.org/publication/Parnas07"
  cites: 0
  citedby: 0
  pages: "9-14"
  booktitle: "vamos"
  kind: "inproceedings"
  key: "Parnas07"
- title: "Stop the numbers game"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1297797.1297815"
  links:
    doi: "http://doi.acm.org/10.1145/1297797.1297815"
  researchr: "https://researchr.org/publication/Parnas07a"
  cites: 0
  citedby: 0
  journal: "CACM"
  volume: "50"
  number: "11"
  pages: "19-21"
  kind: "article"
  key: "Parnas07a"
- title: "Software Engineering: An Unconsummated Marriage"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1997"
  tags:
  - "software engineering"
  researchr: "https://researchr.org/publication/Parnas97"
  cites: 0
  citedby: 0
  journal: "CACM"
  volume: "40"
  number: "9"
  pages: "128"
  kind: "article"
  key: "Parnas97"
- title: "Fault Propagation in Tabular Expression-Based Specifications"
  author:
  - name: "Xin Feng"
    link: "https://researchr.org/alias/xin-feng"
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  - name: "T. H. Tse"
    link: "https://researchr.org/alias/t.-h.-tse"
  year: "2008"
  doi: "http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2008.115"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2008.115"
  tags:
  - "rule-based"
  researchr: "https://researchr.org/publication/FengPT08"
  cites: 0
  citedby: 0
  pages: "180-183"
  booktitle: "compsac"
  kind: "inproceedings"
  key: "FengPT08"
- title: "Designing Software for Ease of Extension and Contraction"
  author:
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  year: "1979"
  researchr: "https://researchr.org/publication/Parnas79"
  cites: 0
  citedby: 0
  journal: "TSE"
  volume: "5"
  number: "2"
  pages: "128-138"
  kind: "article"
  key: "Parnas79"
- title: "Modularity in the New Millenium: A Panel Summary"
  author:
  - name: "Premkumar T. Devanbu"
    link: "https://researchr.org/alias/premkumar-t.-devanbu"
  - name: "Robert Balzer"
    link: "https://researchr.org/alias/robert-balzer"
  - name: "Don S. Batory"
    link: "http://www.cs.utexas.edu/~dsb/"
  - name: "Gregor Kiczales"
    link: "http://people.cs.ubc.ca/~gregor/"
  - name: "John Launchbury"
    link: "https://researchr.org/alias/john-launchbury"
  - name: "David Lorge Parnas"
    link: "http://en.wikipedia.org/wiki/David_Parnas"
  - name: "Peri L. Tarr"
    link: "https://researchr.org/alias/peri-l.-tarr"
  year: "2003"
  doi: "http://computer.org/proceedings/icse/1877/18770723.pdf"
  links:
    doi: "http://computer.org/proceedings/icse/1877/18770723.pdf"
  researchr: "https://researchr.org/publication/DevanbuBBKLPT03"
  cites: 0
  citedby: 0
  pages: "723-725"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "DevanbuBBKLPT03"