Login / Signup
Generating Properties for Runtime Monitoring from Software Specification Patterns.
Oscar Mondragon
Ann Q. Gates
Steve Roach
Humberto Mendoza
Oleg Sokolsky
Published 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