Travelled to:1 × Greece
1 × Italy
1 × Latvia
1 × Spain
1 × Sweden
1 × Switzerland
2 × Denmark
4 × France
5 × USA
Collaborated with:∅ J.Meseguer G.Rosu Luqi K.Lin J.Jouannaud F.A.C.Pinheiro L.H.Hamel C.Linde A.J.Alencar K.Futatsugi J.Staunstrup G.Malcolm T.Kemp K.Okada A.Mori A.Sato J.Steensgaard-Madsen J.W.Hughes M.S.Powell H.Ehrig H.Kreowski L.S.Nielsen J.Abrial I.H.Sørensen R.M.Gallimore D.Coleman
Talks about:algebra (5) requir (4) program (3) rewrit (3) formal (3) obj (3) coinduct (2) softwar (2) social (2) orient (2)
Person: Joseph A. Goguen
DBLP: Goguen:Joseph_A=
Contributed to:
2000
2000
1999
19981997
19961994
19941993
1993
19911990
1990
1987
1987
1985
1985
198419821981
1980
19871995Wrote 26 papers:
- ASE-2000-GoguenLR #induction
- Circular Coinductive Rewriting (JAG, KL, GR), pp. 123–132.
- WRLA-2000-GoguenLR #behaviour #induction
- Behavioral and Coinductive Rewriting (JAG, KL, GR), pp. 2–23.
- FM-v2-1999-GoguenR #algebra
- Hiding More of Hidden Algebra (JAG, GR), pp. 1704–1719.
- ALP-PLILP-1998-GoguenMK #theorem
- A Hidden Herbrand Theorem (JAG, GM, TK), pp. 445–462.
- ASE-1997-GoguenLMRS #distributed #formal method #tool support
- Distributed Cooperative Formal Methods Tools (JAG, KL, AM, GR, AS), pp. 55–62.
- ICRE-1996-Goguen #requirements
- Formality and Informality in Requirements Engineering (JAG), pp. 102–109.
- ICRE-1996-PinheiroG #object-oriented #requirements
- An Object-Oriented Tool for Tracing Requirements (FACP, JAG), pp. 219–220.
- PLILP-1994-HamelG #compilation #towards
- Towards a Provably Correct Compiler for OBJ3 (LHH, JAG), pp. 132–146.
- SEKE-1994-LuqiG #analysis #certification #synthesis
- Suggestions for progress in software analysis, synthesis and certification (L, JAG), pp. 501–507.
- RE-1993-Goguen #requirements #social
- Social issues in requirements engineering (JAG), pp. 194–195.
- RE-1993-GoguenL #elicitation #requirements
- Techniques for requirements elicitation (JAG, CL), pp. 152–164.
- TOOLS-EUROPE-1993-Goguen #named
- Keynote: On Notation (JAG), pp. 5–10.
- ECOOP-1991-AlencarG #named #object-oriented
- OOZE: An Object Oriented Z Environment (AJA, JAG), pp. 180–199.
- ALP-1990-Goguen #proving
- Proving and Rewriting (JAG), pp. 1–24.
- VDME-1990-Goguen #algebra #approach #refinement
- An Algebraic Approach to Refinement (JAG), pp. 12–28.
- ICSE-1987-FutatsugiGMO #programming
- Parameterized Programming in OBJ2 (KF, JAG, JM, KO), pp. 51–60.
- LICS-1987-GoguenM #algebra #multi #order
- Order-Sorted Algebra solves the Constructor-Selector, Multiple (JAG, JM), pp. 18–29.
- ICALP-1985-GoguenJM #algebra #order #semantics
- Operational Semantics for Order-Sorted Algebra (JAG, JPJ, JM), pp. 221–231.
- POPL-1985-FutatsugiGJM
- Principles of OBJ2 (KF, JAG, JPJ, JM), pp. 52–66.
- ILPC-1984-GoguenM84 #logic programming #similarity
- Equality, Types, Modules and Generics for Logic Programming (JAG, JM), pp. 115–125.
- ICALP-1982-GoguenM #implementation #persistent
- Universal Realization, Persistent Interconnection and Implementation of Abstract Modules (JAG, JM), pp. 265–281.
- PS-1981-StaunstrupG #geometry
- Geometrical Constructions (JS, JAG), pp. 25–46.
- PS-1981-Steensgaard-MadsenHPEKNASGCG #generative
- KWIC-index generation (JSM, JWH, MSP, HE, HJK, LSN, JRA, IHS, RMG, DC, JAG), pp. 47–117.
- CADE-1980-Guguen #algebra #how #induction
- How to Prove Algebraic Inductive Hypotheses Without Induction (JAG), pp. 356–373.
- AF-1987-GoguenM #logic #modelling #programming #similarity
- Models and Equality for Logical Programming (JAG, JM), pp. 1–22.
- TAPSOFT-1995-GoguenL #development #formal method #social
- Formal Methods and Social Context in Software Development (JAG, L), pp. 62–81.