Java-MOP: A monitoring oriented programming environment for java

Feng Chen, Grigore Roşu

Research output: Contribution to journalConference articlepeer-review

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.

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Java-MOP: A monitoring oriented programming environment for java'. Together they form a unique fingerprint.

Cite this