David Lorge Parnas - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'David Lorge Parnas' as author, editor, or advisor:

Evaluation criteria for abstract machines with unknown applicationsDavid Lorge Parnas. sigarch, 4(3):2-9, 1975. [doi]
Building reliable software in BLOWHARDDavid Lorge Parnas. sigsoft, 2(3):5-6, 1977. [doi]
The real risks of artificial intelligenceDavid Lorge Parnas. CACM, 60(10):27-31, 2017. [doi]
A course on software engineering techniquesDavid Lorge Parnas. sigcse 1972: 154-159 [doi]
Parnas on Parnas: a life of indecisionDavid Lorge Parnas. sigsoft, 24(4):47-49, 1999. [doi]
Really Rethinking Formal Methods David Lorge Parnas. Computer, 43(1):28-34, 2010. [doi]
The influence of software structure on reliabilityDavid Lorge Parnas. relsoft 1975: 358-362 [doi]
Software Engineering - Missing in Action: A Personal PerspectiveDavid Lorge Parnas. Computer, 44(10):54-58, 2011. [doi]
From Requirements to ArchitectureDavid Lorge Parnas. somet 2010: 3-36 [doi]
Tabular Representations in Relational DocumentsRyszard Janicki, David Lorge Parnas, Jeffery I. Zucker. In Chris Brink, Wolfram Kahl, Gunther Schmidt 0001, editors, Relational Methods in Computer Science. Advances in computing science, pages 184-196, Springer, 1997. [doi]
State table analysis of programs in an ALGOL-like languageDavid Lorge Parnas. CACM, 9(7):481, 1966. [doi]
ACM (Association of Carriage Manufacturers): SIGTRANS notices - another historical itemDavid Lorge Parnas. sigsoft, 2(5):6-7, 1977. [doi]
Software Engineering: Multi-person Development of Multi-version ProgramsDavid Lorge Parnas. BIRTHDAY 2011: 413-427 [doi]
Successful software engineering researchDavid Lorge Parnas. sigsoft, 23(3):64-68, 1998. [doi]
Documenting and verifying systems assembled from componentsZhiying Liu, David Lorge Parnas, Baltasar Trancón-y-Widemann. fcsc, 4(2):151-161, 2010. [doi]
A family of computer systems for delivering individualized adviceLillian Chik-Parnas, Marius Dragomiroiu, David Lorge Parnas. kbs, 23(7):645-666, 2010. [doi]
The Use of Mathematics in Software Development - (Extended Abstract)David Lorge Parnas. ictac 2011: 4-5 [doi]
On satisfying timing constraints in hard-real-time systemsJia Xu, David Lorge Parnas. FSE 1991: 132-146 [doi]
The design of the virtual memory aspects of a virtual machineDavid Lorge Parnas, William R. Price. wvcs 1973: 184-190 [doi]
The risks of stopping too soonDavid Lorge Parnas. CACM, 54(6):31-33, 2011. [doi]
Precise Documentation: The Key to Better SoftwareDavid Lorge Parnas. BIRTHDAY 2011: 125-148 [doi]
Lastig gepreek uit nuenenDavid Lorge Parnas. sigsoft, 6(3):64-65, 1981. [doi]
The Secret History of Information HidingDavid Lorge Parnas. In Manfred Broy, Ernst Denert, editors, Software Pioneers. pages 398-409, Springer Berlin Heidelberg, 2002. [doi]
On the Criteria To Be Used in Decomposing Systems into Modules (Reprint)David Lorge Parnas. In Manfred Broy, Ernst Denert, editors, Software Pioneers. pages 411-427, Springer Berlin Heidelberg, 2002. [doi]
The non-problem of nested monitor callsDavid Lorge Parnas. sigops, 12(1):12-18, 1978. [doi]
Rapid prototyping by means of abstract module specifications written as trace axiomsJohn K. Dixon, John McLean, David Lorge Parnas. rpr 1982: 45-49 [doi]
On the use of transition diagrams in the design of a user interface for an interactive computer systemDavid Lorge Parnas. acm 1969: 379-385 [doi]
Teaching for ChangeDavid Lorge Parnas. csee 1997: 174-175 [doi]
Software Systems Engineering programmes a capability approachCarl Landwehr, Jochen Ludewig, Robert Meersman, David Lorge Parnas, Peretz Shoval, Yair Wand, David M. Weiss, Elaine J. Weyuker. jss, 125:354-364, 2017. [doi]
Software aspects of strategic defense systemsDavid Lorge Parnas. sigsoft, 10(5):15-23, 1985. [doi]
First International Workshop on Relational Methods in Software, RelMiS 2001, a Satellite Event of ETAPS 2001, Genova, Italy, April 7-8, 2001Wolfram Kahl, David Lorge Parnas, Gunther Schmidt 0001, editors, Volume 44 of Electronic Notes in Theoretical Computer Science, Elsevier, 2001. [doi]
A Comparison of Tabular Expression-Based Testing StrategiesXin Feng, David Lorge Parnas, T. H. Tse, Tony O'Callaghan. TSE, 37(5):616-634, 2011. [doi]
Some conclusions from an experiment in software engineering techniquesDavid Lorge Parnas. afips 1972: 325-329 [doi]
Software Engineering: A Profession in WaitingDavid Lorge Parnas. Computer, 54(5):62-64, 2021. [doi]
Defining the meaning of tabular mathematical expressionsYing Jin, David Lorge Parnas. SCP, 75(11):980-1000, 2010. [doi]
More on simulation languages and design methodology for computer systemsDavid Lorge Parnas. afips 1968: 739-743 [doi]
Document-driven Software Design - A Novel Approach that Should Not Be NovelDavid Lorge Parnas. ENASE 2007: 7
On the need for fewer restrictions in changing compile-time environmentsDavid Lorge Parnas, John E. Shore, W. David Elliott. SIGPLAN, 10(5):29-36, 1975. [doi]
Risks of undisciplined developmentDavid Lorge Parnas. CACM, 53(10):25-27, 2010. [doi]
The use of mathematics in software quality assuranceDavid Lorge Parnas. fcsc, 6(1):3-16, 2012. [doi]
On code reuseDavid Lorge Parnas. sigsoft, 24(3):4, 1999. [doi]
Who taught me about software engineering research?David Lorge Parnas. sigsoft, 23(4):26-28, 1998. [doi]
State table analysis of programs in an algo-like languageDavid Lorge Parnas. acm 1966: 391-400 [doi]
On a 'Buzzword': Hierarchical Structure (Reprint)David Lorge Parnas. In Manfred Broy, Ernst Denert, editors, Software Pioneers. pages 429-440, Springer Berlin Heidelberg, 2002. [doi]
Software Structures: A Careful LookDavid Lorge Parnas. IEEE Software, 35(6):68-71, 2018. [doi]
On ICSE's "most influential" papersDavid Lorge Parnas. sigsoft, 20(3):29-32, 1995. [doi]
Documentation of requirements for computer systemsA. John van Schouwen, David Lorge Parnas, Jan Madey. RE 1993: 198-207 [doi]
SODAS and a methodology for system designDavid Lorge Parnas, John A. Darringer. afips 1967: 449-474 [doi]
The Parnas papersDavid Lorge Parnas. sigcas, 14-15(4, 1-3):27-37, 1985. [doi]
Another view of the Dijkstra-dMLP controversyDavid Lorge Parnas. sigsoft, 3(4):20-21, 1978. [doi]
A documentation approach for the self-adaptive system designWenhui Zhu, David Lorge Parnas. seke 2010: 791-796

runs on WebDSL