![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
David Lorge Parnas
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
- [j88]David Lorge Parnas
:
Software Engineering: A Profession in Waiting. Computer 54(5): 62-64 (2021)
2010 – 2019
- 2018
- [j87]David Lorge Parnas:
Software Structures: A Careful Look. IEEE Softw. 35(6): 68-71 (2018) - 2017
- [j86]David Lorge Parnas:
The real risks of artificial intelligence. Commun. ACM 60(10): 27-31 (2017) - [j85]Carl E. Landwehr, Jochen Ludewig, Robert Meersman, David Lorge Parnas, Peretz Shoval, Yair Wand, David M. Weiss, Elaine J. Weyuker:
Software Systems Engineering programmes a capability approach. J. Syst. Softw. 125: 354-364 (2017) - 2012
- [j84]David Lorge Parnas:
The use of mathematics in software quality assurance. Frontiers Comput. Sci. China 6(1): 3-16 (2012) - 2011
- [j83]David Lorge Parnas:
The risks of stopping too soon. Commun. ACM 54(6): 31-33 (2011) - [j82]David Lorge Parnas:
Software Engineering - Missing in Action: A Personal Perspective. Computer 44(10): 54-58 (2011) - [j81]Xin Feng, David Lorge Parnas, T. H. Tse
, Tony O'Callaghan:
A Comparison of Tabular Expression-Based Testing Strategies. IEEE Trans. Software Eng. 37(5): 616-634 (2011) - [c86]David Lorge Parnas:
Software Engineering: Multi-person Development of Multi-version Programs. Dependable and Historic Computing 2011: 413-427 - [c85]David Lorge Parnas:
The Use of Mathematics in Software Development - (Extended Abstract). ICTAC 2011: 4-5 - 2010
- [j80]David Lorge Parnas:
Risks of undisciplined development. Commun. ACM 53(10): 25-27 (2010) - [j79]David Lorge Parnas:
Really Rethinking 'Formal Methods'. Computer 43(1): 28-34 (2010) - [j78]Zhiying Liu, David Lorge Parnas, Baltasar Trancón y Widemann:
Documenting and verifying systems assembled from components. Frontiers Comput. Sci. China 4(2): 151-161 (2010) - [j77]Lillian Chik-Parnas, Marius Dragomiroiu, David Lorge Parnas:
A family of computer systems for delivering individualized advice. Knowl. Based Syst. 23(7): 645-666 (2010) - [j76]Ying Jin, David Lorge Parnas:
Defining the meaning of tabular mathematical expressions. Sci. Comput. Program. 75(11): 980-1000 (2010) - [c84]David Lorge Parnas:
Precise Documentation: The Key to Better Software. The Future of Software Engineering 2010: 125-148 - [c83]Wenhui Zhu, David Lorge Parnas:
A documentation approach for the self-adaptive system design. SEKE 2010: 791-796 - [c82]David Lorge Parnas:
From Requirements to Architecture. SoMeT 2010: 3-36
2000 – 2009
- 2009
- [j75]David Lorge Parnas:
Document based rational software development. Knowl. Based Syst. 22(3): 132-141 (2009) - [j74]David Lorge Parnas, Bill Curtis:
Point/Counterpoint. IEEE Softw. 26(6): 56-59 (2009) - 2008
- [j73]Sergiy A. Vilkomir, David Lorge Parnas, Veena B. Mendiratta, Eamonn Murphy:
Computer systems availability evaluation using a segregated failures model. Qual. Reliab. Eng. Int. 24(4): 447-465 (2008) - [c81]Xin Feng, David Lorge Parnas, T. H. Tse
:
Fault Propagation in Tabular Expression-Based Specifications. COMPSAC 2008: 180-183 - [c80]David Lorge Parnas:
Connecting Good Theory to Good Practice: Software Documentation: A Case Study. Software Engineering 2008: 17-20 - 2007
- [j72]David Lorge Parnas:
Which is riskier: OS diversity or OS monopoly? Commun. ACM 50(8): 112 (2007) - [j71]David Lorge Parnas:
Stop the numbers game. Commun. ACM 50(11): 19-21 (2007) - [c79]David Lorge Parnas:
Resolving Dilemmas in Software Engineering Education. CSEE&T 2007 - [c78]David Lorge Parnas:
Document-driven Software Design - A Novel Approach that Should Not Be Novel. ENASE 2007: 7 - [c77]David Lorge Parnas, Sergiy A. Vilkomir:
Precise Documentation of Critical Software. HASE 2007: 237-244 - [c76]David Lorge Parnas:
Document-Driven Software Design: A Novel Approach That Should Not Be Novel. ICSOFT (PL/DPS/KE/MUSE) 2007: 7 - [c75]Baltasar Trancón y Widemann, David Lorge Parnas:
Tabular Expressions and Total Functional Programming. IFL 2007: 219-236 - [c74]David Lorge Parnas:
Precise software documentation: making object-orientation work better. OOPSLA Companion 2007: 725 - [c73]Steven Fraser
, Frederick P. Brooks Jr., Martin Fowler, Ricardo López, Aki Namioka, Linda M. Northrop, David Lorge Parnas, Dave A. Thomas:
"No silver bullet" reloaded: retrospective on "essence and accidents of software engineering". OOPSLA Companion 2007: 1026-1030 - [c72]David Lorge Parnas:
Software Product-Lines: What To Do When Enumaration Won't Work. VaMoS 2007: 9-14 - 2006
- [c71]Sergiy A. Vilkomir, David Lorge Parnas, Veena B. Mendiratta, Eamonn Murphy:
Segregated failures model for availability evaluation of fault-tolerant systems. ACSC 2006: 55-61 - [c70]Colm Quinn, Sergiy A. Vilkomir, David Lorge Parnas, Srdjan Kostic:
Specification of Software Component Requirements Using the Trace Function Method. ICSEA 2006: 50 - [c69]Vera Pantelic, Xiao-Hui Jin, Mark Lawford, David Lorge Parnas:
Inspection of Concurrent Systems: Combining Tables, Theorem Proving and Model Checking. Software Engineering Research and Practice 2006: 629-635 - [c68]David Lorge Parnas:
Component Interface Documentation: What do we Need and Why do we Need it? SoMeT 2006: 3-21 - 2005
- [j70]Peter J. Denning, Jim Horning, David Lorge Parnas, Lauren Weinstein:
Wikipedia risks. Commun. ACM 48(12): 152 (2005) - [j69]Markus Clermont, David Lorge Parnas:
Using information about functions in selecting test cases. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-7 (2005) - [j68]David Lorge Parnas, Lillian Chik-Parnas:
Goals for software engineering student education. ACM SIGSOFT Softw. Eng. Notes 30(4): 6-8 (2005) - [c67]Markus Clermont, David Lorge Parnas:
Using information about functions in selecting test cases. A-MOST 2005 - [c66]David Lorge Parnas:
Document Driven Disciplined Development of Software. Australian Software Engineering Conference 2005: 2-3 - [c65]Sergiy A. Vilkomir, David Lorge Parnas, Veena B. Mendiratta, Eamonn Murphy:
Availability Evaluation of Hardware/Software Systems with Several Recovery Procedures. COMPSAC (1) 2005: 473-478 - [c64]David Lorge Parnas:
A Family of Mathematical Methods for Professional Software Documentation. IFM 2005: 1-4 - [c63]Robert L. Baber, David Lorge Parnas, Sergiy A. Vilkomir, Paul Harrison, Tony O'Connor:
Disciplined Methods of Software Specification: A Case Study. ITCC (2) 2005: 428-437 - 2004
- [j67]Victor R. Basili, Barry W. Boehm, Al Davis, Watts S. Humphrey, Nancy G. Leveson, Nancy R. Mead, John D. Musa, David Lorge Parnas, Shari Lawrence Pfleeger, Elaine J. Weyuker:
New Year's Resolutions for Software Quality. IEEE Softw. 21(1): 12-13 (2004) - 2003
- [j66]David Lorge Parnas:
Structured programming: A minor part of software engineering. Inf. Process. Lett. 88(1-2): 53-58 (2003) - [j65]David Lorge Parnas, Mark Lawford:
Guest Editors' Introduction: Inspection's Role in Software Quality Assurance. IEEE Softw. 20(4): 16-20 (2003) - [j64]David Lorge Parnas, Mark Lawford:
The Role of Inspection in Software Quality Assurance. IEEE Trans. Software Eng. 29(8): 674-676 (2003) - [c62]David Lorge Parnas:
Software Inspections We Can Trust. FIDJI 2003: 153-154 - [c61]Premkumar T. Devanbu, Robert Balzer, Don S. Batory, Gregor Kiczales, John Launchbury, David Lorge Parnas, Peri L. Tarr:
Modularity in the New Millenium: A Panel Summary. ICSE 2003: 723-725 - [c60]David Lorge Parnas:
The Limits of Empirical Studies of Software Engineering. ISESE 2003: 2-7 - 2002
- [j63]David Lorge Parnas:
Licensing software engineers in Canada. Commun. ACM 45(11): 96-98 (2002) - [j62]Dennis K. Peters
, David Lorge Parnas:
Requirements-Based Monitors for Real-Time Systems. IEEE Trans. Software Eng. 28(2): 146-158 (2002) - [p4]David Lorge Parnas:
The Secret History of Information Hiding. Software Pioneers 2002: 398-409 - [p3]David Lorge Parnas:
On the Criteria To Be Used in Decomposing Systems into Modules (Reprint). Software Pioneers 2002: 411-427 - [p2]David Lorge Parnas:
On a 'Buzzword': Hierarchical Structure (Reprint). Software Pioneers 2002: 429-440 - 2001
- [j61]Peter G. Neumann, David Lorge Parnas:
Computers: boon or bane? Commun. ACM 44(3): 168 (2001) - [c59]David Lorge Parnas:
Software Documentation and the Verification Process. CAV 2001: 1 - [c58]H. Dieter Rombach, Manfred Broy, Michael Evangelist, Ali Mili, Leon J. Osterweil, David Lorge Parnas:
Software Engineering Research Agendas Panel (SERA): What Can't We Do, But Need to Learn How to Do? ICSE 2001: 698 - [c57]David Lorge Parnas:
Systematic Documentation of Requirements. RE 2001: 248 - [c56]David Lorge Parnas:
University Programmes in Software Development. SEUH 2001: 9-10 - [c55]David Lorge Parnas:
The Tabular Method for Relational Documentation. RelMiS 2001: 1-26 - [c54]Wolfram Kahl, David Lorge Parnas, Gunther Schmidt:
RelMiS 2001 - Preface. RelMiS 2001: 221-223 - [e1]Wolfram Kahl, David Lorge Parnas, Gunther Schmidt:
First International Workshop on Relational Methods in Software, RelMiS 2001, a Satellite Event of ETAPS 2001, Genova, Italy, April 7-8, 2001. Electronic Notes in Theoretical Computer Science 44(3), Elsevier 2001 [contents] - 2000
- [j60]Jia Xu, David Lorge Parnas:
Priority Scheduling Versus Pre-Run-Time Scheduling. Real Time Syst. 18(1): 7-23 (2000) - [c53]David Lorge Parnas:
Invited Talk: A Software Engineering Program of Lasting Value. AMAST 2000: 1 - [c52]David Lorge Parnas:
Making Mathematical Methods More Practical for Software Developers (Invited Talk). AMAST 2000: 9-10 - [c51]David Lorge Parnas:
The Use of Mathematics in Software Engineering. ICFEM 2000: 1 - [c50]David Lorge Parnas:
Requirements Documentation: Why a Formal Basis is Essential. ICRE 2000: 81-84 - [c49]David Lorge Parnas:
Two Positions on Licensing. ICRE 2000: 154 - [c48]Dennis K. Peters, David Lorge Parnas:
Requirements-based monitors for real-time systems. ISSTA 2000: 77-85
1990 – 1999
- 1999
- [j59]David Lorge Parnas:
Ten Myths About Y2K Inspections. Commun. ACM 42(5): 128 (1999) - [j58]David Lorge Parnas:
On code reuse. ACM SIGSOFT Softw. Eng. Notes 24(3): 4 (1999) - [j57]David Lorge Parnas:
Parnas on Parnas: a life of indecision. ACM SIGSOFT Softw. Eng. Notes 24(4): 47-49 (1999) - [j56]David Lorge Parnas:
Software Engineering Programs Are Not Computer Science Programs. IEEE Softw. 16(6): 19-30 (1999) - [c47]David Lorge Parnas, Dennis K. Peters:
An Easily Extensible Toolset for Tabular Mathematical Expressions. TACAS 1999: 345-359 - [c46]David Lorge Parnas:
Tools for Component Documentation, Analysis and Testing. TOOLS (30) 1999: 2 - [c45]David Lorge Parnas:
Systematic Techniques for Inspecting Critical Software. TOOLS (30) 1999: 410 - 1998
- [j55]David Lorge Parnas:
Software Engineering Programmes are not Computer Science Programmes. Ann. Softw. Eng. 6: 19-37 (1998) - [j54]David Lorge Parnas:
"Formal methods" technology transfer will fail. J. Syst. Softw. 40(3): 195-198 (1998) - [j53]David Lorge Parnas:
Successful software engineering research. ACM SIGSOFT Softw. Eng. Notes 23(3): 64-68 (1998) - [j52]David Lorge Parnas:
Who taught me about software engineering research? ACM SIGSOFT Softw. Eng. Notes 23(4): 26-28 (1998) - [j51]Dennis K. Peters
, David Lorge Parnas:
Using Test Oracles Generated from Program Documentation. IEEE Trans. Software Eng. 24(3): 161-173 (1998) - 1997
- [j50]David Lorge Parnas:
Software Engineering: An Unconsummated Marriage. Commun. ACM 40(9): 128 (1997) - [c44]David Lorge Parnas:
Teaching for Change. CSEE&T 1997: 174-175 - [c43]David Lorge Parnas:
Software Engineering: An Unconsummated Marriage (Extended Abstract). ESEC / SIGSOFT FSE 1997: 1-3 - [p1]Ryszard Janicki, David Lorge Parnas, Jeffery I. Zucker:
Tabular Representations in Relational Documents. Relational Methods in Computer Science 1997: 184-196 - 1996
- [j49]David Lorge Parnas:
Why Software Jewels Are Rare. Computer 29(2): 57-60 (1996) - [j48]Jonathan P. Bowen
, Ricky W. Butler, David L. Dill, Robert L. Glass, David Gries, Anthony Hall, Michael G. Hinchey, C. Michael Holloway, Daniel Jackson, Cliff B. Jones, Michael J. Lutz, David Lorge Parnas, John M. Rushby, Jeannette M. Wing, Pamela Zave:
An Invitation to Formal Methods. Computer 29(4): 16-30 (1996) - 1995
- [j47]David Lorge Parnas, Jan Madey:
Functional Documents for Computer Systems. Sci. Comput. Program. 25(1): 41-61 (1995) - [j46]David Lorge Parnas:
On ICSE's "most influential" papers. ACM SIGSOFT Softw. Eng. Notes 20(3): 29-32 (1995) - [c42]David Lorge Parnas:
Language-Free Mathematical Methods for Software Design. ZUM 1995: 3-4 - [c41]Anthony Hall, David Lorge Parnas, Nico Plat
, John M. Rushby, Chris T. Sennett:
The Future of Formal Methods in Industry. ZUM 1995: 237-242 - [c40]David Lorge Parnas:
Teaching Programming as Engineering. ZUM 1995: 471-481 - 1994
- [j45]Yabo Wang, David Lorge Parnas:
Simulating the Behavior of Software Modules by Trace Rewriting. IEEE Trans. Software Eng. 20(10): 750-759 (1994) - [j44]David Lorge Parnas, Jan Madey, Michal Iglewski:
Precise Documentation of Well-Structured Programs. IEEE Trans. Software Eng. 20(12): 948-976 (1994) - [c39]David Lorge Parnas:
Software Aging. ICSE 1994: 279-287 - [c38]David Lorge Parnas:
Inspection of Safety-Critical Software Using Program-Function Tables. IFIP Congress (3) 1994: 270-277 - [c37]David Lorge Parnas:
The Professional Responsibilities of Software Engineers. IFIP Congress (2) 1994: 332-339 - [c36]David Lorge Parnas:
Mathematical Description and Specification of Software. IFIP Congress (1) 1994: 354-359 - [c35]Dennis K. Peters
, David Lorge Parnas:
Generating a Test Oracle from Program Documentation (Work in Progress). ISSTA 1994: 58-65 - 1993
- [j43]Jia Xu, David Lorge Parnas:
On Satisfying Timing Constraints in Hard-Real-Time Systems. IEEE Trans. Software Eng. 19(1): 70-84 (1993) - [j42]Jia Xu, David Lorge Parnas:
Correction to "On Satisfying Timing Constraints in Hard-Real-Time Systems''. IEEE Trans. Software Eng. 19(3): 310 (1993) - [j41]David Lorge Parnas:
Predicate Logic for Software Engineering. IEEE Trans. Software Eng. 19(9): 856-862 (1993) - [c34]Yabo Wang, David Lorge Parnas:
Simulating the Behaviour of Software Modules by Trace Rewriting. ICSE 1993: 14-23 - [c33]Pierre-Jacques Courtois, David Lorge Parnas:
Documentation for Safety Critical Software. ICSE 1993: 315-323 - [c32]A. John van Schouwen, David Lorge Parnas, Jan Madey:
Documentation of requirements for computer systems. RE 1993: 198-207 - [c31]David Lorge Parnas:
Some Theorems We Should Prove. HUG 1993: 155-162 - 1992
- [c30]Yabo Wang, David Lorge Parnas:
Trace Rewriting Systems. CTRS 1992: 343-356 - [c29]Marcin Engel, Marcin Kubica, Jan Madey, David Lorge Parnas, Anders P. Ravn, A. John van Schouwen:
A Formal Approach to Computer Systems Requirements Documentation. Hybrid Systems 1992: 452-474 - 1991
- [c28]Jia Xu, David Lorge Parnas:
On satisfying timing constraints in hard-real-time systems. SIGSOFT 1991: 132-146 - 1990
- [j40]David Lorge Parnas, A. John van Schouwen, Shu Po Kwan:
Evaluation of Safety-Critical Software. Commun. ACM 33(6): 636-648 (1990) - [j39]David Lorge Parnas:
Education for Computing Professionals. Computer 23(1): 17-22 (1990) - [j38]David Lorge Parnas:
On Iterative Constructs. ACM Trans. Program. Lang. Syst. 12(1): 139-141 (1990) - [j37]Jia Xu, David Lorge Parnas:
Scheduling Processes with Release Times, Deadlines, Precedence, and Exclusion Relations. IEEE Trans. Software Eng. 16(3): 360-369 (1990) - [c27]David Lorge Parnas:
Functional Specifications for Old (and New) Software. GI Jahrestagung (1) 1990: 3-14 - [c26]David Lorge Parnas:
Education for Computing Professionals (Abstract). ICCI 1990: 2-3
1980 – 1989
- 1989
- [c25]David Lorge Parnas:
Documentation of Communications Services and Protocols. FORTE 1989: 277-280 - [c24]David Lorge Parnas:
On "Artificial Intelligence and Expert Systems - Myths, Legends, and Facts". IFIP Congress 1989: 1145-1146 - 1988
- [j36]Stuart R. Faulk, David Lorge Parnas:
On Synchronization in Hard-Real-Time Systems. Commun. ACM 31(3): 274-287 (1988) - 1987
- [j35]David Lorge Parnas:
Warum ich an SDI nicht mitarbeite: Eine Auffassung beruflicher Verantwortung. Inform. Spektrum 10(1): 3-10 (1987) - [j34]David Lorge Parnas, David M. Weiss:
Active design reviews: Principles and practices. J. Syst. Softw. 7(4): 259-265 (1987) - 1986
- [j33]David Lorge Parnas, Paul C. Clements:
A Rational Design Process: How and Why to Fake it. IEEE Trans. Software Eng. 12(2): 251-257 (1986) - [j32]David Lorge Parnas, Paul C. Clements:
Correction to "A Rational Design Process: How and Why to Fake It". IEEE Trans. Software Eng. 12(8): 874 (1986) - [c23]David Lorge Parnas:
Why We Would Never Trust the SDI Software. COMPCON 1986: 91-93 - 1985
- [j31]David Lorge Parnas:
Software Aspects of Strategic Defense Systems. Commun. ACM 28(12): 1326-1335 (1985) - [j30]David Lorge Parnas:
The Parnas papers. SIGCAS Comput. Soc. 14-15(4, 1-3): 27-37 (1985) - [j29]David Lorge Parnas:
Software aspects of strategic defense systems. ACM SIGSOFT Softw. Eng. Notes 10(5): 15-23 (1985) - [j28]David Lorge Parnas, Paul C. Clements, David M. Weiss:
The Modular Structure of Complex Systems. IEEE Trans. Software Eng. 11(3): 259-266 (1985) - [c22]David Lorge Parnas, David M. Weiss:
Active Design Reviews: Principles and Practices. ICSE 1985: 132-136 - [c21]David Lorge Parnas, Paul C. Clements:
A Rational Design Process: How and Why to Fake It. TAPSOFT, Vol.2 1985: 80-100 - 1984
- [c20]David Lorge Parnas, Paul C. Clements, David M. Weiss:
The Modular Structure of Complex Systems. ICSE 1984: 408-419 - 1983
- [j27]David Lorge Parnas:
A Technique for Software Module Specification with Examples (Reprint). Commun. ACM 26(1): 75-78 (1983) - [j26]David Lorge Parnas:
A Generalized Control Structure and Its Formal Definition. Commun. ACM 26(8): 572-581 (1983) - 1982
- [c19]John K. Dixon, John McLean, David Lorge Parnas:
Rapid prototyping by means of abstract module specifications written as trace axioms. Rapid Prototyping 1982: 45-49 - 1981
- [j25]David Lorge Parnas:
Lastig gepreek uit nuenen. ACM SIGSOFT Softw. Eng. Notes 6(3): 64-65 (1981) - [c18]K. H. Britton, R. A. Parker, David Lorge Parnas:
A Procedure for Designing Abstract Interfaces for Device Interface Modules. ICSE 1981: 195-206
1970 – 1979
- 1979
- [j24]David Lorge Parnas:
Designing Software for Ease of Extension and Contraction. IEEE Trans. Software Eng. 5(2): 128-138 (1979) - 1978
- [j23]David Lorge Parnas:
The non-problem of nested monitor calls. ACM SIGOPS Oper. Syst. Rev. 12(1): 12-18 (1978) - [j22]David Lorge Parnas:
Another view of the Dijkstra-dMLP controversy. ACM SIGSOFT Softw. Eng. Notes 3(4): 20-21 (1978) - [c17]Wolfram Bartussek, David Lorge Parnas:
Using assertions about traces to write abstract specifications for software modules. ECI 1978: 211-236 - [c16]David Lorge Parnas:
Designing Software for Ease of Extension and Contraction. ICSE 1978: 264-277 - 1977
- [j21]David Lorge Parnas:
Building reliable software in BLOWHARD. ACM SIGSOFT Softw. Eng. Notes 2(3): 5-6 (1977) - [j20]David Lorge Parnas:
ACM (Association of Carriage Manufacturers): SIGTRANS notices - another historical item. ACM SIGSOFT Softw. Eng. Notes 2(5): 6-7 (1977) - [c15]David Lorge Parnas:
The Use of Precise Specification in the Development of Software. IFIP Congress 1977: 861-867 - 1976
- [j19]David Lorge Parnas:
On the Design and Development of Program Families. IEEE Trans. Software Eng. 2(1): 1-9 (1976) - [j18]David Lorge Parnas, Georg Handzel, Harald Würges:
Design and Specification of the Minimal Subset of an Operating System Family. IEEE Trans. Software Eng. 2(4): 301-307 (1976) - [c14]David Lorge Parnas, Georg Handzel, Harald Würges:
Design and Specification of the Minimal Subset of an Operating System Family (Abstract). ICSE 1976: 123 - [c13]David Lorge Parnas, Harald Würges:
Response to Undesired Events in Software Systems. ICSE 1976: 437-446 - [c12]David Lorge Parnas, John E. Shore, David M. Weiss:
Abstract Types Defined as Classes of Variables. Conference on Data: Abstraction, Definition and Structure 1976: 149-153 - 1975
- [j17]David Lorge Parnas:
On a Solution to the Cigarette Smoker's Problem (Without Conditional Statements). Commun. ACM 18(3): 181-183 (1975) - [j16]Alan F. Babich, John Grason, David Lorge Parnas:
Significant Event Simulation. Commun. ACM 18(6): 323-329 (1975) - [j15]David Lorge Parnas, Daniel P. Siewiorek
:
Use of the Concept of Transparency in the Design of Hierarchically Structured Systems. Commun. ACM 18(7): 401-408 (1975) - [j14]David Lorge Parnas:
Evaluation criteria for abstract machines with unknown applications. SIGARCH Comput. Archit. News 4(3): 2-9 (1975) - [j13]David Lorge Parnas, John E. Shore, W. David Elliott:
On the need for fewer restrictions in changing compile-time environments. ACM SIGPLAN Notices 10(5): 29-36 (1975) - [c11]David Lorge Parnas:
The influence of software structure on reliability. Reliable Software 1975: 358-362 - 1974
- [j12]Lee W. Cooprider, F. Heymans, Pierre-Jacques Courtois, David Lorge Parnas:
Information Streams Sharing a Finite Buffer: Other Solutions. Inf. Process. Lett. 3(1): 16-21 (1974) - [c10]David Lorge Parnas:
Software Engineering or Methods for the Multi - Person Construction of Multi - Version Programs. Programming Methodology 1974: 225-235 - [c9]David Lorge Parnas:
On a 'Buzzword': Hierarchical Structure. IFIP Congress 1974: 336-339 - 1973
- [c8]David Lorge Parnas, William R. Price:
The design of the virtual memory aspects of a virtual machine. Workshop on Virtual Computer Systems 1973: 184-190 - 1972
- [j11]Pierre-Jacques Courtois, F. Heymans, David Lorge Parnas:
Comments on "A Comparison of Two Synchronizing Concepts by Per Brinch Hansen". Acta Informatica 1: 375-376 (1972) - [j10]David Lorge Parnas:
A Technique for Software Module Specification with Examples. Commun. ACM 15(5): 330-336 (1972) - [j9]David Lorge Parnas, A. Nico Habermann:
Comment on Deadlock Prevention Method. Commun. ACM 15(9): 840-841 (1972) - [j8]David Lorge Parnas:
On the Criteria To Be Used in Decomposing Systems into Modules. Commun. ACM 15(12): 1053-1058 (1972) - [c7]David Lorge Parnas:
Some conclusions from an experiment in software engineering techniques. AFIPS Fall Joint Computing Conference (1) 1972: 325-329 - [c6]David Lorge Parnas:
A course on software engineering techniques. SIGCSE 1972: 154-159 - 1971
- [j7]Pierre-Jacques Courtois, F. Heymans, David Lorge Parnas:
Concurrent Control with "Readers" and "Writers". Commun. ACM 14(10): 667-668 (1971) - [c5]David Lorge Parnas:
Information Distribution Aspects of Design Methodology. IFIP Congress (1) 1971: 339-344
1960 – 1969
- 1969
- [j6]David Lorge Parnas:
On simulating networks of parallel processes in which simultaneous events may occur. Commun. ACM 12(9): 519-531 (1969) - [c4]David Lorge Parnas:
On the use of transition diagrams in the design of a user interface for an interactive computer system. ACM National Conference 1969: 379-385 - [c3]David Lorge Parnas:
More on simulation languages and design methodology for computer systems. AFIPS Spring Joint Computing Conference 1969: 739-743 - 1968
- [j5]David Lorge Parnas:
Letters to the editor: on improving the quality of our technical meetings. Commun. ACM 11(8): 537-538 (1968) - 1967
- [c2]David Lorge Parnas, John A. Darringer:
SODAS and a methodology for system design. AFIPS Fall Joint Computing Conference 1967: 449-474 - 1966
- [j4]David Lorge Parnas:
A language for describing the functions of synchronous systems. Commun. ACM 9(2): 72-76 (1966) - [j3]David Lorge Parnas:
On the preliminary report of C3S. Commun. ACM 9(4): 242-243 (1966) - [j2]David Lorge Parnas:
On facilitating parallel and multiprocessing in ALGOL. Commun. ACM 9(4): 257 (1966) - [j1]David Lorge Parnas:
State table analysis of programs in an ALGOL-like language. Commun. ACM 9(7): 481 (1966) - [c1]David Lorge Parnas:
State table analysis of programs in an algo-like language. ACM National Conference 1966: 391-400
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-02 21:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint