GSBL: An Algebraic Specification Language Based on Inheritance.

Silvia Clerici Fernando Orejas

Published in: ECOOP (1988)

Keyphrases

specification language
programming language
object oriented
formal specification
description language
object oriented databases
knowledge representation
symbolic execution
software environment
multiple inheritance
requirements specification
database
databases
expert systems
dynamic programming
test cases