Design of a Specification Language by Abstract Syntax Engineering.

Jos C. M. Baeten Jan A. Bergstra

Published in: Algebraic Methods (1989)

Keyphrases

specification language
engineering design
design process
software environment
high level
case study
computer science
programming language
databases
building blocks
formal specification
description language
database
product design