Active Bibliography

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
3 Some Thoughts on Algebraic Specification – Donald Sannella, Andrzej Tarlecki - 1985
3 Tossing Algebraic Flowers down the Great Divide – Joseph Goguen - 1999
66 On Observational Equivalence and Algebraic Specification – Donald Sannella, Andrzej Tarlecki - 1987
143 Toward formal development of programs from algebraic specifications: implementations revisited (Extended Abstract) – Donald Sannella, Andrzej Tariecki
14 Structured theory presentations and logic representations – Robert Harper, Donald Sannella, Andrzej Tarlecki - 1994
19 Extended ML: an institution-independent framework for formal program development – Donald Sannella , Andrzej Tarlecki - 1986
8 A Survey of Formal Software Development Methods – Donald Sannella - 1988
7 Structuring and Modularity – Fernando Orejas - 1996
120 Introducing OBJ – Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi, Jean-Pierre Jouannaud - 1993
3 Compositionality and Compatibility of Parameterization and Parameter Passing in Specification Languages – Rosa Jiménez, Fernando Orejas, Departament Lleng, Sist Informtics, Hartmut Ehrig - 1995
72 Writing Larch Interface Language Specifications – Jeannette M. Wing - 1987
55 Essential Concepts of Algebraic Specification and Program Development – Donald Sannella, Andrzej Tarlecki - 1996
66 A Categorical Programming Language – Tatsuya Hagino, Tatsuya Hagino - 1987
ON OBSERVATIONAL EQUIVALENCE AND ALGEBRAIC SPECIFICATION-- Extended abstract i-- – Donald Sannella, Andrzej Tarlecki
10 Hidden Algebra for Software Engineering – Joseph A. Goguen - 1999
14 Structured Theories and Institutions – Francisco Durán, José Meseguer - 1999
6 A Kernel Specification Formalism with Higher-Order Parameterisation – Donald Sannella, Andrzej Tarlecki - 1991
48 Little Theories – William M. Farmer, Joshua D. Guttman, F. Javier Thayer - 1992