A Formal Monitoring-Based Framework for Software Development and Analysis.

Feng Chen Marcelo d'Amorim Grigore Rosu

Published in: ICFEM (2004)

Keyphrases

software development
main contribution
monitoring system
software architecture
data analysis
software systems
image analysis
analysis tool
formal analysis
statistical analysis
data acquisition
impact analysis
real world
model driven
theoretical framework
software engineering
probabilistic model
data mining