Prototyping Non-Deterministic Algebraic Specifications using the RAP System.

Heinrich Hußmann

Published in: ADT (1988)

Keyphrases

high level
code generation
delay insensitive
development process
black box
formal specification
rapid prototyping
artificial intelligence
control flow
data sets
genetic algorithm
image processing
website
multi agent
relational databases
linear algebra