Algebraic specification

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
ion, based on behavioural equivalence of algebras. In the above, similar mo344 8 Behavioural specifications tivation led to a new… (More)
Is this relevant?
Highly Cited
2003
Highly Cited
2003
We present and evaluate an automatic tool for extracting algebraic specifications from Java classes. Our tool maps a Java class… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1998
Highly Cited
1998
Let's read! We will often find out this sentence everywhere. When still being a kid, mom used to order us to always read, so did… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
The main ideas underlying work on the model-theoretic foundations of algebraic specification and formal program development are… (More)
Is this relevant?
Highly Cited
1990
Highly Cited
1990
Do you ever know the book? Yeah, this is a very interesting book to read. As we told previously, reading is not kind of… (More)
Is this relevant?
Highly Cited
1990
Highly Cited
1990
When there are many people who don't need to expect something more than the benefits to take, we will suggest you to have willing… (More)
Is this relevant?
Review
1985
Review
1985
data type in the sense of Hoare describes the class of admissible representations (or implementations), that a specification… (More)
Is this relevant?
Highly Cited
1983
Highly Cited
1983
Abatrect A kernel specification language called ASL is presented. ASL comprises five fundamental but powerful… (More)
Is this relevant?
Highly Cited
1978
Highly Cited
1978
There have been many recent proposals for embedding abstract data types in programming languages. In order to reason about… (More)
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
1978
Highly Cited
1978
This paper extends our earlier work on abstract data types by providing an algebraic treatment of parametrized data types (e.g… (More)
Is this relevant?