David Lorge Parnas

Computer, 2021

2018

Software Structures: A Careful Look.

[BibT_eX]

[DOI]

IEEE Softw., 2018

2017

Software Systems Engineering programmes a capability approach.

[BibT_eX]

[DOI]

J. Syst. Softw., 2017

The real risks of artificial intelligence.

[BibT_eX]

[DOI]

Commun. ACM, 2017

2012

The use of mathematics in software quality assurance.

[BibT_eX]

[DOI]

Frontiers Comput. Sci. China, 2012

2011

A Comparison of Tabular Expression-Based Testing Strategies.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2011

Software Engineering - Missing in Action: A Personal Perspective.

[BibT_eX]

[DOI]

Computer, 2011

The risks of stopping too soon.

[BibT_eX]

[DOI]

Commun. ACM, 2011

The Use of Mathematics in Software Development - (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31, 2011

Software Engineering: Multi-person Development of Multi-version Programs.

[BibT_eX]

[DOI]

Proceedings of the Dependable and Historic Computing, 2011

2010

Defining the meaning of tabular mathematical expressions.

[BibT_eX]

[DOI]

Ying Jin

Sci. Comput. Program., 2010

A family of computer systems for delivering individualized advice.

[BibT_eX]

[DOI]

Lillian Chik-Parnas

Marius Dragomiroiu

Knowl. Based Syst., 2010

Documenting and verifying systems assembled from components.

[BibT_eX]

[DOI]

Zhiying Liu

Baltasar Trancón y Widemann

Frontiers Comput. Sci. China, 2010

Really Rethinking 'Formal Methods'.

[BibT_eX]

[DOI]

Computer, 2010

Risks of undisciplined development.

[BibT_eX]

[DOI]

Commun. ACM, 2010

From Requirements to Architecture.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2010

A documentation approach for the self-adaptive system design.

[BibT_eX]

Wenhui Zhu

Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

Precise Documentation: The Key to Better Software.

[BibT_eX]

[DOI]

Proceedings of the Future of Software Engineering., 2010

2009

Point/Counterpoint.

[BibT_eX]

[DOI]

Bill Curtis

IEEE Softw., 2009

Document based rational software development.

[BibT_eX]

[DOI]

Knowl. Based Syst., 2009

2008

Computer systems availability evaluation using a segregated failures model.

[BibT_eX]

[DOI]

Qual. Reliab. Eng. Int., 2008

Connecting Good Theory to Good Practice: Software Documentation: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2008. Fachtagung des GI-Fachbereichs Softwaretechnik, 2008

Fault Propagation in Tabular Expression-Based Specifications.

[BibT_eX]

[DOI]

Xin Feng

T. H. Tse

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007

Stop the numbers game.

[BibT_eX]

[DOI]

Commun. ACM, 2007

Which is riskier: OS diversity or OS monopoly?

[BibT_eX]

[DOI]

Commun. ACM, 2007

Software Product-Lines: What To Do When Enumaration Won't Work.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Variability Modelling of Software-Intensive Systems, 2007

Precise software documentation: making object-orientation work better.

[BibT_eX]

[DOI]

Baltasar Trancón y Widemann

Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

"No silver bullet" reloaded: retrospective on "essence and accidents of software engineering".

[BibT_eX]

[DOI]

Steven Fraser

Frederick P. Brooks Jr.

Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Tabular Expressions and Total Functional Programming.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Functional Languages, 2007

Precise Documentation of Critical Software.

[BibT_eX]

[DOI]

Sergiy A. Vilkomir

Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

Document-driven Software Design - A Novel Approach that Should Not Be Novel.

[BibT_eX]

Proceedings of the ENASE 2007, 2007

Resolving Dilemmas in Software Engineering Education.

[BibT_eX]

[DOI]

Proceedings of the 20th Conference on Software Engineering Education and Training (CSEE&T 2007), 2007

2006

Component Interface Documentation: What do we Need and Why do we Need it?

[BibT_eX]

[DOI]

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2006

Inspection of Concurrent Systems: Combining Tables, Theorem Proving and Model Checking.

[BibT_eX]

Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, 2006

Specification of Software Component Requirements Using the Trace Function Method.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), October 28, 2006

Segregated failures model for availability evaluation of fault-tolerant systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Science 2006, 2006

2005

Goals for software engineering student education.

[BibT_eX]

[DOI]

Lillian Chik-Parnas

ACM SIGSOFT Softw. Eng. Notes, 2005

Using information about functions in selecting test cases.

[BibT_eX]

[DOI]

Markus Clermont

ACM SIGSOFT Softw. Eng. Notes, 2005

Wikipedia risks.

[BibT_eX]

[DOI]

Commun. ACM, 2005

Disciplined Methods of Software Specification: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Information Technology: Coding and Computing (ITCC 2005), 2005

