Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Algebraic specification

Algebraic specification, is a software engineering technique for formally specifying system behavior. Algebraic specification seeks to systematically… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
This book provides foundations for software specification and formal software development from the perspective of work on… Expand
  • figure 8.1
Is this relevant?
Highly Cited
2004
Highly Cited
2004
SummaryThere have been many recent proposals for embedding abstract data types in programming languages. In order to reason about… Expand
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2000
Highly Cited
2000
Preface. Introduction J. Goguen, G. Malcolm. Part I: An Introduction to OBJ. 1. Introducing OBJ J.A. Goguen, et al. Part II: OBJ… Expand
Is this relevant?
Highly Cited
1995
Highly Cited
1995
We report on the use of fonnal methods and supporting tools during the development of a language applied in a banking environment… Expand
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
1990
Highly Cited
1990
Two important new concepts, module specifications and constraints, are introduced in this second volume of a three-volume set on… Expand
Is this relevant?
Highly Cited
1987
Highly Cited
1987
Abstract The properties of a simple and natural notion of observational equivalence of algebras and the corresponding… Expand
Is this relevant?
Highly Cited
1985
Highly Cited
1985
The aim of this book is to present fundamentals of algebraic specifications with respect to the following three aspects… Expand
Is this relevant?
Highly Cited
1985
Highly Cited
1985
Abstract The notion of iteratively defined functions from and to heterogeneous term algebras is introduced as the solution of a… Expand
Is this relevant?
Highly Cited
1985
Highly Cited
1985
The properties of a simple and natural notion of observational equivalence of algebras and the corresponding specification… Expand
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
1983
Highly Cited
1983
A kernel specification language called ASL is presented. ASL comprises five fundamental but powerful specification-building… Expand
Is this relevant?