Author: David Lorge Parnas

Publications

Co-authors

Daniel P. Siewiorek

1

A. John van Schouwen

1

Shu Po Kwan

1

Productive Colleagues

Robert L. Glass

48

Peter J. Denning

64

Peter G. Neumann

105

Publications

Denning, Peter J., Horning, Jim, Parnas, David Lorge, Weinstein, Lauren (2005): Wikipedia risks. In Communications of the ACM, 48 (12) pp. 152. https://dl.acm.org/doi/10.1145/1101779.1101804

Parnas, David Lorge (2002): Licensing software engineers in Canada. In Communications of the ACM, 45 (11) pp. 96-98. https://dl.acm.org/doi/10.1145/581571.581605

Neumann, Peter G., Parnas, David Lorge (2001): Computers: boon or bane?. In Communications of the ACM, 44 (3) pp. 168. https://dl.acm.org/doi/10.1145/365181.367913

Parnas, David Lorge (1999): Ten Myths About Y2K Inspections. In Communications of the ACM, 42 (5) pp. 128. https://dl.acm.org/doi/10.1145/301353.301442

Parnas, David Lorge (1997): Software Engineering: An Unconsummated Marriage. In Communications of the ACM, 40 (9) pp. 128.

Bowen, Jonathan P., Butler, Ricky W., Dill, David L., Glass, Robert L., Gries, David, Hall, Anthony, Hinchey, Michael G., Holloway, C. Michael, Jackson, Daniel, Jones, Cliff B., Lutz, Michael J., Parnas, David Lorge, Rushby, John M., Wing, Jeannette M., Zave, Pamela (1996): An Invitation to Formal Methods. In IEEE Computer, 29 (4) pp. 16-30.

Parnas, David Lorge (1996): Why Software Jewels Are Rare. In IEEE Computer, 29 (2) pp. 57-60.

Parnas, David Lorge (1990): Education for Computing Professionals. In IEEE Computer, 23 (1) pp. 17-22.

Parnas, David Lorge, Schouwen, A. John van, Kwan, Shu Po (1990): Evaluation of Safety-Critical Software. In Communications of the ACM, 33 (6) pp. 636-648.

Faulk, Stuart R., Parnas, David Lorge (1988): On Synchronization in Hard-Real-Time Systems. In Communications of the ACM, 31 (3) pp. 274-287.

Parnas, David Lorge (1985): Software Aspects of Strategic Defense Systems. In Communications of the ACM, 28 (12) pp. 1326-1335.

Parnas, David Lorge (1983): A Technique for Software Module Specification with Examples (Reprint). In Communications of the ACM, 26 (1) pp. 75-78.

Parnas, David Lorge (1983): A Generalized Control Structure and Its Formal Definition. In Communications of the ACM, 26 (8) pp. 572-581.

Babich, Alan F., Grason, John, Parnas, David Lorge (1975): Significant Event Simulation. In Communications of the ACM, 18 (6) pp. 323-329.

Parnas, David Lorge (1975): On a Solution to the Cigarette Smoker\'s Problem (Without Conditional Statements). In Communications of the ACM, 18 (3) pp. 181-183.

Parnas, David Lorge, Siewiorek, Daniel P. (1975): Use of the Concept of Transparency in the Design of Hierarchically Structured Systems. In Communications of the ACM, 18 (7) pp. 401-408.

Parnas, David Lorge (1972): A Technique for Software Module Specification with Examples. In Communications of the ACM, 15 (5) pp. 330-336.

Parnas, David Lorge (1972): On the Criteria To Be Used in Decomposing Systems into Modules. In Communications of the ACM, 15 (12) pp. 1053-1058.

Parnas, David Lorge, Habermann, A. Nico (1972): Comment on Deadlock Prevention Method. In Communications of the ACM, 15 (9) pp. 840-841.

Courtois, Pierre-Jacques, Heymans, F., Parnas, David Lorge (1971): Concurrent Control with \"Readers\" and \"Writers. In Communications of the ACM, 14 (10) pp. 667-668.

Parnas, David Lorge (1969): On simulating networks of parallel processes in which simultaneous events may occur. In Communications of the ACM, 12 (9) pp. 519-531. https://dl.acm.org/doi/10.1145/363219.363233

Parnas, David Lorge (1968): Letters to the editor: on improving the quality of our technical meetings. In Communications of the ACM, 11 (8) pp. 537-538. https://dl.acm.org/doi/10.1145/363567.363568

Parnas, David Lorge (1966): A language for describing the functions of synchronous systems. In Communications of the ACM, 9 (2) pp. 72-76. https://dl.acm.org/doi/10.1145/365170.365176

Parnas, David Lorge (1966): On the preliminary report of C3S. In Communications of the ACM, 9 (4) pp. 242-243. https://dl.acm.org/doi/10.1145/365278.365285

Parnas, David Lorge (1966): On facilitating parallel and multiprocessing in ALGOL. In Communications of the ACM, 9 (4) pp. 257. https://dl.acm.org/doi/10.1145/365278.365287

Parnas, David Lorge (2001): Systematic Documentation of Requirements. In: 5th IEEE International Symposium on Requirements Engineering RE 2001 27-31 August, 2001, Toronto, Canada. pp. 248. https://csdl.computer.org/comp/proceedings/re/2001/1125/00/11250248abs.htm

Parnas, David Lorge (2003): The Limits of Empirical Studies of Software Engineering. In: ISESE 2003 - International Symposium on Empirical Software Engineering 30 September - 1 October, 2003, Rome, Italy. pp. 2-7. https://csdl.computer.org/comp/proceedings/isese/2003/2002/00/20020002abs.htm

Parnas, David Lorge (2000): Requirements Documentation: Why a Formal Basis is Essential. In: ICRE 2000 , 2000, . pp. 81-84. https://csdl.computer.org/comp/proceedings/icre/2000/0565/00/05650081abs.htm

Parnas, David Lorge (2000): Two Positions on Licensing. In: ICRE 2000 , 2000, . pp. 154. https://csdl.computer.org/comp/proceedings/icre/2000/0565/00/05650154abs.htm