|
|
Behavioral Abstraction is Information Hiding
– Grigore Rosu
|
|
14
|
An Overview of the Tatami Project
– Joseph Goguen, Kai Lin, Grigore Rosu, Akira Mori, Bogdan Warinschi
- 2000
|
|
|
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
|
|
118
|
Introducing OBJ
– Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi, Jean-Pierre Jouannaud
- 1993
|
|
3
|
Tossing Algebraic Flowers down the Great Divide
– Joseph Goguen
- 1999
|
|
15
|
Conditional Circular Coinductive Rewriting with Case Analysis
– Joseph Goguen, Kai Lin, Grigore Rosu
- 2002
|
|
8
|
Web-based support for cooperative software engineering
– Joseph A. Goguen, Kai Lin
- 2001
|
|
11
|
A Hidden Herbrand Theorem: Combining the Object and Logic Paradigms
– Joseph Goguen, Grant Malcolm, Tom Kemp
- 1998
|
|
104
|
A Hidden Agenda
– Joseph Goguen, Grant Malcolm
- 2000
|
|
12
|
Circular Coinduction
– Grigore Rosu, Joseph Goguen
- 2000
|
|
42
|
Circular Coinductive Rewriting
– Joseph Goguen, Kai Lin, Grigore Rosu
- 2000
|
|
6
|
Behavioral Coinductive Rewriting
– Grigore Rosu
- 1999
|
|
10
|
Hidden Algebra for Software Engineering
– Joseph A. Goguen
- 1999
|
|
42
|
Hiding More of Hidden Algebra
– Joseph Goguen, Grigore Rosu
- 1999
|
|
1
|
Quasi-Boolean Encodings and Conditionals in Algebraic Specification
– Răzvan Diaconescu
|
|
3
|
Behavioral institutions and refinements in generalized hidden logics
– Manuel A. Martins
- 2006
|
|
|
Composition of Modules with Hidden Information over Inclusive Institutions
– Joseph Goguen, Grigore Rosu
|
|
1
|
Morphisms and Semantics for Higher Order Parameterized Programming
– Kai Lin, Joseph Goguen
- 2002
|
|
3
|
Situated Adaptive Software: Beyond the Object Paradigm
– Joseph A. Goguen, Grant Malcolm
- 1995
|
