Specification Languages

Specification Languages (1999)

Cached

Download Links

by Donald Sannella , Martin Wirsing

Citations:

BibTeX

@MISC{Sannella99specificationlanguages,
    author = {Donald Sannella and Martin Wirsing},
    title = {Specification Languages},
    year = {1999}
}

Bookmark

OpenURL

Abstract

Citations

154	The semantics of Clear, a specification language - Burstall, Goguen - 1979
130	Putting theories together to make specifications - Burstall, Goguen - 1977
106	Module algebra - Bergstra, Heering, et al. - 1990
97	The design of distributed systems: an introduction to focus. Report TUM–I9203, Institut für Informatik, Technische Universität - Broy, Dederichs, et al. - 1992
52	The Algebraic Specification Formalism ASF - Bergstra, Heering, et al. - 1989
40	Algebraic Specification Techniques in Object Oriented Programming Environments - Breu
33	Behavioural theories and the proof of behavioural properties - Bidoit, Hennicker - 1996
18	Relationships between logical frameworks - Astesiano, Cerioli - 1993
18	The B-method - Abrial, Lee, et al. - 1991
16	Type Systems for Modular Programs and Specifications - Aspinall - 1997
16	How to make algebraic specifications more understandable? An experiment with the PLUSS specification language - Bidoit, Gaudel, et al. - 1989
15	Formal Specifications with Higher-Order Parameterization - Cengarle - 1994
13	un langage pour le développement de spécifications algébriques modulaires. Thèse d’Etat, Université de Paris-Sud - Pluss - 1989
11	Architectural specifications in CASL - Bidoit, Sannella, et al. - 1999
10	SMoLCS-driven concurrent calculi - Astesiano, Reggio - 1987
8	Algebraic Specification Techniques and Tools for Software Development - Claßen, Ehrig, et al. - 1993
6	Revised ACT ONE: categorical constructions for an algebraic specification language - Cla��en
2	The draft formal definition of Ada. Deliverable 7 of the CEC-MAP project - Astesiano, Nielsen, et al. - 1986
2	Programming in a wide spectrum language: a collection of examples - Bauer, Broy, et al. - 1981
2	The semantics of clear, aspecification language - Burstall, Goguen - 1980
2	Revised ACT ONE: categorical constructions for an algebraic specification language - Claßen
1	Provably correct systems. PROCOS I final deliverable - Bjørner, Langmaack, et al. - 1992
1	The Munich Spectrum Group). The requirement and design specification language spectrum:Aninformal introduction, Version 1.0, Part I - Broy, Facchi, et al. - 1993