Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation.
Philippe DhaussyPierre Yves PillainStephen CreffAmine RajiYves Le TraonBenoit BaudryPublished in: MoDELS (2009)
Keyphrases
- contextual information
- formal methods
- user interface
- context aware
- software tools
- design patterns
- conceptual model
- software systems
- software development
- high level
- software architecture
- root cause
- pattern mining
- data mining
- software quality
- interesting patterns
- similar patterns
- context dependent
- pattern discovery
- formal model
- data streams
- case study
- artificial intelligence