The Passau RAP System: Rapid Prototyping for Algebraic Specifications.

Heinrich Hußmann

Published in: STACS (1987)

Keyphrases

rapid prototyping
code generation
development environment
manufacturing processes
agent oriented programming
simulation platform
high level
formal specification
specification language
visual programming
functional requirements
database systems
management system