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
41 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
104 Algebraic Semantics of Imperative Programs – J A Goguen, G Malcolm - 1996
476 Institutions: Abstract model theory for specication and programming – Joseph Goguen, Rod Burstall - 1992
46 Circular Coinductive Rewriting – Joseph Goguen, Kai Lin, Grigore Rosu - 2000
10 A Protocol for Distributed Cooperative Work – Joseph Goguen, Grigore Rosu - 1999
111 A Hidden Agenda – Joseph Goguen, Grant Malcolm - 2000
7 The organization of discourse – C Linde - 1981
17 Observational Specifications and the Indistinguishability Assumption – Gilles Bernot, Michel Bidoit, Teodor Knapik - 1995
34 Observer Complete Definitions are Behaviourally Coherent – Michel Bidoit , Rolf Hennicker - 1999
42 Hiding More of Hidden Algebra – Joseph Goguen, Grigore Rosu - 1999
25 Incompleteness of Behavioral Logics – Samuel Buss, Grigore Rosu - 2000
1120 Software Engineering Economics – Barry W. Boehm - 1981
16 Information Visualization and Semiotic Morphisms – Joseph A. Goguen - 2000
340 Designing the user interface – B Shneiderman, C Plaisant - 2005
72 Types as theories – Joseph Goguen - 1991
57 The Transformation of Experience in Narrative Syntax – William Labov - 1972
121 Introducing OBJ РJoseph A. Goguen, Timothy Winkler, Jos̩ Meseguer, Kokichi Futatsugi, Jean-Pierre Jouannaud - 1993