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
34 The KIV-Approach to Software Verification – Wolfgang Reif - 1995
14 Structured Theories and Institutions – Francisco Durán, José Meseguer - 1999
143 Toward formal development of programs from algebraic specifications: implementations revisited (Extended Abstract) – Donald Sannella, Andrzej Tariecki
3 Haskell-style Overloading is NP-hard – Dennis M. Volpano - 1994
31 Type Checking Type Classes – Tobias Nipkow, Christian Prehofer - 1993
15 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
unknown title – unknown authors - 2013
1 Horizontal composability revisited – Donald Sannella, Andrzej Tarlecki