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: "IEEE Trans. Software Eng."
  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 Congress (3)"
  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: "Inf. Process. Lett."
  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: "Communications of the ACM"
  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  95: The Z Formal Specification Notation, 9th International Conference of Z Usres, Limerick, Ireland, September 7-9, 1995, Proceedings"
  editor:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Michael G. Hinchey"
    link: "https://researchr.org/alias/michael-g.-hinchey"
  volume: "967"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-60271-2"
  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: "Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 2: Colloquium on Software Engineering (CSE)"
  editor:
  - name: "Hartmut Ehrig"
    link: "https://researchr.org/alias/hartmut-ehrig"
  - name: "Christiane Floyd"
    link: "https://researchr.org/alias/christiane-floyd"
  - name: "Maurice Nivat"
    link: "https://researchr.org/alias/maurice-nivat"
  - name: "James W. Thatcher"
    link: "https://researchr.org/alias/james-w.-thatcher"
  volume: "186"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-15199-0"
  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: "IFIP Congress (1)"
  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: "IEEE Trans. Software Eng."
  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: "Communications of the ACM"
  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 Congress (2)"
  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: "Software Engineering 2008. Fachtagung des GI-Fachbereichs Softwaretechnik, 18.-22.2.2008 in München"
  editor:
  - name: "Korbinian Herrmann"
    link: "https://researchr.org/alias/korbinian-herrmann"
  - name: "Bernd Brügge"
    link: "https://researchr.org/alias/bernd-br%C3%BCgge"
  volume: "121"
  series: "LNI"
  publisher: "GI"
  isbn: "978-3-88579-215-4"
  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: "Scientific Engineering of Distributed Java Applications, Third International Workshop, FIDJI 2003, Luxenbourg-Kirchberg, Luxenbourg, November 27-28, 2003, Revised Papers"
  editor:
  - name: "Nicolas Guelfi"
    link: "https://researchr.org/alias/nicolas-guelfi"
  - name: "Egidio Astesiano"
    link: "https://researchr.org/alias/egidio-astesiano"
  - name: "Gianna Reggio"
    link: "https://researchr.org/alias/gianna-reggio"
  volume: "2952"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-21091-1"
  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: "Communications of the ACM"
  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: "Journal of Systems and Software"
  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: "Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE 89, Vancouver, BC, Canada, 5-8 December, 1989"
  editor:
  - name: "Son T. Vuong"
    link: "https://researchr.org/alias/son-t.-vuong"
  publisher: "North-Holland"
  isbn: "0-444-88544-7"
  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: "IEEE Trans. Software Eng."
  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: "IEEE Trans. Software Eng."
  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: "Communications of the ACM"
  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: "Science of Computer Programming"
  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: "Conditional Term Rewriting Systems, Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, Proceedings"
  editor:
  - name: "Michaël Rusinowitch"
    link: "https://researchr.org/alias/micha%C3%ABl-rusinowitch"
  - name: "Jean-Luc Remy"
    link: "https://researchr.org/alias/jean-luc-remy"
  volume: "656"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-56393-8"
  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 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software - The Way Ahead, 1-5 August 1999, Santa Barbara, CA, USA"
  editor:
  - name: "Donald Firesmith"
    link: "https://researchr.org/alias/donald-firesmith"
  - name: "Richard Riehle"
    link: "https://researchr.org/alias/richard-riehle"
  - name: "Gilda Pour"
    link: "https://researchr.org/alias/gilda-pour"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-0278-4"
  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: "Advances in Computing and Information - ICCI 90, International Conference on Computing and Information, Niagara Falls, Canada, May 23-26, 1990, Proceedings"
  editor:
  - name: "Selim G. Akl"
    link: "https://researchr.org/alias/selim-g.-akl"
  - name: "Frantisek Fiala"
    link: "https://researchr.org/alias/frantisek-fiala"
  - name: "Waldemar W. Koczkodaj"
    link: "https://researchr.org/alias/waldemar-w.-koczkodaj"
  volume: "468"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-53504-7"
  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: "Proceedings of the ICSE 2005 Workshop on Advances in Model-Based Software Testing, A-MOST 2005, St. Louis, Missouri, USA"
  publisher: "ACM"
  isbn: "1-59593-115-5"
  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: "IEEE Trans. Software Eng."
  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: "Communications of the ACM"
  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: "Algebraic Methodology and Software Technology.  8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings"
  editor:
  - name: "Teodor Rus"
    link: "https://researchr.org/alias/teodor-rus"
  volume: "1816"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67530-2"
  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: "IEEE Trans. Software Eng."
  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 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software - The Way Ahead, 1-5 August 1999, Santa Barbara, CA, USA"
  editor:
  - name: "Donald Firesmith"
    link: "https://researchr.org/alias/donald-firesmith"
  - name: "Richard Riehle"
    link: "https://researchr.org/alias/richard-riehle"
  - name: "Gilda Pour"
    link: "https://researchr.org/alias/gilda-pour"
  - name: "Bertrand Meyer"
    link: "http://se.ethz.ch/~meyer/"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-0278-4"
  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: "Communications of the ACM"
  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: "Tools and Algorithms for Construction and Analysis of Systems, 5th International Conference, TACAS  99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 99, Amsterdam, The Netherlands, March 22-28, 1999, Proceed"
  editor:
  - name: "Rance Cleaveland"
    link: "https://researchr.org/alias/rance-cleaveland"
  volume: "1579"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-65703-7"
  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: "29th Annual International Computer Software and Applications Conference (COMPSAC 2005), 25-28 July 2005, Edinburgh, Scotland, UK"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2413-3"
  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: "Real-Time Systems"
  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: "Inf. Process. Lett."
  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 2007, Proceedings of the Second International Conference on Software and Data Technologies, Volume PL/DPS/KE/MUSE, Barcelona, Spain, July 22-25, 2007"
  editor:
  - name: "Joaquim Filipe"
    link: "https://researchr.org/alias/joaquim-filipe"
  - name: "Boris Shishkov"
    link: "https://researchr.org/alias/boris-shishkov"
  - name: "Markus Helfert"
    link: "https://researchr.org/alias/markus-helfert"
  publisher: "INSTICC Press"
  isbn: "978-989-8111-05-0"
  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: "Communications of the ACM"
  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: "IFIP Congress"
  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: "IEEE Trans. Software Eng."
  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: "Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), October 28 - November 2, 2006, Papeete, Tahiti, French Polynesia"
  publisher: "IEEE Computer Society"
  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: "Communications of the ACM"
  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: "2003 International Symposium on Empirical Software Engineering (ISESE 2003), 30 September - 1 October 2003. Rome, Italy"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2002-2"
  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: "Electronic Notes in Theoretical Computer Science"
  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: "Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings"
  editor:
  - name: "Judi Romijn"
    link: "https://researchr.org/alias/judi-romijn"
  - name: "Graeme Smith"
    link: "https://researchr.org/alias/graeme-smith"
  - name: "Jaco van de Pol"
    link: "https://researchr.org/alias/jaco-van-de-pol"
  volume: "3771"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-30492-4"
  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: "IEEE Trans. Software Eng."
  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: "Communications of the ACM"
  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: "Knowl.-Based Syst."
  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: "20th Conference on Software Engineering Education and Training (CSEE&T 2007), 3-5 July 2007, Dublin, Ireland"
  publisher: "IEEE Computer Society"
  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: "International Symposium on Information Technology: Coding and Computing (ITCC 2005), Volume 2, 4-6 April 2005, Las Vegas, Nevada, USA"
  publisher: "IEEE Computer Society"
  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: "IEEE 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: "Communications of the ACM"
  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: "Information Systems Methodology, Proceedings, 2nd Conference of the European Cooperation in Informatics, Venice, Italy, October 10-12, 1978"
  editor:
  - name: "Giampio Bracchi"
    link: "https://researchr.org/alias/giampio-bracchi"
  - name: "Peter C. Lockemann"
    link: "https://researchr.org/alias/peter-c.-lockemann"
  volume: "65"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-08934-9"
  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: "Communications of the ACM"
  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: "Higher Order Logic Theorem Proving and its Applications, 6th International Workshop, HUG  93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings"
  editor:
  - name: "Jeffrey J. Joyce"
    link: "https://researchr.org/alias/jeffrey-j.-joyce"
  - name: "Carl-Johan H. Seger"
    link: "https://researchr.org/alias/carl-johan-h.-seger"
  volume: "780"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-57826-9"
  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: "5th IEEE International Symposium on Requirements Engineering (RE 2001), 27-31 August 2001, Toronto, Canada"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-1125-2"
  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: "IEEE 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: "Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada"
  editor:
  - name: "Richard P. Gabriel"
    link: "http://www.dreamsongs.com/RPG.html"
  - name: "David F. Bacon"
    link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html"
  - name: "Cristina Videira  Lopes"
    link: "http://www.ics.uci.edu/~lopes/"
  - name: "Guy L. Steele Jr."
    link: "http://research.sun.com/people/mybio.php?uid=25706"
  publisher: "ACM"
  isbn: "978-1-59593-865-7"
  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: "Proceedings of the 23rd International Conference on Software Engineering, ICSE 2001, 12-19 May 2001, Toronto, Ontario, Canada"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-1050-7"
  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: "Communications of the ACM"
  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 Congress (1)"
  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: "IEEE Trans. Software Eng."
  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: "Proceedings of the SIGPLAN  76 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976"
  publisher: "ACM"
  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: "ACM SIGSOFT Software Engineering Notes"
  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: "Communications of the ACM"
  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: "Communications of the ACM"
  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: "Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada"
  editor:
  - name: "Richard P. Gabriel"
    link: "http://www.dreamsongs.com/RPG.html"
  - name: "David F. Bacon"
    link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html"
  - name: "Cristina Videira  Lopes"
    link: "http://www.ics.uci.edu/~lopes/"
  - name: "Guy L. Steele Jr."
    link: "http://research.sun.com/people/mybio.php?uid=25706"
  publisher: "ACM"
  isbn: "978-1-59593-865-7"
  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 Informatica"
  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: "Communications of the ACM"
  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: "Computer Science 2006, Twenty-Nineth Australasian Computer Science Conference (ACSC2006), Hobart, Tasmania, Australia, January 16-19 2006"
  editor:
  - name: "Vladimir Estivill-Castro"
    link: "https://researchr.org/alias/vladimir-estivill-castro"
  - name: "Gillian Dobbie"
    link: "https://researchr.org/alias/gillian-dobbie"
  volume: "48"
  series: "CRPIT"
  publisher: "Australian Computer Society"
  isbn: "1-920682-30-9"
  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: "Communications of the ACM"
  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: "Quality and Reliability Eng. Int."
  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: "ACM SIGSOFT Software Engineering Notes"
  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: "Software Engineering - ESEC/FSE  97, 6th European Software Engineering Conference Held Jointly with the 5th ACM SIGSOFT Symposium on Foundations of Software Engineering, Zurich, Switzerland, September 22-25, 1997, Proceedings"
  editor:
  - name: "Mehdi Jazayeri"
    link: "https://researchr.org/alias/mehdi-jazayeri"
  - name: "Helmut Schauer"
    link: "https://researchr.org/alias/helmut-schauer"
  volume: "1301"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-63531-9"
  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 Systems"
  editor:
  - name: "Robert L. Grossman"
    link: "https://researchr.org/alias/robert-l.-grossman"
  - name: "Anil Nerode"
    link: "https://researchr.org/alias/anil-nerode"
  - name: "Anders P. Ravn"
    link: "https://researchr.org/alias/anders-p.-ravn"
  - name: "Hans Rischel"
    link: "https://researchr.org/alias/hans-rischel"
  volume: "736"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-57318-6"
  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: "IEEE Trans. Software Eng."
  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 Congress"
  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  95: The Z Formal Specification Notation, 9th International Conference of Z Usres, Limerick, Ireland, September 7-9, 1995, Proceedings"
  editor:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Michael G. Hinchey"
    link: "https://researchr.org/alias/michael-g.-hinchey"
  volume: "967"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-60271-2"
  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: "ACM Transactions on Programming Languages and Systems"
  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: "Ann. Software Eng."
  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  95: The Z Formal Specification Notation, 9th International Conference of Z Usres, Limerick, Ireland, September 7-9, 1995, Proceedings"
  editor:
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Michael G. Hinchey"
    link: "https://researchr.org/alias/michael-g.-hinchey"
  volume: "967"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-60271-2"
  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: "Computer Aided Verification, 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001, Proceedings"
  editor:
  - name: "Gérard Berry"
    link: "https://researchr.org/alias/g%C3%A9rard-berry"
  - name: "Hubert Comon"
    link: "https://researchr.org/alias/hubert-comon"
  - name: "Alain Finkel"
    link: "https://researchr.org/alias/alain-finkel"
  volume: "2102"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42345-1"
  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: "Communications of the ACM"
  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: "IEEE Trans. Software Eng."
  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: "Electronic Notes in Theoretical Computer Science"
  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: "Algebraic Methodology and Software Technology.  8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings"
  editor:
  - name: "Teodor Rus"
    link: "https://researchr.org/alias/teodor-rus"
  volume: "1816"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67530-2"
  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: "Communications of the ACM"
  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: "Implementation and Application of Functional Languages, 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers"
  editor:
  - name: "Olaf Chitil"
    link: "https://researchr.org/alias/olaf-chitil"
  - name: "Zoltán Horváth"
    link: "https://researchr.org/alias/zolt%C3%A1n-horv%C3%A1th"
  - name: "Viktória Zsók"
    link: "https://researchr.org/alias/vikt%C3%B3ria-zs%C3%B3k"
  volume: "5083"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-85372-5"
  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: "Software Engineering im Unterricht der Hochschulen, SEUH 7, Zürich 2001"
  editor:
  - name: "Horst Lichter"
    link: "https://researchr.org/alias/horst-lichter"
  - name: "Martin Glinz"
    link: "https://researchr.org/alias/martin-glinz"
  publisher: "dpunkt"
  isbn: "3-89864-106-6"
  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: "IEEE 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: "IEEE Trans. Software Eng."
  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 Congress"
  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: "Journal of Systems and Software"
  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: "Communications of the ACM"
  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: "Spring COMPCON 86, Digest of Papers, Thirty-First IEEE Computer Society International Conference, San Francisco, California, USA, March 3-6, 1986"
  publisher: "IEEE Computer Society"
  isbn: "0-8186-0692-4"
  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: "IEEE Trans. Software Eng."
  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: "Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, SERP 2006, Las Vegas, Nevada, USA, June 26-29, 2006, Volume 2"
  editor:
  - name: "Hamid R. Arabnia"
    link: "https://researchr.org/alias/hamid-r.-arabnia"
  - name: "Hassan Reza"
    link: "https://researchr.org/alias/hassan-reza"
  publisher: "CSREA Press"
  isbn: "1-932415-91-2"
  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: "New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Fifth SoMeT 2006, October 25-27, 2006, Quebec, Canada"
  editor:
  - name: "Hamido Fujita"
    link: "www.somet.soft.iwate-pu.ac.jp/somet_11"
  - name: "Mohamed Mejri"
    link: "http://www"
  volume: "147"
  series: "Frontiers in Artificial Intelligence and Applications"
  publisher: "IOS Press"
  isbn: "978-1-58603-673-7"
  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: "Communications of the ACM"
  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: "Communications of the ACM"
  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: "Communications of the ACM"
  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: "Programming Methodology, 4th Informatik Symposium, IBM Germany, Wildbad, September 25-27, 1974"
  editor:
  - name: "Clemens Hackl"
    link: "https://researchr.org/alias/clemens-hackl"
  volume: "23"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-07131-8"
  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 - 20. Jahrestagung I, Informatik auf dem Weg zum Anwender, Stuttgart, 8.-12. Oktober 1990, Proceedings"
  editor:
  - name: "Andreas Reuter"
    link: "https://researchr.org/alias/andreas-reuter"
  volume: "257"
  series: "Informatik-Fachberichte"
  publisher: "Springer"
  isbn: "3-540-53212-9"
  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: "Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), November 14-16, 2007, Dallas, Texas, USA"
  publisher: "IEEE Computer Society"
  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: "16th Australian Software Engineering Conference (ASWEC 2005), 31 March - 1 April 2005, Brisbane, Australia"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2257-2"
  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: "IEEE Trans. Software Eng."
  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: "Informatik Spektrum"
  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: "First International Workshop on Variability Modelling of Software-Intensive Systems, VaMoS 2007, Limerick, Ireland, January 16-18, 2007. Proceedings"
  editor:
  - name: "Klaus Pohl"
    link: "https://researchr.org/alias/klaus-pohl"
  - name: "Patrick Heymans"
    link: "https://researchr.org/alias/patrick-heymans"
  - name: "Kyo Chul Kang"
    link: "https://researchr.org/alias/kyo-chul-kang"
  - name: "Andreas Metzger"
    link: "https://researchr.org/alias/andreas-metzger"
  volume: "2007-01"
  series: "Lero Technical Report"
  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: "Communications of the ACM"
  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: "Communications of the ACM"
  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: "Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland"
  publisher: "IEEE Computer Society"
  isbn: "978-0-7695-3262-2"
  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: "IEEE Trans. Software Eng."
  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: "Proceedings of the 25th International Conference on Software Engineering, May 3-10, 2003, Portland, Oregon, USA"
  publisher: "IEEE Computer Society"
  kind: "inproceedings"
  key: "DevanbuBBKLPT03"