Social and Semiotic Analyses for Theorem Prover User Interface Design (1999)

by Joseph Goguen
Venue:Formal Aspects of Computing
Citations:19 - 11 self

Active Bibliography

3 Tossing Algebraic Flowers down the Great Divide – Joseph Goguen - 1999
13 An Overview of the Tatami Project – Joseph Goguen, Kai Lin, Grigore Rosu, Akira Mori, Bogdan Warinschi - 2000
7 Web-based support for cooperative software engineering – Joseph A. Goguen, Kai Lin - 2001
1 Web-based Multimedia Support for Distributed Cooperative Software Engineering – Joseph Goguen, Kai Lin - 2000
2 Are Agents an Answer or a Question? – Joseph A. Goguen - 2001
120 Introducing OBJ – Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi, Jean-Pierre Jouannaud - 1993
Steps towards a Design Theory for Virtual Worlds – Joseph A. Goguen
7 Style as a choice of blending principles – Joseph A. Goguen, D. Fox Harrell - 2004
16 Information Visualization and Semiotic Morphisms – Joseph A. Goguen - 2000
2 Hidden Algebraic Engineering – Joseph A. Goguen - 1997
10 Hidden Algebra for Software Engineering – Joseph A. Goguen - 1999
2 Shades of computational evocation and meaning: The GRIOT system and improvisational poetry generation – D. Fox Harrell - 2005
7 Distributed Cooperative Formal Methods Tools – Joseph Goguen, Kai Lin, Akira Mori, Grigore Rosu, Akiyoshi Sato - 1997
10 Algebraic Semiotics, ProofWebs, and Distributed Cooperative Proving – Joseph Goguen, Akira Mori, Kai Lin - 1997
40 Towards a social, ethical theory of information – Joseph A. Goguen - 1997
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
11 A Hidden Herbrand Theorem: Combining the Object and Logic Paradigms – Joseph Goguen, Grant Malcolm, Tom Kemp - 1998
17 Semiotic Morphisms, Representations and Blending for Interface Design – Joseph Goguen - 2003
6 Musical Qualia, Context, Time, and Emotion – Joseph Goguen - 2004