Web-based support for cooperative software engineering (2001)

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

Documents Related by Co-Citation

110 A Hidden Agenda – Joseph Goguen, Grant Malcolm - 2000
40 Towards a social, ethical theory of information – Joseph A. Goguen - 1997
3 The ethics of databases – Joseph Goguen - 2002
20 Some elements of a Sociology of Translation – M Callon - 1986
20 An analysis of the course of a joke’s telling in conversation – H Sacks - 1974
466 1989] The emperor’s new mind – R Penrose
24 Hidden Coinduction: Behavioral Correctness Proofs for Objects – Joseph A. Goguen, Grant Malcolm - 1999
72 Types as theories – Joseph Goguen - 1991
228 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
474 Institutions: abstract model theory for specification and programming – J A Goguen, R M Burstall - 1992
3 Toposes and Local Set Theories: an introduction. Number 14 in Oxford Logic Guides – John L Bell - 1988
4 Context induction: a proof principle for behavioural abstractions – Rolf Henniker - 1990
24 Burstall and Razvan Diaconescu. Hiding and behaviour: an institutional approach – Rod - 1994
9 An Axiomatics for Categories of Transition Systems as Coalgebras – Peter Johnstone, John Power, Toru Tsujishita, James Worrell - 1998
12 Grothendieck topology as geometric modality – R Goldblatt - 1981
68 Objects and Classes, Coalgebraically – B. Jacobs, Issn -x, Bart Jacobs - 1995
28 A.: Implementation and behavioural equivalence : a survey – F Orejas, M Navarro, Sánchez - 1993
77 Co-induction in relational semantics – R Milner, M Tofte - 1991
107 A Calculus of Mobile Processes, Part II – Robin Milner, Joachim Parrow, David Walker - 1989