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.

• Type: Conference
• Year: 2005
• Where: TACAS
• Authors: Feng Chen, Grigore Rosu
• Keywords: Algorithms, Foundational Principle, Java-based Tool-supported Software, Requirements Specification Formalisms, TACAS 2005