Java-MOP: A monitoring oriented programming environment for java

Feng Chen, Grigore Rosu

Research output: Contribution to journalConference article

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.

Original languageEnglish (US)
Pages (from-to)546-550
Number of pages5
JournalLecture Notes in Computer Science
Volume3440
StatePublished - Sep 20 2005
Event11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 - Edinburgh, United Kingdom
Duration: Apr 4 2005Apr 8 2005

    Fingerprint

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this