Timed Specification Patterns for System Validation: A Railway Case Study.
Ahmed MekkiMohamed GhazelArmand ToguyéniPublished in: ICINCO (Selected Papers) (2010)
Keyphrases
- case study
- data sets
- pattern discovery
- lessons learned
- pattern mining
- petri net
- design process
- high level
- web services
- artificial intelligence
- learning algorithm
- data mining
- real world
- specification language
- pattern analysis
- design patterns
- similar patterns
- sequential patterns
- frequent patterns
- business process
- software development
- bayesian networks