Time Constraint Patterns for Event B Development.
Dominique CansellDominique MéryJoris RehmPublished in: B (2007)
Keyphrases
- design patterns
- databases
- rapid development
- real time
- information retrieval
- case study
- knowledge based systems
- information processing
- pattern mining
- event types
- event recognition
- soft constraints
- development environment
- temporal patterns
- event detection
- sequential patterns
- software engineering
- information technology
- neural network