Rapid Prototyping of Specification Language Implementations.
Martin LeuckerThomas NollPublished in: IEEE International Workshop on Rapid System Prototyping (1999)
Keyphrases
- rapid prototyping
- specification language
- formal specification
- programming language
- description language
- development environment
- agent oriented programming
- software environment
- requirements specification
- information systems
- database systems
- cooperative
- visual programming
- relational databases
- heuristic search
- simulation platform