☰

D L. Parnas - Publications

Affiliations: 
McMaster University, Hamilton, ON, Canada 
Area:
Computer Science
Tree Info Similar researchers PubMed Report error

55 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2018 Parnas DL. Software Structures: A Careful Look Ieee Software. 35: 68-71. DOI: 10.1109/Ms.2018.4321239  0.34
2017 Landwehr C, Ludewig J, Meersman R, Parnas DL, Shoval P, Wand Y, Weiss D, Weyuker E. Software Systems Engineering programmes a capability approach Journal of Systems and Software. 125: 354-364. DOI: 10.1016/J.Jss.2016.12.016  0.415
2012 Parnas DL. The use of mathematics in software quality assurance Frontiers of Computer Science in China. 6: 3-16. DOI: 10.1007/S11704-012-2904-2  0.378
2011 Parnas DL. Inside risks: The risks of stopping too soon Communications of the Acm. 54: 31-33. DOI: 10.1145/1953122.1953136  0.322
2011 Parnas D. Software Engineering - Missing in Action: A Personal Perspective Ieee Computer. 44: 54-58. DOI: 10.1109/Mc.2011.268  0.389
2010 Parnas DL. Inside risks: Risks of undisciplined development Communications of the Acm. 53: 25-27. DOI: 10.1145/1831407.1831419  0.307
2010 Parnas DL. Really rethinking 'formal methods' Computer. 43: 28-34. DOI: 10.1109/Mc.2010.22  0.347
2010 Chik-Parnas L, Dragomiroiu M, Parnas DL. A family of computer systems for delivering individualized advice Knowledge-Based Systems. 23: 645-666. DOI: 10.1016/J.Knosys.2010.02.007  0.325
2010 Liu Z, Parnas DL, Widemann BTy. Documenting and verifying systems assembled from components Frontiers of Computer Science in China. 4: 151-161. DOI: 10.1007/S11704-010-0026-2  0.363
2009 Parnas DL. Document based rational software development Knowledge-Based Systems. 22: 132-141. DOI: 10.1016/J.Knosys.2008.11.001  0.392
2007 Parnas DL. Which is riskier: OS diversity or OS monopoly? Communications of the Acm. 50: 112. DOI: 10.1145/1278201.1278232  0.334
2006 Parnas DL. Component interface documentation what do we need and why do we need it? Proceedings of 5th International Conference On New Trends in Software Methodologies, Tools and Techniques, Somet_06.  0.301
2003 Parnas DL, Lawford M. The role of inspection in software quality assurance Ieee Transactions On Software Engineering. 29: 674-676. DOI: 10.1109/Tse.2003.1223642  0.351
2003 Parnas DL, Lawford M. Inspection's role in software quality assurance Ieee Software. 20: 16-20. DOI: 10.1109/Ms.2003.1207449  0.31
2003 Parnas DL. The tabular method for relational documentation Electronic Notes in Theoretical Computer Science. 44: 5-30. DOI: 10.1016/S1571-0661(04)80930-7  0.386
2003 Parnas DL. Structured programming: A minor part of software engineering Information Processing Letters. 88: 53-58. DOI: 10.1016/S0020-0190(03)00389-2  0.394
2002 Parnas DL. Licensing software engineers in Canada Communications of the Acm. 45: 96-98. DOI: 10.1145/581571.581605  0.35
2001 Parnas D. Systematic documentation of requirements Requirements Engineering. 248. DOI: 10.1109/Isre.2001.948565  0.313
2000 Peters DK, Parnas DL. Requirements-based monitors for real-time systems Proceedings of the Acm Sigsoft 2000 International Symposium On Software Testing and Analysis. 77-85. DOI: 10.1109/32.988496  0.541
1999 Parnas DL. Software engineering programs are not computer science programs Ieee Software. 16: 19-30. DOI: 10.1109/52.805469  0.336
1999 Parnas DL, Peters DK. An easily extensible toolset for tabular mathematical expressions Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1579: 345-359.  0.507
1998 Parnas DL. Who taught me about software engineering research Acm Sigsoft Software Engineering Notes. 23: 26-28. DOI: 10.1145/286366.286372  0.333
1998 Peters DK, Parnas DL. Using test oracles generated from program documentation Ieee Transactions On Software Engineering. 24: 161-173. DOI: 10.1109/32.667877  0.562
1998 Parnas DL. Software engineering programmes are not computer science programmes Annals of Software Engineering. 6: 19-37. DOI: 10.1023/A:1018949113292  0.336
1997 Parnas DL. Software engineering: An unconsummated marriage Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1301: 1-3. DOI: 10.1145/260750.260784  0.311
1996 Parnas DL. Why software jewels are rare Computer. 29: 57-60. DOI: 10.1109/2.485847  0.414
1995 Parnas DL. On ICSE's “most influential” papers Acm Sigsoft Software Engineering Notes. 20: 29-32. DOI: 10.1145/219308.219312  0.364
1995 Parnas DL, Madey J. Functional documents for computer systems Science of Computer Programming. 25: 41-61. DOI: 10.1016/0167-6423(95)96871-J  0.369
1995 Parnas DL. A logic for describing, not verifying, software Erkenntnis. 43: 321-338. DOI: 10.1007/Bf01135377  0.342
1994 Wang Y, Parnas Dl. Simulating the Behavior of Software Modules by Trace Rewriting Ieee Transactions On Software Engineering. 20: 750-759. DOI: 10.1109/32.328996  0.31
1993 Schouwen AJv, Parnas DL, Madey J. Documentation of requirements for computer systems Requirements Engineering. 198-207. DOI: 10.1109/Isre.1993.324857  0.379
1993 Parnas DL. Predicate Logic for Software Engineering Ieee Transactions On Software Engineering. 19: 856-862. DOI: 10.1109/32.241769  0.398
1991 Parnas DL, Asmis GJK, Madey J. Assessment of safety-critical software in nuclear power plants Nuclear Safety. 32: 189-198.  0.314
1990 Parnas DL, van Schouwen AJ, Kwan SP. Evaluation of Safety-Critical Software Communications of the Acm. 33: 636-648. DOI: 10.1145/78973.78974  0.351
1990 Parnas DL. On Iterative Constructs Acm Transactions On Programming Languages and Systems (Toplas). 12: 139-141. DOI: 10.1145/77606.214517  0.328
1988 Faulk SR, Parnas DL. On synchronization in hard-real-time systems Communications of the Acm. 31: 274-287. DOI: 10.1145/42392.42397  0.384
1988 Parnas DL. Why Engineers Should Not Use Artificial Intelligence Infor. 26: 234-246. DOI: 10.1080/03155986.1988.11732068  0.305
1987 Parnas DL, Weiss DM. Active design reviews: Principles and practices The Journal of Systems and Software. 7: 259-265. DOI: 10.1016/0164-1212(87)90025-2  0.314
1986 Parnas DL, Clements PC. A Rational Design Process: How and Why to Fake It Ieee Transactions On Software Engineering. 251-257. DOI: 10.1109/Tse.1986.6312940  0.352
1985 Parnas DL. Software aspects of strategic defense systems Communications of the Acm. 28: 1326-1335. DOI: 10.1145/214956.214961  0.325
1985 Parnas DL, Clements PC, Weiss DM. The Modular Structure of Complex Systems Ieee Transactions On Software Engineering. 259-266. DOI: 10.1109/Tse.1985.232209  0.426
1984 Parnas DL. Software Engineering Principles Infor. 22: 303-316. DOI: 10.1080/03155986.1984.11731932  0.424
1983 Parnas DL. A generalized control structure and its formal definition Communications of the Acm. 26: 572-581. DOI: 10.1145/358161.358168  0.302
1983 Parnas DL. A Technique for Software Module Specification with Examples Communications of the Acm. 26: 75-78. DOI: 10.1145/355602.361309  0.385
1982 Dixon JK, McLean J, Parnas DL. Rapid prototyping by means of abstract module specifications written as trace axioms Acm Sigsoft Software Engineering Notes. 7: 45-49. DOI: 10.1145/1006258.1006267  0.34
1981 Hester SD, Parnas DL, Utter DF. Using Documentation as a Software Design Medium Bell System Technical Journal. 60: 1941-1977. DOI: 10.1002/J.1538-7305.1981.Tb00304.X  0.348
1979 Parnas DL. Designing Software for Ease of Extension and Contraction Ieee Transactions On Software Engineering. 128-138. DOI: 10.1109/Tse.1979.234169  0.41
1977 Parnas DL. Building reliable software in BLOWHARD Acm Sigsoft Software Engineering Notes. 2: 5-6. DOI: 10.1145/1012319.1012320  0.356
1976 Parnas DL, Handzel G, Würges H. Design and Specification of the Minimal Subset of an Operating System Family Ieee Transactions On Software Engineering. 301-307. DOI: 10.1109/Tse.1976.233836  0.335
1976 Parnas DL. On the Design and Development of Program Families Ieee Transactions On Software Engineering. 1-9. DOI: 10.1109/Tse.1976.233797  0.327
1975 Parnas DL, Shore JE, Elliott WD. On the need for fewer restrictions in changing compile-time environments Acm Sigplan Notices. 10: 29-36. DOI: 10.1145/954598.954601  0.322
1975 Parnas DL. The influence of software structure on reliability Acm Sigplan Notices. 10: 358-362. DOI: 10.1145/390016.808458  0.367
1975 Parnas DL, Siewiorek DP. Use of the Concept of Transparency in the Design of Hierarchically Structured Systems Communications of the Acm. 18: 401-408. DOI: 10.1145/360881.360913  0.399
1972 Parnas DL. On the criteria to be used in decomposing systems into modules Communications of the Acm. 15: 1053-1058. DOI: 10.1145/361598.361623  0.356
1966 Parnas DL. A language for describing the functions of synchronous systems Communications of the Acm. 9: 72-76. DOI: 10.1145/365170.365176  0.334
Show low-probability matches.