Java-MOP: A monitoring oriented programming environment for Java
34 Citations•2015•
Feng Chen
journal unavailable
No TL;DR found
Abstract
Abstract. A Java-based tool-supported software development and anal-ysis framework is presented, where monitoring is a foundational princi-ple. Expressive requirements specification formalisms can be included into the framework via logic plug-ins, allowing one to refer not only to the current state, but also to both past and future states. 1