|
|
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
|
|
|
Modular Specifications: Constructions With Finite Colimits, Diagrams, Isomorphisms
– Catherine Oriat
- 1996
|
|
|
Types as Theories
– Joseph Goguen Programming, Joseph A. Goguen
- 1991
|
|
3
|
On the Compositionality and Analysis of Algebraic High-Level Nets
– Johan Lilius, Johan Lilius
- 1991
|
|
2
|
A Distributed Architecture Definition Language: a DADL
– Ron Burback
- 1998
|
|
8
|
Higher Order Functions Considered Unnecessary for Higher Order Programming
– Joseph A. Goguen
- 1990
|
|
3
|
Constructing Specifications and Modules in a KZ-Doctrine
– Gillian Hill
- 1994
|
|
1
|
Detecting Isomorphisms of Modular Specifications with Diagrams
– Catherine Oriat
- 1995
|
|
1
|
Should ML be object-oriented?
– David MacQueen
|
|
|
unknown title
– unknown authors
|
|
7
|
A new semantics for Clear
– D. T. Sannella
|
|
5
|
Category-based Modularisation for Equational Logic Programming
– Razvan Diaconescu
- 1996
|
|
14
|
Structured theory presentations and logic representations
– Robert Harper, Donald Sannella, Andrzej Tarlecki
- 1994
|
|
|
Structured Formal Development with Quotient Types in Isabelle/HOL
– Maksym Bortin, Christoph Lüth, Deutsches Forschungszentrum, Künstliche Intelligenz
|
|
8
|
A Survey of Formal Software Development Methods
– Donald Sannella
- 1988
|
|
19
|
Parameterized Programming and Software Architecture
– Joseph A. Goguen
- 1996
|
|
54
|
Metalogical Frameworks
– David A. Basin, Robert L. Constable, Im Stadtwald
- 1992
|
|
18
|
Introducing FOOPS
– Lucia Rapanotti, Lucia Rapanotti, Adolfo Socorro, Adolfo Socorro
- 1992
|
|
|
A Meta-theory for Structured Presentations in the COC
– Sherri Shulman
- 1997
|
