Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation

Views