A Foundational Approach to Modularization (Extended Abstract)

Cached

Download Links

by Grigore Rosu

Active Bibliography

Composition of Modules with Hidden Information over Inclusive Institutions – Joseph Goguen, Grigore Rosu
18 Composing Hidden Information Modules over Inclusive Institutions – Joseph Goguen, Grigore Rosu - 2003
10 Foundations of Heterogeneous Specification – Till Mossakowski
1 Kan Extensions of Institutions – Grigore Rosu
3 Tossing Algebraic Flowers down the Great Divide – Joseph Goguen - 1999
1 Grothendieck Inclusion Systems – Răzvan Diaconescu
58 Institution Morphisms – Joseph Goguen, Grigore Rosu - 2001
Behavioral Abstraction is Information Hiding – Grigore Rosu
24 Interpolation in Grothendieck Institutions – Razvan Diaconescu - 2003
8 Axiomatizability in Inclusive Equational Logic – Grigore Rosu - 1996
8 Semantics of architectural specifications in Casl – Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman - 2001
2 Behavioral extensions of institutions – Andrei Popescu - 2005
1 Semantics of the Distributed Ontology Language: Institutes and Institutions – Till Mossakowski, Oliver Kutz, Christoph Lange
2 On Equational Craig Interpolation – Grigore Rosu, Joseph Goguen - 2000
Borrowing Interpolation – Răzvan Diaconescu
120 Introducing OBJ – Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi, Jean-Pierre Jouannaud - 1993
19 Social and Semiotic Analyses for Theorem Prover User Interface Design – Joseph Goguen - 1999
13 Tools for Distributed Cooperative Design and Validation – Joseph Goguen, Kai Lin, Akira Mori, Grigore Rosu, Akiyoshi Sato - 1998
10 Logical Foundations of CafeOBJ – Razvan Diaconescu, Kokichi Futatsugi