Corpus ID: 59705159

Design by Contract" in "Advances in Object-Oriented Software Engineering

@inproceedings{Meyer1992DesignBC,
  title={Design by Contract" in "Advances in Object-Oriented Software Engineering},
  author={Bertrand Meyer},
  year={1992}
}
  • Bertrand Meyer
  • Published 1992
  • Computer Science
  • Create an AI-powered research feed to stay up to date with new papers like this posted to ArXiv

    Topics from this paper.

    Citations

    Publications citing this paper.
    SHOWING 1-10 OF 53 CITATIONS

    Answers to Exercises SOFTWARE ENGINEERING: Principles and Practice Second Edition

    VIEW 3 EXCERPTS
    CITES BACKGROUND
    HIGHLY INFLUENCED

    Reconciling Offshore Outsourcing with Model Based Testing

    VIEW 5 EXCERPTS
    CITES BACKGROUND
    HIGHLY INFLUENCED

    Chaperone contracts for higher-order sessions

    VIEW 6 EXCERPTS
    CITES METHODS & RESULTS
    HIGHLY INFLUENCED

    Validation Against Actual Behavior: Still a Challenge for Testing Tools

    VIEW 3 EXCERPTS
    CITES BACKGROUND
    HIGHLY INFLUENCED

    A formal framework for service mashups with dynamic service selection

    VIEW 1 EXCERPT
    CITES METHODS

    FILTER CITATIONS BY YEAR

    1992
    2017

    CITATION STATISTICS

    • 7 Highly Influenced Citations