|
|
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
|
|
8
|
A Survey of Formal Software Development Methods
– Donald Sannella
- 1988
|
|
3
|
Some Thoughts on Algebraic Specification
– Donald Sannella, Andrzej Tarlecki
- 1985
|
|
6
|
Structuring and Modularity
– Fernando Orejas
- 1996
|
|
134
|
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
|
|
66
|
On Observational Equivalence and Algebraic Specification
– Donald Sannella, Andrzej Tarlecki
- 1987
|
|
3
|
Compositionality and Compatibility of Parameterization and Parameter Passing in Specification Languages
– Rosa Jiménez, Fernando Orejas, Departament Lleng, Sist Informtics, Hartmut Ehrig
- 1995
|
|
19
|
Extended ML: an institution-independent framework for formal program development
– Donald Sannella , Andrzej Tarlecki
- 1986
|
|
7
|
A new semantics for Clear
– D. T. Sannella
|
|
|
ON OBSERVATIONAL EQUIVALENCE AND ALGEBRAIC SPECIFICATION-- Extended abstract i--
– Donald Sannella, Andrzej Tarlecki
|
|
3
|
Tossing Algebraic Flowers down the Great Divide
– Joseph Goguen
- 1999
|
|
24
|
Category-based Semantics for Equational and Constraint Logic Programming
– Razvan Diaconescu
- 1994
|
|
|
Semantics of First Order Parametric Specifications
– Dusko Pavlovic
|
|
50
|
Toward formal development of ML programs: foundations and methodology
– Donald Sannella, Andrzej Tarlecki
- 1989
|
|
68
|
Writing Larch Interface Language Specifications
– Jeannette M. Wing
- 1987
|
|
7
|
Abstract specification theory: an overview
– Andrzej Tarlecki
- 2003
|
|
|
On Understanding Data . . .
– William R. Cook
- 2009
|
|
3
|
Observational interpretation for CASL specifications
– Michel Bidoit, Donald Sannella, Andrzej Tarlecki
- 2004
|
