Model variables: cleanly supporting abstraction in design by contract
Authors:
- 16 February 2005
- journal article
- research article
- Published by Wiley in Software: Practice and Experience
- Vol. 35 (6) , 583-599
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Runtime verification of .NET contractsJournal of Systems and Software, 2003
- How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification2003
- Enhancing the pre- and postcondition technique for more expressive specifications1999
- JML: A Notation for Detailed Design1999
- Data groups1998
- Part I: the RESOLVE framework and disciplineACM SIGSOFT Software Engineering Notes, 1994
- Larch: Languages and Tools for Formal Specification1993
- Applying 'design by contract'Computer, 1992
- Programming with Specifications1990
- The algebraic specification of abstract data typesActa Informatica, 1978