Writing Larch Interface Language Specifications (1987)

Cached

Download Links

by Jeannette M. Wing
Venue:ACM Transactions on Programming Languages and Systems
Citations:72 - 2 self

Documents Related by Co-Citation

57 A Two-Tiered Approach to Specifying Programs – J M Wing - 1983
1441 Object-oriented Software Construction – Bertrand Meyer - 2004
638 Systematic Software Development using VDM – C B Jones - 1986
101 M.: The Larch Family of Specification Languages – J V Guttag, J J Horning, J Wing - 1985
231 A specifier’s introduction to formal methods – J M Wing - 1990
82 Ei el: The Language. The Object-Oriented Series – B Meyer - 1992
1364 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
390 Preliminary design of JML: A behavioral interface specification language for Java – Gary T. Leavens, Albert L. Baker, Clyde Ruby - 1998
116 Forcing behavioral subtyping through specification inheritance – Krishna Kishore Dhara, Krishna Kishore Dhara, Gary T. Leavens, Gary T. Leavens - 1996
97 Toward Reliable Modular Programs – K. Rustan M. Leino - 1995
418 Proof of correctness of data representations – C A R Hoare - 1972
11 Using Larch to Specify Avalon/C++ Objects – J Wing - 1990
112 The algebraic specification of abstract data types – J Guttag, J J Horning - 1978
38 Enhancing the Pre- and Postcondition Technique for More Expressive Specifications – Gary T. Leavens, Albert L. Baker - 1997
309 Larch: Languages and tools for formal specification – J. V. Guttag, J. J. Horning, S. J. Garland, K. D. Jones, A. Modet, J. M. Wing - 1993
12 Specifying Objects of Concurrent Systems – Richard Allen Lerner - 1991
1098 The Z Notation: a reference manual – J Michael Spivey - 1992
11 A myth in the modular specification of programs – K. Rustan M. Leino - 1995
181 JML: A Notation for Detailed Design – Gary T. Leavens, Albert L. Baker, Clyde Ruby - 1999