Specification of Software Controlling a Discrete-Continuous Environment.
Viktor FriesenStefan JähnichenMatthias WeberPublished in: ICSE (1997)
Keyphrases
- reactive systems
- continuous variables
- requirements specification
- software environment
- simulation environment
- software development
- software tools
- discrete space
- continuous space
- continuous domains
- real time
- software package
- hybrid automata
- operating environment
- programming environment
- software design
- virtual world
- dynamic environments
- formal methods
- specification language
- continuous functions
- discrete data
- software maintenance
- development process
- simulation tool
- software systems
- high level
- test case generation
- information systems