Real-Time Specification Patterns and Tools
Nouha AbidSilvano Dal-ZilioDidier Le BotlanPublished in: CoRR (2013)
Keyphrases
- real time
- software tools
- design patterns
- tool suite
- high level
- low cost
- decision support
- real time systems
- high speed
- control system
- end users
- data mining techniques
- data acquisition
- pattern mining
- user friendly
- information systems
- interesting patterns
- data mining
- data warehouse
- specification language
- formal methods
- formal specification
- knowledge base
- pattern discovery
- database systems
- quality of service
- vision system