specification techniques. Copyright c fl 1998, 1999 by Iowa State University. This document s distributed under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2, or (at your option) any later version.
|
1219
|
Object-oriented Software Construction
– Meyer
- 1988
|
|
1008
|
The Z Notation: A reference manual
– Spivey
- 1992
|
|
984
|
An axiomatic basis for computer programming
– Hoare
- 1969
|
|
601
|
Systematic Software Development Using VDM
– Jones
- 1986
|
|
354
|
A behavioral notion of subtyping
– Liskov, Wing
- 1994
|
|
347
|
Proof of correctness of data representations
– Hoare
- 1972
|
|
303
|
Formal verification for fault-tolerant architectures: Prolegomena to the design of PVS
– Owre
- 1995
|
|
278
|
Larch: Languages and Tools for Formal Specification
– Guttag, Horning, et al.
- 1993
|
|
212
|
A specifier’s introduction to formal methods
– Wing
- 1990
|
|
195
|
Refinement Calculus: A Systematic Introduction
– Back, Wright
- 1998
|
|
188
|
Polymorphic effect systems
– Lucassen, Gifford
- 1988
|
|
179
|
The Java Language Specification. The Java Series
– Gosling, Joy, et al.
- 1996
|
|
143
|
A calculus of refinements for program derivations
– Back
- 1988
|
|
139
|
A theoretical basis for stepwise refinement and the programming calculus
– Morris
- 1987
|
|
133
|
ed; Specification Case Studies
– Hayes
- 1987
|
|
120
|
The Type and Effect Discipline
– Talpin, Jouvelot
- 1994
|
|
118
|
Forcing behavioral subtyping through specification inheritance
– Dhara, Leavens
- 1996
|
|
107
|
A practical approach to programming with assertions
– Rosenblum
- 1995
|
|
106
|
Toward reliable modular programs
– Leino
- 1995
|
|
105
|
The Java Programming Language. The Java Series
– Arnold, Gosling
- 1996
|
|
75
|
Eiffel: The language. Object-Oriented Series
– Meyer
- 1992
|
|
66
|
An overview of Anna, a specification language for Ada
– Luckham, Henke
- 1985
|
|
65
|
Writing Larch interface language specifications
– Wing
- 1987
|
|
62
|
On the frame problem in procedure specifications
– Borgida, Mylopoulos, et al.
- 1995
|
|
62
|
Types and Effects —Towards the Integration of Functional and Imperative Programming
– Lucassen
- 1987
|
|
58
|
A Two-Tiered Approach to Specifying Programs
– Wing
- 1983
|
|
57
|
Refinement calculus, part I: Sequential nondeterministic programs
– Back, Wright
- 1990
|
|
54
|
Integrating functional and imperative programming
– Gifford, Lucassen
- 1986
|
|
54
|
Programming Language Syntax and Semantics
– Watt
- 1991
|
|
45
|
Applying "design by contract
– Meyer
- 1992
|
|
33
|
Programming from specifications”; second edition
– Morgan
- 1994
|
|
29
|
An overview of Larch/C++: Behavioral specifications for C++ modules
– Leavens
- 1997
|
|
29
|
Enhancing the pre- and postcondition technique for more expressive specifications
– Leavens, Baker
- 1999
|
|
29
|
Typing references by effect inference
– Wright
- 1992
|
|
27
|
Specification and verification of object-oriented programs
– Poetzsch-Heffter
- 1997
|
|
24
|
editors. Object-Oriented Specification Case Studies. The Object-Oriented Series
– Lano, Haughton
- 1994
|
|
24
|
Part I: The RESOLVE framework and discipline — a research synopsis
– Ogden, Sitaraman, et al.
- 1994
|
|
22
|
Mathematical Notation in Formal Specification: Too difficult for the Masses
– Finney
- 1996
|
|
18
|
Specifying objects of concurrent systems
– Lerner
- 1991
|
|
18
|
Specification in Fresco
– Wills
- 1992
|
|
16
|
Upgrading the pre- and postcondition technique, in
– Jonkers
- 1991
|
|
14
|
A myth in the modular specification of programs
– Leino
- 1995
|
|
13
|
On the refinement calculus, Formal approaches of computing and information technology series
– Morgan, Vickers
- 1994
|
|
12
|
Protective interface specifications
– Leavens, Wing
- 1998
|
|
11
|
Interface language for supporting programming styles
– Tan
- 1994
|
|
11
|
Formal Specification Techniques for Engineering Modular C Programs
– Tan
- 1995
|
|
8
|
frequently asked questions, version 1.110
– Leavens, Larch
|
|
8
|
Olaf Owe. ANNA - A Language for Annotating Ada Programs
– Luckham, Henke, et al.
- 1987
|
|
6
|
Larch/C++ Reference Manual. Version 5.14. Available in ftp://ftp.cs.iastate.edu/pub/larchc++/lcpp.ps.gz or on the World Wide Web at the URL http://www.cs.iastate.edu/~leavens/larchc++.html
– Leavens
- 1997
|
|
6
|
Larch/CORBA: Specifying the behavior of CORBA-IDL interfaces
– Sivaprasad
- 1995
|
|
