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-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Chen, F., & Roşu, G. (2005). Java-MOP: A monitoring oriented programming environment for java. In Lecture Notes in Computer Science (Vol. 3440, pp. 546–550). Springer Verlag. https://doi.org/10.1007/978-3-540-31980-1_36
Mendeley helps you to discover research relevant for your work.