Java-MOP: A monitoring oriented programming environment for Java
Published 2 February 2015
Feng Chen
Citations34
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveWill appear once the snapshot is generated
MethodsWill appear once the snapshot is generated
PopulationWill appear once the snapshot is generated
Sample sizeWill appear once the snapshot is generated
OutcomesWill appear once the snapshot is generated
ResultsWill appear once the snapshot is generated
LimitationsWill appear once the snapshot is generated
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
Abstract
Abstract. A Java-based tool-supported software development and anal-ysis framework is presented, where monitoring is a foundational princi-ple. 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. 1
Keywords
Arts and HumanitiesHealth Professions