ASSPEQUIE: An Integrated Specification Environment Providing Inter-Operability of Tools.
Michel BidoitChristine ChoppyFrédéric VoisinPublished in: AMAST (1996)
Keyphrases
- real time
- software tools
- tool suite
- high level
- database systems
- authoring environment
- dynamic environments
- reactive systems
- ims qti
- mobile robot
- software environment
- code generation
- formal specification
- conceptual models
- simulation environment
- environmental conditions
- building blocks
- expert systems
- search engine
- data mining