Web-based support for cooperative software engineering (2001)

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

Active Bibliography

14 An Overview of the Tatami Project – Joseph Goguen, Kai Lin, Grigore Rosu, Akira Mori, Bogdan Warinschi - 2000
3 Tossing Algebraic Flowers down the Great Divide – Joseph Goguen - 1999
3 Web-based Multimedia Support for Distributed Cooperative Software Engineering – Joseph Goguen, Kai Lin - 2000
18 Social and Semiotic Analyses for Theorem Prover User Interface Design – Joseph Goguen - 1999
6 Style as a choice of blending principles – Joseph A. Goguen, D. Fox Harrell - 2004
2 Hidden Algebraic Engineering – Joseph A. Goguen - 1997
10 Hidden Algebra for Software Engineering – Joseph A. Goguen - 1999
11 A Hidden Herbrand Theorem: Combining the Object and Logic Paradigms – Joseph Goguen, Grant Malcolm, Tom Kemp - 1998
2 Verifying design with proof scores – Kokichi Futatsugi, Joseph A. Goguen, Kazuhiro Ogata - 2005
7 Distributed Cooperative Formal Methods Tools – Joseph Goguen, Kai Lin, Akira Mori, Grigore Rosu, Akiyoshi Sato - 1997
Behavioral Abstraction is Information Hiding – Grigore Rosu
31 An Implementation-Oriented Semantics for Module Composition – Joseph Goguen, Will Tracz - 1997
9 Foundations of Behavioural Specification in Rewriting Logic – Razvan Diaconescu - 1996
4 A Hidden Herbrand Theorem – Joseph Goguen, Grant Malcolm, Tom Kemp
118 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
15 Information Visualization and Semiotic Morphisms – Joseph A. Goguen - 2000
5 Sociable CSCL environments. Social affordances, sociability, and social presence – Karel Kreijns - 2004
THE DESIGN AND EVALUATION OF GRAPHICAL RADIAL MENUS – Krystian Samp, My Sisters - 2011