Efficient formalism-independent monitoring of parametric properties
F Chen, PON Meredith, D **… - 2009 IEEE/ACM …, 2009 - ieeexplore.ieee.org
Parametric properties provide an effective and natural means to describe object-oriented
system behaviors, where the parameters are typed by classes and bound to object instances …
system behaviors, where the parameters are typed by classes and bound to object instances …
[PDF][PDF] Monitoring oriented programming-a project overview
This paper gives a brief overview of Monitoring Oriented Programming (MOP). In MOP,
runtime monitoring is supported and encouraged as a fundamental principle for building …
runtime monitoring is supported and encouraged as a fundamental principle for building …