Composition of Modules with Hidden Information over Inclusive Institutions

Cached

Download Links

by Joseph Goguen , Grigore Rosu

Active Bibliography

18 Composing Hidden Information Modules over Inclusive Institutions – Joseph Goguen, Grigore Rosu - 2003
A Foundational Approach to Modularization (Extended Abstract) – Grigore Rosu
3 Tossing Algebraic Flowers down the Great Divide – Joseph Goguen - 1999
Behavioral Abstraction is Information Hiding – Grigore Rosu
2 Behavioral extensions of institutions – Andrei Popescu - 2005
11 A Hidden Herbrand Theorem: Combining the Object and Logic Paradigms – Joseph Goguen, Grant Malcolm, Tom Kemp - 1998
1 Grothendieck Inclusion Systems – Răzvan Diaconescu
120 Introducing OBJ – Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi, Jean-Pierre Jouannaud - 1993
10 Hidden Algebra for Software Engineering – Joseph A. Goguen - 1999
1 Morphisms and Semantics for Higher Order Parameterized Programming – Kai Lin, Joseph Goguen - 2002
1 Kan Extensions of Institutions – Grigore Rosu
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
58 Institution Morphisms – Joseph Goguen, Grigore Rosu - 2001
19 Social and Semiotic Analyses for Theorem Prover User Interface Design – Joseph Goguen - 1999
10 Foundations of Heterogeneous Specification – Till Mossakowski
1 Semantics of the Distributed Ontology Language: Institutes and Institutions – Till Mossakowski, Oliver Kutz, Christoph Lange
32 An Implementation-Oriented Semantics for Module Composition – Joseph Goguen, Will Tracz - 1997
12 Circular Coinduction – Grigore Rosu, Joseph Goguen - 2000
7 Web-based support for cooperative software engineering – Joseph A. Goguen, Kai Lin - 2001