Web-based support for cooperative software engineering (2001)

by Joseph A. Goguen , Kai Lin
Venue:Annals of Software Engineering
Citations:7 - 2 self

Active Bibliography

13 An Overview of the Tatami Project – Joseph Goguen, Kai Lin, Grigore Rosu, Akira Mori, Bogdan Warinschi - 2000
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
7 Style as a choice of blending principles – Joseph A. Goguen, D. Fox Harrell - 2004
19 Social and Semiotic Analyses for Theorem Prover User Interface Design – Joseph Goguen - 1999
Steps towards a Design Theory for Virtual Worlds – Joseph A. Goguen
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
Behavioral Abstraction is Information Hiding – Grigore Rosu
7 Distributed Cooperative Formal Methods Tools – Joseph Goguen, Kai Lin, Akira Mori, Grigore Rosu, Akiyoshi Sato - 1997
120 Introducing OBJ – Joseph A. Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi, Jean-Pierre Jouannaud - 1993
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
16 Information Visualization and Semiotic Morphisms – Joseph A. Goguen - 2000
THE DESIGN AND EVALUATION OF GRAPHICAL RADIAL MENUS – Krystian Samp - 2011
8 Sociable CSCL environments. Social affordances, sociability, and social presence – Karel Kreijns - 2004
49 Manipulation in human environments – Aaron Edsinger, Charles C. Kemp - 2006
Wayfinding Choremes -- Conceptualizing . . . – Alexander Klippel - 2003