zbMATH — the first resource for mathematics

Java-MOP: A monitoring oriented programming environment for Java. (English) Zbl 1087.68550
Halbwachs, Nicolas (ed.) et al., Tools and algorithms for the construction and analysis of systems. 11th international conference, TACAS 2005, held as part of the joint European conference on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25333-5/pbk). Lecture Notes in Computer Science 3440, 546-550 (2005).
Summary: 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.
For the entire collection see [Zbl 1068.68006].

68N99 Theory of software
68N15 Theory of programming languages
Jass; Java-MaC; Java-MOP; JML; JPAX; MOP
Full Text: DOI