Author pages are created from data sourced from our academic publisher partnerships and public sources.
- Publications
- Influence
Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations
- J. Goguen, J. Meseguer
- Computer Science, Mathematics
- Theor. Comput. Sci.
- 9 November 1992
TLDR
A hidden agenda
- J. Goguen, G. Malcolm
- Computer Science, Medicine
- Theor. Comput. Sci.
- 17 August 2000
Our experts consider a hot topic of the day.
Techniques for requirements elicitation
TLDR
Initial Algebra Semantics and Continuous Algebras
- J. Goguen, J. Thatcher, E. G. Wagner, J. Wright
- Mathematics, Computer Science
- JACM
- 1977
TLDR
The Semantics of CLEAR, A Specification Language
- R. Burstall, J. Goguen
- Computer Science
- Abstract Software Specifications
- 22 January 1979
TLDR
Principles of OBJ2
- K. Futatsugi, J. Goguen, J. Jouannaud, J. Meseguer
- Computer Science
- POPL '85
- 1985
TLDR
Unwinding and Inference Control
- J. Goguen, J. Meseguer
- Computer Science
- IEEE Symposium on Security and Privacy
- 1 April 1984
TLDR
Logical support for modularisation
- R. Diaconescu, J. Goguen, P. Stefaneas
- Mathematics
- 1 December 1993
Modularisation is important for managing the complex structures that arise in large theorem proving problems, and in large software and/or hardware development projects. This paper studies some… Expand
- 205
- 18
Putting Theories Together to Make Specifications
- R. Burstall, J. Goguen
- Computer Science
- IJCAI
- 22 August 1977
TLDR