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

Documents Related by Co-Citation

64 An introduction to algebraic semiotics, with applications to user interface design – J Goguen - 1999
40 Towards a social, ethical theory of information – Joseph A. Goguen - 1997
19 Social and Semiotic Analyses for Theorem Prover User Interface Design – Joseph Goguen - 1999
103 Algebraic Semantics of Imperative Programs – Joseph A Goguen, Grant Malcolm - 1996
474 Institutions: abstract model theory for specification and programming – J A Goguen, R M Burstall - 1992
10 A Protocol for Distributed Cooperative Work – Joseph Goguen, Grigore Rosu - 1999
46 Circular Coinductive Rewriting – Joseph Goguen, Kai Lin, Grigore Rosu - 2000
110 A Hidden Agenda – Joseph Goguen, Grant Malcolm - 2000
7 The organization of discourse – C Linde - 1981
42 Hiding More of Hidden Algebra – Joseph Goguen, Grigore Rosu - 1999
17 Observational Specifications and the Indistinguishability Assumption – Gilles Bernot, Michel Bidoit, Teodor Knapik - 1995
25 Incompleteness of Behavioral Logics – Samuel Buss, Grigore Rosu - 2000
34 Observer Complete Definitions are Behaviourally Coherent – Michel Bidoit , Rolf Hennicker - 1999
1105 Software Engineering Economics – Barry W. Boehm - 1981
16 Information Visualization and Semiotic Morphisms – Joseph A. Goguen - 2000
336 Designing the User Interface – B Shneiderman - 1998
72 Types as theories – Joseph Goguen - 1991
49 The transformation of experience in narrative syntax – William Labov - 1972
120 Introducing OBJ РJoseph A. Goguen, Timothy Winkler, Jos̩ Meseguer, Kokichi Futatsugi, Jean-Pierre Jouannaud - 1993