Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

TACAS
2005
Springer

favoriteEmaildiscussreport

112views Algorithms» more TACAS 2005»

Java-MOP: A Monitoring Oriented Programming Environment for Java

13 years 9 months ago

Java-MOP: A Monitoring Oriented Programming Environment for Java

Download fsl.cs.uiuc.edu

Abstract. A Java-based tool-supported software development and analysis framework is presented, where monitoring is a foundational principle. Expressive requirements speciﬁcation 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.

Feng Chen, Grigore Rosu

Real-time Traffic

Algorithms | Foundational Principle | Java-based Tool-supported Software | Requirements Speciﬁcation Formalisms | TACAS 2005 |

claim paper

Related Content

» Checking and Correcting Behaviors of Java Programs at Runtime with JavaMOP

» A Formal MonitoringBased Framework for Software Development and Analysis

» Dependent advice a general approach to optimizing historybased aspects

» A JavaBased Parallel Programming Support Environment

» A Data Structure Oriented Monitoring Environment for Fortran OpenMP Programs

» AspectOriented Race Detection in Java

» ObjectOriented Parallelisation of Java Desktop Programs

» Linking ObjectOriented Conceptual Modeling with ObjectOriented Implementation in Java

» Agent Oriented Programming Based on SLABS

Post Info
More Details (n/a)

Added	28 Jun 2010
Updated	28 Jun 2010
Type	Conference
Year	2005
Where	TACAS
Authors	Feng Chen, Grigore Rosu

Comments (0)