|
155
|
The semantics of Clear, a specification language
– R M Burstall, J A Goguen
- 1979
|
|
49
|
Structured algebraic specifications: A kernel language
– M Wirsing
- 1986
|
|
51
|
A kernel language for algebraic specification and implementation, LNCS 158
– D Sannella, M Wirsing
- 1983
|
|
35
|
CAT, a system for the structured elaboration of correct programs from structured specifications
– J A Goguen, R M Burstall
|
|
14
|
Parameterized specifications: parameter passing and implementation with respect to observability
– H Ganzinger
|
|
261
|
An initial algebra approach to the specification, correctness, and implementation of abstract data types
– J A Goguen, J W Thatcher, E G Wagner
- 1978
|
|
130
|
Putting theories together to make specifications
– R Burstall, J Goguen
- 1977
|
|
37
|
An informal introduction to specifications using Clear
– R A Burstall, J A Goguen
- 1981
|
|
134
|
Toward formal development of programs from algebraic specifications: implementations revisited (Extended Abstract)
– Donald Sannella, Andrzej Tariecki
|
|
122
|
Introducing institutions
– J Goguen, R Burstall
- 1984
|
|
613
|
Systematic Software Development using VDM
– C Jones
- 1990
|
|
9
|
Structuring for the VDM Specification Language
– S Bear
|
|
39
|
An experimental applicative language
– R Burstall, D MacQueen, D Sannella, Hope
- 1980
|
|
236
|
Program development by stepwise refinement
– N Wirth
- 1971
|
|
187
|
Introducing Z: a Specification Language and its Formal Semantics
– J M Spivey
- 1988
|
|
7
|
Structuring and Modularizing Algebraic Specifications: the PLUSS specification language, evolutions and perspectives
– M-C Gaudel
- 1992
|
|
5
|
Algebraic semantics of object type specifications
– M Aiguier, G Bernot
- 1994
|
|
132
|
Fundamentals of algebraic specification 1: Equations and initial semantics
– H Ehrig, B Mahr
- 1985
|
|
24
|
Testing against formal specifications: a theoretical view
– G Bernot
- 1991
|