A Family of Mathematical Methods for Professional Software Documentation.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

Availability Evaluation of Hardware/Software Systems with Several Recovery Procedures.

[BibT_eX]

[DOI]

Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

Document Driven Disciplined Development of Software.

[BibT_eX]

[DOI]

Proceedings of the 16th Australian Software Engineering Conference (ASWEC 2005), 31 March, 2005

2004

New Year's Resolutions for Software Quality.

[BibT_eX]

[DOI]

Shari Lawrence Pfleeger

Elaine J. Weyuker

IEEE Softw., 2004

2003

The Role of Inspection in Software Quality Assurance.

[BibT_eX]

[DOI]

Mark Lawford

IEEE Trans. Software Eng., 2003

Guest Editors' Introduction: Inspection's Role in Software Quality Assurance.

[BibT_eX]

[DOI]

Mark Lawford

IEEE Softw., 2003

Structured programming: A minor part of software engineering.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2003

The Limits of Empirical Studies of Software Engineering.

[BibT_eX]

[DOI]

Proceedings of the 2003 International Symposium on Empirical Software Engineering (ISESE 2003), 30 September, 2003

Modularity in the New Millenium: A Panel Summary.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Software Engineering, 2003

Software Inspections We Can Trust.

[BibT_eX]

[DOI]

Proceedings of the Scientific Engineering of Distributed Java Applications, 2003

2002

Requirements-Based Monitors for Real-Time Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2002

Licensing software engineers in Canada.

[BibT_eX]

[DOI]

Commun. ACM, 2002

On a 'Buzzword': Hierarchical Structure (Reprint).

[BibT_eX]

[DOI]

Proceedings of the Software Pioneers., 2002

On the Criteria To Be Used in Decomposing Systems into Modules (Reprint).

[BibT_eX]

[DOI]

Proceedings of the Software Pioneers., 2002

The Secret History of Information Hiding.

[BibT_eX]

[DOI]

Proceedings of the Software Pioneers., 2002

2001

The Tabular Method for Relational Documentation.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Relational Methods in Software, 2001

RelMiS 2001 - Preface.

[BibT_eX]

[DOI]

Wolfram Kahl

Gunther Schmidt

Proceedings of the First International Workshop on Relational Methods in Software, 2001

Computers: boon or bane?

[BibT_eX]

[DOI]

Peter G. Neumann

Commun. ACM, 2001

University Programmes in Software Development.

[BibT_eX]

Proceedings of the Software Engineering im Unterricht der Hochschulen, 2001

Systematic Documentation of Requirements.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001

Software Engineering Research Agendas Panel (SERA): What Can't We Do, But Need to Learn How to Do?

[BibT_eX]

Proceedings of the 23rd International Conference on Software Engineering, 2001

Software Documentation and the Verification Process.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000

Priority Scheduling Versus Pre-Run-Time Scheduling.

[BibT_eX]

[DOI]

Real Time Syst., 2000

Two Positions on Licensing.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Requirements Engineering, 2000

Requirements Documentation: Why a Formal Basis is Essential.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Requirements Engineering, 2000

The Use of Mathematics in Software Engineering.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, 2000

Making Mathematical Methods More Practical for Software Developers (Invited Talk).

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

Invited Talk: A Software Engineering Program of Lasting Value.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

1999

Software Engineering Programs Are Not Computer Science Programs.

[BibT_eX]

[DOI]

IEEE Softw., 1999

Parnas on Parnas: a life of indecision.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1999

On code reuse.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1999

Ten Myths About Y2K Inspections.

[BibT_eX]

[DOI]

Commun. ACM, 1999

Systematic Techniques for Inspecting Critical Software.

[BibT_eX]

[DOI]

Proceedings of the TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software, 1999

Tools for Component Documentation, Analysis and Testing.

[BibT_eX]

[DOI]

Proceedings of the TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software, 1999

An Easily Extensible Toolset for Tabular Mathematical Expressions.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

1998

Using Test Oracles Generated from Program Documentation.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1998

Who taught me about software engineering research?

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1998

Successful software engineering research.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1998

"Formal methods" technology transfer will fail.

[BibT_eX]

[DOI]

J. Syst. Softw., 1998

Software Engineering Programmes are not Computer Science Programmes.

[BibT_eX]

[DOI]

Ann. Softw. Eng., 1998

1997

Software Engineering: An Unconsummated Marriage.

[BibT_eX]

[DOI]

Commun. ACM, 1997

