Documents Related by Co-Citation

161 The semantics of Clear, a specification language – R M Burstall, J A Goguen - 1980
49 Structured algebraic specifications: A kernel language – M Wirsing - 1986
55 A kernel language for algebraic specification and implementation – Donald Sannella, Martin Wirsing
36 CAT: a system for the structured elaboration of correct programs from structured specifications – J Goguen, R Burstall
273 An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types – J A Goguen, J W Thatcher, E G Wagner - 1978
14 Parameterized specifications: parameter passing and implementation with respect to observability – H Ganzinger
144 Putting Theories Together to Make Specifications – Rod Burstall, Joseph Goguen - 1977
38 An informal introduction to specifications using Clear – R M Burstall, J A Goguen - 1981
143 Toward formal development of programs from algebraic specifications: implementations revisited (Extended Abstract) – Donald Sannella, Andrzej Tariecki
127 Introducing institutions – J A Goguen, R M Burstall - 1983
638 Systematic Software Development Using VDM – Cli B Jones - 1990
9 Structuring for the VDM Specification Language – S Bear
40 An experimental applicative language – R BURSTALL, D MACQUEEN, D Hope SANNELLA - 1980
262 Program Development by Stepwise Refinement – N Wirth - 1971
198 Understanding 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
68 The VDM-SL Reference Guide – John Dawes - 1991
29 Testing against formal specifications: a theoretical view – Gilles Bernot - 1991