Java-MOP: A monitoring oriented programming environment for Java
F Chen, G Roşu - International Conference on Tools and Algorithms for …, 2005 - Springer
F Chen, G Roşu
International Conference on Tools and Algorithms for the Construction and …, 2005•SpringerA Java-based tool-supported software development and analysis framework is presented,
where monitoring is a foundational principle. 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.
where monitoring is a foundational principle. 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.
Abstract
A Java-based tool-supported software development and analysis framework is presented, where monitoring is a foundational principle. 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.
Springer