Software Engineering: An Unconsummated Marriage (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Software Engineering, 1997

Teaching for Change.

[BibT_eX]

[DOI]

Proceedings of the Tenth Conference on Software Engineering Education and Training, 1997

Tabular Representations in Relational Documents.

[BibT_eX]

[DOI]

Ryszard Janicki

Jeffery I. Zucker

Proceedings of the Relational Methods in Computer Science., 1997

1996

Why Software Jewels Are Rare.

[BibT_eX]

[DOI]

Computer, 1996

An Invitation to Formal Methods.

[BibT_eX]

[DOI]

Computer, 1996

1995

On ICSE's "most influential" papers.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1995

Functional Documents for Computer Systems.

[BibT_eX]

[DOI]

Jan Madey

Sci. Comput. Program., 1995

Teaching Programming as Engineering.

[BibT_eX]

[DOI]

Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995

Language-Free Mathematical Methods for Software Design.

[BibT_eX]

[DOI]

Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995

The Future of Formal Methods in Industry.

[BibT_eX]

[DOI]

Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995

1994

Simulating the Behavior of Software Modules by Trace Rewriting.

[BibT_eX]

[DOI]

Yabo Wang

IEEE Trans. Software Eng., 1994

Precise Documentation of Well-Structured Programs.

[BibT_eX]

[DOI]

Jan Madey

Michal Iglewski

IEEE Trans. Software Eng., 1994

Generating a Test Oracle from Program Documentation (Work in Progress).

[BibT_eX]

[DOI]

Proceedings of the 1994 International Symposium on Software Testing and Analysis, 1994

Inspection of Safety-Critical Software Using Program-Function Tables.

[BibT_eX]

Proceedings of the Linkage and Developing Countries, Information Processing '94, Volume 3, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994

The Professional Responsibilities of Software Engineers.

[BibT_eX]

Proceedings of the Applications and Impacts, Information Processing '94, Volume 2, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994

Mathematical Description and Specification of Software.

[BibT_eX]

Proceedings of the Technology and Foundations - Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994

Software Aging.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Software Engineering, 1994

1993

<i>Correction to</i> "On Satisfying Timing Constraints in Hard-Real-Time Systems''.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1993

On Satisfying Timing Constraints in Hard-Real-Time Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1993

Predicate Logic for Software Engineering.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1993

Some Theorems We Should Prove.

[BibT_eX]

[DOI]

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993

Documentation of requirements for computer systems.

[BibT_eX]

[DOI]

A. John van Schouwen

Jan Madey

Proceedings of IEEE International Symposium on Requirements Engineering, 1993

Simulating the Behaviour of Software Modules by Trace Rewriting.

[BibT_eX]

[DOI]

Yabo Wang

Proceedings of the 15th International Conference on Software Engineering, 1993

Documentation for Safety Critical Software.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Software Engineering, 1993

1992

A Formal Approach to Computer Systems Requirements Documentation.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems, 1992

Trace Rewriting Systems.

[BibT_eX]

[DOI]

Yabo Wang

Proceedings of the Conditional Term Rewriting Systems, Third International Workshop, 1992

1990

Scheduling Processes with Release Times, Deadlines, Precedence, and Exclusion Relations.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1990

On Iterative Constructs.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1990

Education for Computing Professionals.

[BibT_eX]

[DOI]

Computer, 1990

Evaluation of Safety-Critical Software.

[BibT_eX]

[DOI]

A. John van Schouwen

Shu Po Kwan

Commun. ACM, 1990

Education for Computing Professionals (Abstract).

[BibT_eX]

Proceedings of the Advances in Computing and Information, 1990

Functional Specifications for Old (and New) Software.

[BibT_eX]

[DOI]

Proceedings of the GI, 1990

1989

On "Artificial Intelligence and Expert Systems - Myths, Legends, and Facts".

[BibT_eX]

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

Documentation of Communications Services and Protocols.

[BibT_eX]

Proceedings of the Formal Description Techniques, 1989

1988

On Synchronization in Hard-Real-Time Systems.

[BibT_eX]

[DOI]

Stuart R. Faulk

Commun. ACM, 1988

1987

Active design reviews: Principles and practices.

[BibT_eX]

[DOI]

David M. Weiss

J. Syst. Softw., 1987

Warum ich an SDI nicht mitarbeite: Eine Auffassung beruflicher Verantwortung.

[BibT_eX]

[DOI]

Inform. Spektrum, 1987

1986

Correction to "A Rational Design Process: How and Why to Fake It".

[BibT_eX]

[DOI]

Paul C. Clements

IEEE Trans. Software Eng., 1986

A Rational Design Process: How and Why to Fake it.

[BibT_eX]

[DOI]

Paul C. Clements

IEEE Trans. Software Eng., 1986

Why We Would Never Trust the SDI Software.

[BibT_eX]

Proceedings of the Spring COMPCON'86, 1986

1985

The Modular Structure of Complex Systems.

[BibT_eX]

[DOI]

Paul C. Clements

David M. Weiss

IEEE Trans. Software Eng., 1985

Software aspects of strategic defense systems.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1985

The Parnas papers.

[BibT_eX]

[DOI]

SIGCAS Comput. Soc., 1985

1983

A Generalized Control Structure and Its Formal Definition.

[BibT_eX]

[DOI]

Commun. ACM, 1983

A Technique for Software Module Specification with Examples (Reprint).

[BibT_eX]

[DOI]

Commun. ACM, 1983

1982

Rapid prototyping by means of abstract module specifications written as trace axioms.

[BibT_eX]

[DOI]

John K. Dixon

John McLean

Proceedings of the workshop on Rapid Prototyping, 1982

1981

Lastig gepreek uit nuenen.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1981

A Procedure for Designing Abstract Interfaces for Device Interface Modules.

[BibT_eX]

[DOI]

K. H. Britton

R. A. Parker

Proceedings of the 5th International Conference on Software Engineering, 1981

1979

Designing Software for Ease of Extension and Contraction.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1979

1978

Another view of the Dijkstra-dMLP controversy.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1978

The non-problem of nested monitor calls.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 1978

Using assertions about traces to write abstract specifications for software modules.

[BibT_eX]

[DOI]

Wolfram Bartussek

Proceedings of the Information Systems Methodology, 1978

1977

ACM (Association of Carriage Manufacturers): SIGTRANS notices - another historical item.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1977

Building reliable software in BLOWHARD.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1977

The Use of Precise Specification in the Development of Software.

[BibT_eX]

Proceedings of the Information Processing, 1977

1976

Design and Specification of the Minimal Subset of an Operating System Family.

[BibT_eX]

[DOI]

Georg Handzel

Harald Würges

IEEE Trans. Software Eng., 1976

On the Design and Development of Program Families.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1976

Abstract Types Defined as Classes of Variables.

[BibT_eX]

[DOI]

John E. Shore

David M. Weiss

Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, 1976

Response to Undesired Events in Software Systems.

[BibT_eX]

[DOI]

Harald Würges

Proceedings of the 2nd International Conference on Software Engineering, 1976

Design and Specification of the Minimal Subset of an Operating System Family (Abstract).

[BibT_eX]

[DOI]

Georg Handzel

Harald Würges

Proceedings of the 2nd International Conference on Software Engineering, 1976

1975

On the need for fewer restrictions in changing compile-time environments.

[BibT_eX]

[DOI]

John E. Shore

W. David Elliott

ACM SIGPLAN Notices, 1975

Evaluation criteria for abstract machines with unknown applications.

[BibT_eX]

[DOI]

SIGARCH Comput. Archit. News, 1975

Use of the Concept of Transparency in the Design of Hierarchically Structured Systems.

[BibT_eX]

[DOI]

Daniel P. Siewiorek

Commun. ACM, 1975

On a Solution to the Cigarette Smoker's Problem (Without Conditional Statements).

[BibT_eX]

[DOI]

Commun. ACM, 1975

Significant Event Simulation.

[BibT_eX]

[DOI]

Alan F. Babich

John Grason

Commun. ACM, 1975

The influence of software structure on reliability.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Reliable Software 1975, 1975

1974

Information Streams Sharing a Finite Buffer: Other Solutions.

[BibT_eX]

[DOI]

Lee W. Cooprider

F. Heymans

Inf. Process. Lett., 1974

On a 'Buzzword': Hierarchical Structure.

[BibT_eX]

Proceedings of the Information Processing, 1974

Software Engineering or Methods for the Multi - Person Construction of Multi - Version Programs.

[BibT_eX]

[DOI]

Proceedings of the Programming Methodology, 4th Informatik Symposium, 1974

1973

The design of the virtual memory aspects of a virtual machine.

[BibT_eX]

[DOI]

William R. Price

Proceedings of the Workshop on Virtual Computer Systems, 1973

1972

Comment on Deadlock Prevention Method.

[BibT_eX]

[DOI]

A. Nico Habermann

Commun. ACM, 1972

On the Criteria To Be Used in Decomposing Systems into Modules.

[BibT_eX]

[DOI]

Commun. ACM, 1972

A Technique for Software Module Specification with Examples.

[BibT_eX]

[DOI]

Commun. ACM, 1972

Comments on "A Comparison of Two Synchronizing Concepts by Per Brinch Hansen".

[BibT_eX]

[DOI]

F. Heymans

Acta Informatica, 1972

A course on software engineering techniques.

[BibT_eX]

[DOI]

Proceedings of the 2nd SIGCSE Technical Symposium on Computer Science Education, 1972

Some conclusions from an experiment in software engineering techniques.

[BibT_eX]

[DOI]

Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '72 Fall Joint Computer Conference, December 5-7, 1972, Anaheim, California, USA, 1972

1971

Concurrent Control with "Readers" and "Writers".

[BibT_eX]

[DOI]

F. Heymans

Commun. ACM, 1971

Information Distribution Aspects of Design Methodology.

[BibT_eX]