Generating Properties for Runtime Monitoring from Software Specification Patterns.
Oscar MondragonAnn Q. GatesHumberto MendozaOleg SokolskyPublished in: SEKE (2005)
Keyphrases
- design patterns
- monitoring system
- real time
- software systems
- software development
- tool suite
- software maintenance
- data mining techniques
- formal specification
- software tools
- pattern discovery
- computer systems
- formal methods
- specific features
- software engineering
- high level
- hardware design
- software design
- requirements specification
- software architecture
- desirable properties
- decision support
- source code
- user interface
- neural network
- data sets