The Passau RAP System: Rapid Prototyping for Algebraic Specifications.

Heinrich Hußmann

Published in: CTRS (1987)

Keyphrases

rapid prototyping
code generation
development environment
agent oriented programming
simulation platform
formal specification
manufacturing processes
high level
visual programming
relational databases
specification language
smart spaces
case study
delay insensitive