|
21
|
Formal Object Oriented Development of Software Systems using LOTOS
– J. Paul Gibson
- 1993
|
|
|
Subtyping, Modular Specification, and Modular Verification for Applicative Object-Oriented Programs
– Gary T. Leavens, William E. Weihl
- 1994
|
|
9
|
A Quick Overview of Larch/C++
– Yoonsik Cheon, Gary T. Leavens
- 1994
|
|
6
|
Larch/Smalltalk: A Specification Language for Smalltalk
– Yoonsik Cheon
- 1991
|
|
9
|
On the Search for Tractable Ways of Reasoning about Programs
– C. B. Jones
- 2001
|
|
14
|
The Early Search for Tractable Ways of Reasoning About Programs
– C. B. Jones
- 2003
|
|
|
Issues in the Design of an . . .
– Peter Grogono
- 1991
|
|
6
|
Design Theory and Software Design
– Kent Mcphee
- 1997
|
|
7
|
Preliminary Design of Larch/C++
– Gary T. Leavens, Yoonsik Cheon
- 1992
|
|
25
|
An Overview of Larch/C++: Behavioral Specifications for C++ Modules
– Gary T. Leavens
- 1996
|
|
6
|
Integrated Office Systems
– O. M. Nierstrasz, D. C. Tsichritzis
- 1988
|
|
18
|
Static Typing for Object-Oriented Programming
– Jens Palsberg , Michael I. Schwartzbach
- 1994
|
|
27
|
Test Oracles
– Luciano Baresi, Michal Young
- 2001
|
|
50
|
Automatically Checking an Implementation against Its Formal Specification
– Sergio Antoy, Dick Hamlet
- 2000
|
|
171
|
JML: A Notation for Detailed Design
– Gary T. Leavens, Albert L. Baker, Clyde Ruby
- 1999
|
|
352
|
Preliminary design of JML: A behavioral interface specification language for Java
– Gary T. Leavens, Albert L. Baker, Clyde Ruby
- 1998
|
|
2
|
Graphical Representation of Object-Z Specification Using MOSES
– Evalyn N. Wafula, Mbus (it Dissertation
- 1995
|
|
62
|
How the design of JML accommodates both runtime assertion checking and formal verification
– Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok
- 2003
|
|
3
|
The Diesel language specification and rationale: Version 0.2
– Craig Chambers
- 2006
|
