Rapid Prototyping for an Assertional Specification language.
Jorge CuéllarDieter BarnardMartin HuberPublished in: TACAS (1996)
Keyphrases
- specification language
- rapid prototyping
- programming language
- description language
- formal specification
- agent oriented programming
- development environment
- visual programming
- general purpose
- simulation platform
- building blocks
- software environment
- requirements specification
- real world
- dynamic programming
- search algorithm
- cooperative
- multi agent
- web services
- information systems