Java-MOP: A monitoring oriented programming environment for java

Feng Chen; Grigore Roşu

doi:10.1007/978-3-540-31980-1_36

Java-MOP: A monitoring oriented programming environment for java

Research output: Contribution to journal › Conference article › peer-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.

Original language	English (US)
Pages (from-to)	546-550
Number of pages	5
Journal	Lecture Notes in Computer Science
Volume	3440
DOIs	https://doi.org/10.1007/978-3-540-31980-1_36
State	Published - 2005
Event	11th 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 2005 → Apr 8 2005

ASJC Scopus subject areas

Theoretical Computer Science
Computer Science(all)

Online availability

10.1007/978-3-540-31980-1_36

Library availability

Discover UIUC Full Text

Cite this

@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 Ro{\c s}u",

year = "2005",

doi = "10.1007/978-3-540-31980-1_36",

language = "English (US)",

volume = "3440",

pages = "546--550",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer",

note = "11th 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 ; Conference date: 04-04-2005 Through 08-04-2005",

}

TY - JOUR

T1 - Java-MOP

T2 - 11th 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

AU - Chen, Feng

AU - Roşu, Grigore

PY - 2005

Y1 - 2005

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

U2 - 10.1007/978-3-540-31980-1_36

DO - 10.1007/978-3-540-31980-1_36

M3 - Conference article

AN - SCOPUS:24644483315

SN - 0302-9743

VL - 3440

SP - 546

EP - 550

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

Y2 - 4 April 2005 through 8 April 2005

ER -

Java-MOP: A monitoring oriented programming environment for java

Abstract

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this