• Publications
  • Influence
L-fuzzy sets
  • 2,183
  • 74
Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations
TLDR
We show that it is safe to add retracts to any OSA signature, in the sense that it gives rise to a conservative extension. Expand
  • 565
  • 34
A hidden agenda
Our experts consider a hot topic of the day.
  • 200
  • 34
Techniques for requirements elicitation
  • J. Goguen, C. Linde
  • Computer Science
  • [] Proceedings of the IEEE International…
  • 4 January 1993
TLDR
The authors survey and evaluate techniques for eliciting tacit knowledge of requirements of computer-based systems, paying particular attention to dealing with social issues. Expand
  • 565
  • 32
  • PDF
Initial Algebra Semantics and Continuous Algebras
TLDR
An overview of initial algebra semantics which permits unified algebraic treatment of iterative and recursive semantic features in the same framework as basic operations. Expand
  • 871
  • 28
  • PDF
The Semantics of CLEAR, A Specification Language
TLDR
A semantics for the Clear language for specifying problems and programs, described by Burstall and Goguen in 1977. Expand
  • 478
  • 23
Principles of OBJ2
TLDR
01352 is a functional programming language with an underlying formal semantics that is based upon equational logic, and an oprtationnl semantics that are based upon rewrite rules. Expand
  • 560
  • 22
Unwinding and Inference Control
TLDR
This paper discusses two main ideas, unwinding and inference control. Expand
  • 482
  • 19
  • PDF
Logical support for modularisation
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 someExpand
  • 205
  • 18
Putting Theories Together to Make Specifications
TLDR
We have been developing a language in which you can give structured descriptions of theories. Expand
  • 516
  • 16
  • PDF