{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T04:44:34Z","timestamp":1764305074941,"version":"build-2065373602"},"reference-count":20,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2003,10,1]],"date-time":"2003-10-01T00:00:00Z","timestamp":1064966400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2003,10,1]],"date-time":"2003-10-01T00:00:00Z","timestamp":1064966400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3589,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2003,10]]},"DOI":"10.1016\/s1571-0661(04)81045-4","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T12:47:47Z","timestamp":1096462067000},"page":"108-127","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":63,"title":["Towards Monitoring-Oriented Programming"],"prefix":"10.1016","volume":"89","author":[{"given":"Feng","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Grigore","family":"Ro\u015fu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)81045-4_NEWBIB1","article-title":"jcontractor: Bytecode instrumentation techniques for implementing design by contract in java","volume":"volume 70","author":"Abercrombie","year":"2002"},{"issue":"4","key":"10.1016\/S1571-0661(04)81045-4_NEWBIB2","doi-asserted-by":"crossref","first-page":"626","DOI":"10.1145\/242223.242257","article-title":"Formal methods: state of the art and future directions","volume":"28","author":"Clarke","year":"1996","journal-title":"ACM Computing Surveys"},{"key":"10.1016\/S1571-0661(04)81045-4_NEWBIB3","article-title":"Jass - java with assertions","volume":"volume 55","author":"Bartetzko","year":"2001"},{"key":"10.1016\/S1571-0661(04)81045-4_NEWBIB4","unstructured":"Doron Drusinsky. Temporal rover. http:\/\/www.time-rover.com."},{"key":"10.1016\/S1571-0661(04)81045-4_NEWBIB5","doi-asserted-by":"crossref","unstructured":"Klaus Havelund and Grigore Ro\u015fu. Monitoring java programs with java pathexplorer. In Klaus Havelund and Grigore Ro\u015fu, editors, Proceedings of the First Workshop on Runtime Verification (RV'01), Paris, France, July 2001, volume 55 of Electronic Notes in Theoretical Computer Science. Elsevier Science, 2001.","DOI":"10.1016\/S1571-0661(04)00253-1"},{"key":"10.1016\/S1571-0661(04)81045-4_NEWBIB6","doi-asserted-by":"crossref","unstructured":"Klaus Havelund and Grigore Ro\u015fu. Monitoring programs using rewriting. In Proceedings, International Conference on Automated Software Engineering (ASE'01), pages 135\u2013143. Institute of Electrical and Electronics Engineers, 2001. Coronado Island, California, 26\u201329 November 2001.","DOI":"10.1109\/ASE.2001.989799"},{"key":"10.1016\/S1571-0661(04)81045-4_NEWBIB7","first-page":"342","article-title":"Synthesizing monitors for safety properties","author":"Havelund","year":"2002","journal-title":"Tools and Algorithms for Construction and Analysis of Systems (TACAS'02)"},{"year":"1985","series-title":"Communicating Sequential Processes","author":"Hoare","key":"10.1016\/S1571-0661(04)81045-4_NEWBIB8"},{"year":"1979","series-title":"Introduction to Automata Theory, Languages and Computation","author":"Hopcroft","key":"10.1016\/S1571-0661(04)81045-4_NEWBIB9"},{"key":"10.1016\/S1571-0661(04)81045-4_NEWBIB10","unstructured":"Sampath Kannan Insup Lee, Moonjoo Kim, Oleg Sokolsky, and Mahesh Viswanathan. Runtime Assurance Based on Formal Specifications. In Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999."},{"key":"10.1016\/S1571-0661(04)81045-4_NEWBIB11","doi-asserted-by":"crossref","unstructured":"Gregor Kiczales and John Lamping. Aspect-oriented programming. In Mehmet Ak\u015fit and Satoshi Matsuoka, editors, Proceedings European Conference on Object-Oriented Programming, volume 1241, pages 220\u2013242. Springer-Verlag, Berlin, Heidelberg, and New York, 1997.","DOI":"10.1007\/BFb0053381"},{"key":"10.1016\/S1571-0661(04)81045-4_NEWBIB12","article-title":"Java-mac: a run-time assurance tool for java programs","volume":"volume 55","author":"Kim","year":"2001"},{"year":"1992","series-title":"The Temporal Logic of Reactive and Concurrent Systems","author":"Manna","key":"10.1016\/S1571-0661(04)81045-4_NEWBIB13"},{"year":"2000","series-title":"Object-Oriented Software Construction, 2nd edition","author":"Meyer","key":"10.1016\/S1571-0661(04)81045-4_NEWBIB14"},{"key":"10.1016\/S1571-0661(04)81045-4_NEWBIB15","unstructured":"Eclipse Org. Eclipse project. http:\/\/www.eclipse.org."},{"key":"10.1016\/S1571-0661(04)81045-4_NEWBIB16","doi-asserted-by":"crossref","unstructured":"Amir Pnueli. The Temporal Logic of Programs. In Proceedings of the 18th IEEE Symposium on Foundations of Computer Science, pages 46\u201377, 1977.","DOI":"10.1109\/SFCS.1977.32"},{"key":"10.1016\/S1571-0661(04)81045-4_NEWBIB17","doi-asserted-by":"crossref","unstructured":"R. Alur and T.A. Henzinger. Real-Time Logics: Complexity and Expressiveness. In Fifth Annual IEEE Symposium on Logic in Computer Science, pages 390\u2013401, Washington, D.C., 1990. IEEE Computer Society Press.","DOI":"10.1109\/LICS.1990.113764"},{"issue":"4","key":"10.1016\/S1571-0661(04)81045-4_NEWBIB18","first-page":"255","article-title":"Specifying Real-Time Properties with Metric Temporal Logic","volume":"2","author":"Koymans","year":"1990","journal-title":"RealTime Systems"},{"key":"10.1016\/S1571-0661(04)81045-4_NEWBIB19","unstructured":"Eiffel Software. Eiffel language. http:\/\/www.eiffel.com\/."},{"key":"10.1016\/S1571-0661(04)81045-4_NEWBIB20","doi-asserted-by":"crossref","unstructured":"Peri L. Tarr, Harold Ossher, William H. Harrison, and Stanley M. Sutton Jr. N degrees of separation: Multi-dimensional separation of concerns. In International Conference on Software Engineering, pages 107\u2013119, 1999.","DOI":"10.1145\/302405.302457"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104810454?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104810454?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:06:37Z","timestamp":1761609997000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104810454"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,10]]},"references-count":20,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2003,10]]}},"alternative-id":["S1571066104810454"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)81045-4","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[2003,10]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Towards Monitoring-Oriented Programming","name":"articletitle","label":"Article Title"},{"value":"Electronic Notes in Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S1571-0661(04)81045-4","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2003 Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}