Active Bibliography

36 The Requirement and Design Specification Language SPECTRUM -- An Informal Introduction – Manfred Broy, Christian Facchi, Radu Grosu, et al. - 1993
2 The Requirement and Design Specification Language - An Informal Introduction - Version 1.0 – Manfred Broy, Christian Facchi, Radu Grosu, Rudi Hettler, Heinrich Hussmann, Dieter Nazareth - 1993
15 The Logical Framework of SPECTRUM – Radu Grosu , Franz Regensburger
5 The Semantics of SPECTRUM – Radu Grosu, Franz Regensburger - 1994
Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition - – Martin Gogolla, Zhenyu Qian, Hélène Kirchner, Markus Wolf (Eds.), Maura Cerioli, Maura Cerioli, Universit`a Degli Studi Di Genova, Prof Dr, Bernd Krieg-Brückner, Bernd Krieg-bruckner - 1997
2 The Hidden Function Question Revisited – Arno Schönegge - 1997
6 A Kernel Specification Formalism with Higher-Order Parameterisation – Donald Sannella, Andrzej Tarlecki - 1991
3 Compositionality and Compatibility of Parameterization and Parameter Passing in Specification Languages – Rosa Jiménez, Fernando Orejas, Departament Lleng, Sist Informtics, Hartmut Ehrig - 1995
33 The KIV-Approach to Software Verification – Wolfgang Reif - 1995
134 Toward formal development of programs from algebraic specifications: implementations revisited (Extended Abstract) – Donald Sannella, Andrzej Tariecki
14 Structured Theories and Institutions – Francisco Durán, José Meseguer - 1999
2 Haskell-style Overloading is NP-hard – Dennis M. Volpano - 1994
30 Type Checking Type Classes – Tobias Nipkow, Christian Prehofer - 1993
14 The Early Search for Tractable Ways of Reasoning About Programs – C. B. Jones - 2003
2 Higher Order Partial Algebras in View of the Semantics of Functional Languages – Uwe Wolter - 1996
14 Structured theory presentations and logic representations – Robert Harper, Donald Sannella, Andrzej Tarlecki - 1994
8 A Survey of Formal Software Development Methods – Donald Sannella - 1988
54 Essential Concepts of Algebraic Specification and Program Development – Donald Sannella, Andrzej Tarlecki - 1996
Chapter 1 SPECIFICATION SEMANTICS – Specification Semantics The