Design Patterns for Integrating Variability in Timed Automata.
Ralf MitschingCarsten WeiseStefan KowalewskiPublished in: SSIRI (Companion) (2010)
Keyphrases
- design patterns
- timed automata
- model checking
- software engineering
- object oriented
- reachability analysis
- software design
- software systems
- ontology driven
- design principles
- object oriented software
- database driven
- software architecture
- theorem prover
- first order logic
- theorem proving
- software product line
- temporal logic
- learning objects
- usage scenarios
- knowledge base
- low cost
- pattern languages
- learning games
- artificial intelligence
- process model
- database