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

Programming Environments
Java
Software engineering
Monitoring
Specifications
Requirements Specification
Software Development
Logic
Framework

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Java-MOP : A monitoring oriented programming environment for java. / Chen, Feng; Rosu, Grigore.

In: Lecture Notes in Computer Science, Vol. 3440, 20.09.2005, p. 546-550.

Research output: Contribution to journalConference article

@article{0f8a3730045b4b72821e8a5dc84933fa,
title = "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.",
author = "Feng Chen and Grigore Rosu",
year = "2005",
month = "9",
day = "20",
language = "English (US)",
volume = "3440",
pages = "546--550",
journal = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
issn = "0302-9743",
publisher = "Springer Verlag",

}

TY - JOUR

T1 - Java-MOP

T2 - A monitoring oriented programming environment for java

AU - Chen, Feng

AU - Rosu, Grigore

PY - 2005/9/20

Y1 - 2005/9/20

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=24644483315&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=24644483315&partnerID=8YFLogxK

M3 - Conference article

AN - SCOPUS:24644483315

VL - 3440

SP - 546

EP - 550

JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

JF - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SN - 0302-9743

ER -