Applying 'design by contract'

1992/10/01 by Bertrand Meyer, B. Meyer · 37 citations
Computer Science · #Logic, programming, and type systems #Software Engineering Research #Advanced Software Engineering Methodologies

paper · doi:10.1109/2.161279

Abstract

Methodological guidelines for object-oriented software construction that improve the reliability of the resulting software systems are presented. It is shown that the object-oriented techniques rely on the theory of design by contract, which underlies the design of the Eiffel analysis, design, and programming language and of the supporting libraries, from which a number of examples are drawn. The theory of contract design and the role of assertions in that theory are discussed.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">&gt;</ETX>

Cited by

• A manifesto for applicable formal methods
• Experience Report on Formally Verifying Parts of OpenJDK's API with KeY
• A Compositional Approach to Verifying Modular Robotic Systems
• Automating structural reliability analysis with a multi-agent large language model framework
• Specification-Driven Development as the Foundation of AI-Native Enterprise Software Engineering
• Faithful Autoformalization of Natural Language Assertions
• Semantic Properties for Lightweight Specification in Knowledgeable Development Environments
• Specification-Driven DevOps for Multi-Service Environments
• Safe Integration of Annotated Components in Open Source Projects
• Checking the HAL Interface Specification Continuously, Right from the Start
• Weakest Preconditions and Cumulative Subgoal Fulfillment: A Comparison
• Verifying Contracts for Perturbed Control Systems using Linear Programming
• Automated Debugging In Java Using OCL And JDI
• SurvBench: A Standardised Preprocessing Pipeline for Multi-Modal Electronic Health Record Survival Analysis
• Refinement Calculus of Reactive Systems
• State Field Coverage: A Metric for Oracle Quality
• FLAMES: Fine-tuning LLMs to Synthesize Invariants for Smart Contract Security
• Weakening Goals in Logical Specifications
• When Abstraction Breaks Physics: Rethinking Modular Design in Quantum Software
• Beyond Postconditions: Can Large Language Models infer Formal Contracts for Automatic Software Verification?
• Do Large Language Models Respect Contracts? Evaluating and Enforcing Contract-Adherence in Code Generation
• OCL contracts for the verification of model transformations
• Moldable Exceptions
• A refinement-based approach to safe smart contract deployment and evolution
• Formalizing smart contract design patterns with DCR graphs
• Extending Design by Contract for Aspect-Oriented Programming
• A Generic Model of Contracts for Embedded Systems
• Jartege: a Tool for Random Generation of Unit Tests for Java Classes
• Uncovering Systematic Failures of LLMs in Verifying Code Against Natural Language Specifications
• Solving Financial Regulatory Compliance Using Software Contracts
• A DbC Inspired Neurosymbolic Layer for Trustworthy Agent Design
• A Design Recipe and Recipe-Based Errors for Regular Expressions
• Methods for enhancing the reproducibility of biomedical research findings using electronic health records. [europepmc]
• Information-flow interfaces. [europepmc]
• A Scalable Approach to IoT Interoperability: The Share Pattern. [europepmc]
• ChemTorch: A Deep Learning Framework for Benchmarking and Developing Chemical Reaction Property Prediction Models. [europepmc]
• An Abstract Contract Theory for Programs with Procedures [europepmc]

Related

• A Systematic Mapping Study on Contract-based Software Design for Dependable Systems
• Seamless Object-Oriented Requirements
• Complete contracts through specification drivers
• Semantic Component Composition
• Factors Modulating Software Design Quality