Generating Properties for Runtime Monitoring from Software Specification Patterns.
Oscar MondragonAnn Q. GatesSteve RoachHumberto MendozaOleg SokolskyPublished in: Int. J. Softw. Eng. Knowl. Eng. (2007)
Keyphrases
- design patterns
- software systems
- monitoring system
- real time
- software development
- software design
- high level
- root cause
- source code
- computer systems
- temporal evolution
- software developers
- software tools
- data mining techniques
- formal language
- reactive systems
- tool suite
- highly modular
- sequential patterns
- closed sets
- embedded systems
- user interface
- data structure
- case study
- data sets