|
425
|
Institutions: Abstract model theory for specification and programming
– J A Goguen, R M Burstall
- 1992
|
|
116
|
Principles of parameterized programming
– J Goguen
- 1987
|
|
51
|
Institution Morphisms
– Joseph Goguen, Grigore Rosu
- 2001
|
|
41
|
LILEANNA: A Parameterized Programming Language
– W Tracz
- 1993
|
|
104
|
A Hidden Agenda
– Joseph Goguen, Grant Malcolm
- 2000
|
|
84
|
Specifications in an arbitrary institution
– Donald Sannella, Andrzej Tarlecki
- 1988
|
|
21
|
HYPERPROGRAMMING: A Formal Approach to Software Environments
– Joseph A. Goguen
- 1990
|
|
53
|
The Logic of Inexact Concepts
– J A Goguen
- 1969
|
|
5
|
SpecWare language manual, version 2.0
– Y V Srinivas, Richard Jullig
- 1996
|
|
85
|
Towards an Algebraic Semantics for the Object Paradigm
– Joseph A. Goguen, Razvan Diaconescu
- 1994
|
|
42
|
Hiding More of Hidden Algebra
– Joseph Goguen, Grigore Rosu
- 1999
|
|
72
|
Types as theories
– Joseph Goguen
- 1991
|
|
78
|
Initiality, induction and computability
– J Meseguer, J Goguen
- 1985
|
|
26
|
Extra Theory Morphisms for Institutions: logical semantics for multi-paradigm languages
– Razvan Diaconescu
- 1996
|
|
121
|
Principles of Maude
– Clavel Eker, M. Clavel, S. Eker, J. Meseguer
- 1996
|
|
79
|
Logical Support for Modularisation
– Razvan Diaconescu , Joseph Goguen, Petros Stefaneas
- 1993
|
|
160
|
General logics
– J Meseguer
- 1989
|
|
11
|
Akira Mori, Grigore Rosu, and Akiyoshi Sato. Distributed cooperative formal methods tools
– Joseph Goguen, Kai Lin
- 1997
|
|
97
|
G.: Algebraic Semantics of Imperative Programs
– J A Goguen, Malcolm
|
