Sciweavers

Share
TACAS
2005
Springer

Java-MOP: A Monitoring Oriented Programming Environment for Java

11 years 11 months ago
Java-MOP: A Monitoring Oriented Programming Environment for Java
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.
Feng Chen, Grigore Rosu
Added 28 Jun 2010
Updated 28 Jun 2010
Type Conference
Year 2005
Where TACAS
Authors Feng Chen, Grigore Rosu
Comments (0)
books