Sciweavers

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

93

TACAS
2005
Springer

112views Algorithms» more TACAS 2005»

Java-MOP: A Monitoring Oriented Programming Environment for Java

15 years 8 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)