BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Goguen:Joseph_A=

Contributed to:

ASE 20002000
WRLA 20002000
World Congress on Formal Methods 19991999
ALP/PLILP 19981998
ASE 19971997
ICRE 19961996
PLILP 19941994
SEKE 19941994
RE 19931993
TOOLS Europe 19931993
ECOOP 19911991
ALP 19901990
VDM Europe 19901990
ICSE 19871987
LICS 19871987
ICALP 19851985
POPL 19851985
ILPC 19841984
ICALP 19821982
PS 19811981
CADE 19801980
TAPSOFT, Vol.2: AS 19871987

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.