Java-MOP: A monitoring oriented programming environment for java

Lecture Notes in Computer Science

Volumn 3440, Issue , 2005, Pages 546-550

  Chen, Feng ^a   Roşu, Grigore ^a  

^a University of Illinois at Urbana Champaign   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

LOGIC PROGRAMMING; OBJECT ORIENTED PROGRAMMING; SOFTWARE ENGINEERING; SPECIFICATIONS;

JAVA-BASED TOOL-SUPPORTED SOFTWARE DEVELOPMENT; JAVA-MOP; ORIENTED PROGRAMMING ENVIRONMENT;

JAVA PROGRAMMING LANGUAGE;

EID: 24644483315     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31980-1_36     Document Type: Conference Paper

References (13)

1. H. Barringer, A. Goldberg, K. Havelund, and K. Sen. Program monitoring with Itl in eagle. In Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD'04) (Satellite workshop of IPDPS'04), Santa Fe, New Mexico, USA, April 2004. IEEE digital library.
2. F. Chen, M. D'Amorim, and G. Roşu. A formal monitoring-based framework for software development and analysis. In Proceedings of the 6th International Conference on Formal Engineering Methods (ICFEM'04), volume to appear of Lecture Notes in Computer Science. Springer-Ver lag, 2004.
3. M. M. Detlef Bartetzko, Clemens Fischer and H. Wehrheim. Jass - java with assertions. In Electronic Notes in Theoretical Computer Science, volume 55. Elsevier Science Publishers, 2001.
4. D. Drusinsky. Monitoring Temporal Rules Combined with Time Series. In Proc. of CAV'03: Computer Aided Verification, volume 2725 of Lecture Notes in Computer Science, pages 114-118, Boulder, Colorado, USA, 2003. Springer-Verlag.
5. K. Havelund and G. Roşu. Workshops on Runtime Verification (RV'01, RV'02, RV'04), volume 55, 70(4), to appear of ENTCS. Elsevier, 2001, 2002, 2004.
6. K. Havelund and G. Roşu. An overview of the runtime verification tool Java PathExplorer. Formal Methods in System Design, 24(2): 189-215, 2004.
7. M. Kim, S. Kannan, I. Lee, and O. Sokolsky. Java-MaC: a Run-time Assurance Tool for Java. In Proceedings of Runtime Verification (RV'01), volume 55 of Electronic Notes in Theoretical Computer Science. Elsevier Science, 2001.
8. G. T. Leavens, K. R. M. Leino, E. Poll, C. Ruby, and B. Jacobs. JML: notations and tools supporting detailed design in Java. In OOPSLA 2000 Companion, pages 105-106, 2000.
9. Z. Manna and A. Pnueli. Temporal Verification of Reactive Systems: Safety. Springer, New York, 1995.
10. B. Meyer. Object-Oriented Software Construction, 2nd edition. Prentice Hall, Upper Saddle River, New Jersey, 2000.
11. Mop website. http://fsl.cs.uiuc.edu/mop.
12. K. Sen, G. Roşu, and G. Agha. Runtime safety analysis of multithreaded programs. In Proceedings of 4th joint European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering, (ESEC/FSE'03). ACM, 2003.
13. L. Sha, R. Rajkumar, and M. Gagliardi. The simplex architecture: An approach to build evolving industrial co mputing systems. In Proceedings of The ISSAT Conference on Reliability, 1994.