Reusable Software Components (1991)

Cached

Download Links

by Bruce W. Weide , William F. Ogden , Stuart H. Zweben
Venue:in Advances in Computers
Citations:33 - 4 self

Active Bibliography

25 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
Issues in the Design of an . . . – Peter Grogono - 1991
9 On the Search for Tractable Ways of Reasoning about Programs – C. B. Jones - 2001
16 The Early Search for Tractable Ways of Reasoning About Programs – C. B. Jones - 2003
7 Design Theory and Software Design – Kent Mcphee - 1997
7 Preliminary Design of Larch/C++ – Gary T. Leavens, Yoonsik Cheon - 1992
6 Integrated Office Systems – O. M. Nierstrasz, D. C. Tsichritzis - 1988
19 Static Typing for Object-Oriented Programming – Jens Palsberg , Michael I. Schwartzbach - 1994
32 Test Oracles – Luciano Baresi, Michal Young - 2001
55 Automatically Checking an Implementation against Its Formal Specification – Sergio Antoy, Dick Hamlet - 2000
181 JML: A Notation for Detailed Design – Gary T. Leavens, Albert L. Baker, Clyde Ruby - 1999
Fall Term – Ghaith Haddad, Ghaith N. Haddad, Major Professor, Gary T. Leavens, Ghaith N. Haddad - 2012
390 Preliminary design of JML: A behavioral interface specification language for Java – Gary T. Leavens, Albert L. Baker, Clyde Ruby - 1998
1 1 A Comprehensive Survey of Trends in Oracles for Software Testing – Mark Harman, Phil Mcminn, Muzammil Shahbaz, Shin Yoo
71 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
2 Graphical Representation of Object-Z Specification Using MOSES – Evalyn N. Wafula, Mbus (it Dissertation - 1995