Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation
暂无分享,去创建一个
[1] Gregor Kiczales,et al. Aspect-oriented programming , 2001, ESEC/FSE-9.
[2] Grigore Rosu,et al. Synthesizing Monitors for Safety Properties , 2002, TACAS.
[3] Mahesh Viswanathan,et al. Java-MaC: a Run-time Assurance Tool for Java Programs , 2001, RV@CAV.
[4] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[5] Stanley M. Sutton,et al. N degrees of separation: multi-dimensional separation of concerns , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).
[6] Grigore Rosu,et al. Monitoring Java Programs with Java PathExplorer , 2001, RV@CAV.
[7] Zohar Manna,et al. The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.
[8] Fred Kröger,et al. Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.
[9] Ron Koymans,et al. Specifying real-time properties with metric temporal logic , 1990, Real-Time Systems.
[10] Bertrand Meyer,et al. Object-Oriented Software Construction, 2nd Edition , 1997 .
[11] Grigore Rosu,et al. Monitoring programs using rewriting , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).
[12] Jeffrey D. Ullman,et al. Introduction to Automata Theory, Languages and Computation , 1979 .
[13] Bertrand Meyer,et al. Eiffel: The Language , 1991 .
[14] Murat Karaorman,et al. jContractor: Bytecode Instrumentation Techniques for Implementing Design by Contract in Java , 2002, Electron. Notes Theor. Comput. Sci..
[15] Edmund M. Clarke,et al. Formal Methods: State of the Art and Future Directions Working Group Members , 1996 .
[16] Heike Wehrheim,et al. Jass - Java with Assertions , 2001, RV@CAV.
[17] Mahesh Viswanathan,et al. Runtime Assurance Based On Formal Specifications , 1999, PDPTA.
[18] Thomas A. Henzinger,et al. Real-Time Logics: Complexity and Expressiveness , 1993, Inf. Comput..