An Overview of the Tatami Project (2000)

Cached

Download Links

by Joseph Goguen , Kai Lin , Grigore Rosu , Akira Mori , Bogdan Warinschi
Citations:13 - 8 self

Active Bibliography

7 Web-based support for cooperative software engineering – Joseph A. Goguen, Kai Lin - 2001
19 Social and Semiotic Analyses for Theorem Prover User Interface Design – Joseph Goguen - 1999
1 Web-based Multimedia Support for Distributed Cooperative Software Engineering – Joseph Goguen, Kai Lin - 2000
3 Tossing Algebraic Flowers down the Great Divide – Joseph Goguen - 1999
46 Circular Coinductive Rewriting – Joseph Goguen, Kai Lin, Grigore Rosu - 2000
6 Behavioral Coinductive Rewriting – Grigore Rosu - 1999
Behavioral Abstraction is Information Hiding – Grigore Rosu
42 Hiding More of Hidden Algebra – Joseph Goguen, Grigore Rosu - 1999
32 An Implementation-Oriented Semantics for Module Composition – Joseph Goguen, Will Tracz - 1997
11 A Hidden Herbrand Theorem: Combining the Object and Logic Paradigms – Joseph Goguen, Grant Malcolm, Tom Kemp - 1998
10 Hidden Algebra for Software Engineering – Joseph A. Goguen - 1999
Steps towards a Design Theory for Virtual Worlds – Joseph A. Goguen
18 Conditional Circular Coinductive Rewriting with Case Analysis – Joseph Goguen, Kai Lin, Grigore Rosu - 2002
27 Hidden Congruent Deduction – Grigore Rosu, Joseph Goguen - 1998
7 Hidden Congruent Deduction – Grigore Ro, Joseph Goguen - 1998
7 Style as a choice of blending principles – Joseph A. Goguen, D. Fox Harrell - 2004
2 Hidden Algebraic Engineering – Joseph A. Goguen - 1997
12 Circular Coinduction – Grigore Rosu, Joseph Goguen - 2000
10 A Protocol for Distributed Cooperative Work – Joseph Goguen, Grigore Rosu - 1999