Applying 'design by contract'

Keywords

Eiffel, Computer science, Design by contract, Object-oriented design, Software design

References

• The new culture of software developmentBertrand Meyer — 1990
• Models for Concurrent EiffelGhinwa Jalloul, John Potter — 1992
• Princples of Computer ProgrammingHarlan D. Mills — 1987
• Alphard: Form and ContentMary Shaw — 1981
• Principles of computer programming : a mathematical approachHarlan D. Mills, Victor R. Basili, John D. Gannon — 1987
• Systematic software development using VDMCli B. Jones — 1986
• Report on the programming language EuclidButler Lampson, J. J. Horning, Ralph L. London — 1977
• An Overview of Anna, a Specification Language for AdaD Luckham, F. W. von Henke — 1985
• A Discipline of ProgrammingEdsger W. Dijkstra — 1976
• An axiomatic basis for computer programmingC. A. R. Hoare — 1969
• System structure for software fault toleranceBrian Randell — 1975
• The Science of ProgrammingDavid Gries — 1981
• Abstract data types and the development of data structuresJohn V. Guttag — 1976
• System structure for software fault toleranceBrian Randell — 1975
• Construction programsCadsteel Limited — 1980
• Assigning Meanings to ProgramsR. W. Floyd — 1993
• A Specification LanguageI. Sørensen — 1981

Cited by

• Improving the Extent and Reach of Service Oriented SystemsMartin Henkel, Martin Henkel — 2006
• Observation and Abstract Behaviour in Specification and Implementation of State-based SystemsClaus Pahl — 2001
• TRUST-BY-CONTRACT: MODELLING, ANALYSING AND PREDICTING BEHAVIOUR OF SOFTWARE ARCHITECTURESHeinz Schmidt, Iman Poernomo, Ralf Reussner — 2001
• Reusability of ConcernsElrike Pullvermüller, Andreas Speck, Mira Mezini — 2000
• Qualité de Service Temporelle pour Composants LogicielsSébastien Saudrais — 2007
• Considering Safety and Feature Interactions for Integrated Services of Home Network SystemBen Yan — 2007
• Genesis: An Extensible JavaIJ Lewis — 2005
• Dynamic Coupling of Binary Components and its Technical SupportDirk Heuzeroth, Ralf Reussner — 2001
• Enhancing framework usability through smart documentationÁlvaro Ortigosa, Marcelo Campo, Roberto Moriyón — 1999
• Using Mobile Code for Semantic Interoperability in Distributed Agent SystemsJarle Hulaas, Walter Binder — 2001
• Monte Carlo and Depletion Reactor Analysis for High-Performance Computing ApplicationsBrenden Mervin — 2013
• Des classes autotestablesDaniel Deveaux, Jean‐Marc Jezéquél — 1999
• Automatic Invariant Finding in Dynamic Web ApplicationsF.P. Groeneveld — 2010
• The Stability Problem for Verification of Concurrent Object-Oriented ProgramsMarieke Huisman, Inria Sophia Antipolis, Sophia Antipolis — 2007
• A Framework for Dynamically Configurable Embedded ControllersJohan Eker — 1997
• Fuzzy k-mers and their application to comparative genome assemblyJohn Healy — 2013
• Design, vérification et implémentation de systèmes à composantsSophie Fantoni Quinton — 2011
• UniTesK: Model Based Testing in Industrial PracticeВ. В. Кулямин, Alexander K. Petrenko, A. S. Kossatchev — 2003
• Acquisition et analyse des exigences pour le développement logiciel : une approche dirigée par les modèlesErwan Brottier — 2009
• Развитие подхода к разработке тестов UniTESKВ. В. Кулямин, Alexander K. Petrenko — 2014

Related papers

• But who will guard the guardians? [OOP]David Maley, Ivor Spence — 2000
• But Who Will Guard the GuardiansDave Maley, Ivor Spence — 2000
• Uncovering Hidden Contracts: The .NET ExampleKarine Arnout, Bertrand Meyer — 2003
• The Contract PatternMichel de Champlain — 1997
• Checking software contractsRichard Mitchell, Ian Maung, John Howse — 1995
• Designing a Programming Contract Library for JavaNeha Rajkumar — 2015