|
1341
|
Object-oriented Software Construction
– Bertrand Meyer
- 2004
|
|
36
|
Contract Soundness for Object-Oriented Languages
– Robert Bruce Findler, Matthias Felleisen
- 2001
|
|
36
|
Adding Contracts to Java with Handshake
– Andrew Duncan , Urs Hölzle
- 1998
|
|
113
|
A runtime assertion checker for the Java Modeling Language (JML)
– Yoonsik Cheon, Gary T. Leavens
- 2002
|
|
613
|
Systematic Software Development using VDM
– C Jones
- 1990
|
|
398
|
A Behavioral Notion of Subtyping
– Barbara H. Liskov, Jeanette M. Wing
- 1994
|
|
56
|
jContractor: A Reflective Java Library to Support Design By Contract
– Murat Karaorman, Urs Hölzle, John Bruno
- 1998
|
|
135
|
Designing an Object-Oriented Programming Language with Behavioural Subtyping, Foundations of Object-Oriented Languages
– P America
- 1991
|
|
104
|
iContract – the Java design by contract tool
– R Kramer
- 1998
|
|
277
|
Object-Oriented Software Construction, 2nd Edition
– B Meyer
- 1997
|
|
130
|
A practical approach to programming with assertions
– David S. Rosenblum
- 1995
|
|
706
|
Eiffel: the language
– B Meyer
- 1992
|
|
171
|
JML: A Notation for Detailed Design
– Gary T. Leavens, Albert L. Baker, Clyde Ruby
- 1999
|
|
9
|
A Quick Overview of Larch/C++
– Yoonsik Cheon, Gary T. Leavens
- 1994
|
|
98
|
Inheritance and subtyping in a parallel object-oriented language
– Pierre America
- 1987
|
|
78
|
Jass -- Java with Assertions
– Detlef Bartetzko, Clemens Fischer, Michael Möller, Heike Wehrheim
- 2001
|
|
108
|
Forcing behavioral subtyping through specification inheritance
– Krishna Kishore Dhara, Krishna Kishore Dhara, Gary T. Leavens, Gary T. Leavens
- 1996
|
|
2
|
QoS Provisioning in CORBA by Introducing a Reflective Aspect-Oriented Transport layer
– Mehmet Aksit, Ali Noutash, Marten Van Sinderen, Lodewijk Bergmans
- 2000
|
|
2
|
Proposal for tools supporting component based programming
– H L Nielsen, R Elmstrom
- 1999
|
