• Publications
  • Influence
Institutions: abstract model theory for specification and programming
This paper says that any institution such that signatures can be glued together, also allows gluing together theories (which are just collections of sentences over a fixed signature), and shows how to define institutions that allow sentences and constraints from two or more institutions.
Security Policies and Security Models
We assune that the reader is familiar with the ubiquity of information in the modern world and is sympathetic with the need for restricting rights to read, add, modify, or delete information in
L-fuzzy sets
Techniques for requirements elicitation
  • J. Goguen, C. Linde
  • Sociology
    [] Proceedings of the IEEE International…
  • 4 January 1993
The authors survey and evaluate techniques for eliciting requirements of computer-based systems, paying particular attention to dealing with social issues. The methods surveyed include introspection,
A hidden agenda
The Semantics of CLEAR, A Specification Language
A blend of denotational semantics with categorical ideas is used for the Clear language for specifying problems and programs, described by Burstall and Goguen in 1977.
Initial Algebra Semantics and Continuous Algebras
An overview of initial algebra semantics is provided and the major technical feature is an initial continuous algebra which permits unified algebraic treatment of iterative and recursive semantic features in the same framework as more basic operations.
Putting Theories Together to Make Specifications
The present paper sets forth in an informal way the attempts to clarify and generalise the above methods of building up programs in terms of abstract data structures, which derive from the work on theories.
Principles of OBJ2
Four clsssrs of design principles for 01352 ate discussed briefly in this inttoduct, and then in mote detail brlnw: motlulntizntion and patnmcteriantion; (2) subsorts; (3) implcmcntnt; and (4) inlrtaction and flexibility.