{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:47:21Z","timestamp":1725893241054},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540773948"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-77395-5_7","type":"book-chapter","created":{"date-parts":[[2007,12,6]],"date-time":"2007-12-06T11:25:53Z","timestamp":1196940353000},"page":"75-86","source":"Crossref","is-referenced-by-count":0,"title":["Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification"],"prefix":"10.1007","author":[{"given":"Omar","family":"Ochoa","sequence":"first","affiliation":[]},{"given":"Irbis","family":"Gallegos","sequence":"additional","affiliation":[]},{"given":"Steve","family":"Roach","sequence":"additional","affiliation":[]},{"given":"Ann","family":"Gates","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"12","key":"7_CR1","doi-asserted-by":"publisher","first-page":"859","DOI":"10.1109\/TSE.2004.91","volume":"30","author":"N. Delgado","year":"2004","unstructured":"Delgado, N., Gates, A., Roach, S.: A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools. IEEE Transactions on Software Engineering\u00a030(12), 859\u2013872 (2004)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"G. Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A.: Aspect-Oriented Programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 220\u2013242. Springer, Heidelberg (1997)"},{"unstructured":"MaC: Run-time Monitoring and Checking (MaC) (2006), \n                    \n                      http:\/\/www.cis.upenn.edu\/rtg\/mac\/index.php3","key":"7_CR3"},{"doi-asserted-by":"crossref","unstructured":"Emerson, E.: Temporal and Modal Logic. Handbook of theoretical computer science: formal models and semantics B, 995\u20131072 ( 1990)","key":"7_CR4","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"unstructured":"Palo Alto Research Center: \u00d2The AspectJ Programming Guide\u00d3 (October 1, 2006) [Online] available, \n                    \n                      http:\/\/www.eclipse.org\/aspectj\/doc\/released\/progguide\/index.html","key":"7_CR5"},{"unstructured":"Kim, M., Kannan, S., Lee, I., Sokolsky, O.: Java-MaC: A Run-time Assurance Tool for Java. In: Proc. 1st International Workshop on Run-time Verification (2001)","key":"7_CR6"},{"issue":"2","key":"7_CR7","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1023\/B:FORM.0000017719.43755.7c","volume":"24","author":"M. Kim","year":"2004","unstructured":"Kim, M., Viswanathan, M., Kannan, S., Lee, I., Sokolsky, O.: Java-MaC: A Run-time Assurance Approach for Java Programs. Formal Methods in System Design\u00a024(2), 129\u2013155 (2004)","journal-title":"Formal Methods in System Design"},{"doi-asserted-by":"crossref","unstructured":"Hilsdale, E., Hugunin, J.: Advice Weaving in AspectJ. In: Proc. Aspect-oriented Software Development 2004, pp. 26\u201335 (2004)","key":"7_CR8","DOI":"10.1145\/976270.976276"},{"unstructured":"Alto, P.: Research Center: The AspectJ Programming Guide (2006), \n                    \n                      http:\/\/www.eclipse.org\/aspectj\/doc\/released\/progguide\/index.html","key":"7_CR9"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"G. Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A.: Aspect-Oriented Programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 220\u2013242. Springer, Heidelberg (1997)"},{"doi-asserted-by":"crossref","unstructured":"Kiczales, G., Hilsdale, E., Hugunin, J., Kerten, M., Palm, J., Griswold, W.G.: An overview of AspectJ. In: Proc. European Conference on Object- Oriented Programming 2001 (2001)","key":"7_CR11","DOI":"10.1007\/3-540-45337-7_18"},{"volume-title":"Formal Methods for Real-Time Systems. Number 5 in Trends in Software","year":"1996","unstructured":"Heitmeyer, C., Mandrioli, D. (eds.): Formal Methods for Real-Time Systems. Number 5 in Trends in Software. John Wiley & Sons, Chichester (1996)","key":"7_CR12"},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","volume-title":"ICFEM 2004.Proc. 6th International Conference on Formal Engineering Methods","author":"F. Chen","year":"2004","unstructured":"Chen, F., D\u2019Amorim, M., Rosu, G.: A Formal Monitoring-based Framework for Software Development and Analysis. In: Davies, J., Schulte, W., Barnett, M. (eds.) ICFEM 2004. LNCS, vol.\u00a03308, Springer, Heidelberg (2004)"},{"key":"7_CR14","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1142\/S021819400700315X","volume":"17","author":"O. Mondragon","year":"2007","unstructured":"Mondragon, O., Gates, A.Q., Roach, S., Mendoza, H., Sokolsky, O.: Generating Properties for Runtime Monitoring from Software Specification Patterns. International Journal of Software Engineering and Knowledge Engineering\u00a017, 107\u2013126 (2007)","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"unstructured":"Sadjadi, M., McKinley, P.K., Stirewalt, R.E.K., Cheng, B.H.C.: Generation of Self-Optimizing Wireless Network Applications. In: ICAC-04. Proc. International Conference on Autonomic Computing (2004)","key":"7_CR15"},{"unstructured":"Stolz, V., Bodden, E.: Temporal Assertions using AspectJ. In: RV 2005. Proc 5th Workshop on Runtime Verification (2005)","key":"7_CR16"},{"issue":"3","key":"7_CR17","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/j.entcs.2004.01.027","volume":"113","author":"M. Karaorman","year":"2005","unstructured":"Karaorman, M., Freeman, J.: Java Runtime Event Specification and Monitoring Library. Electronic Notes in Theoretical Computer Science\u00a0113(3), 181\u2013200 (2005)","journal-title":"Electronic Notes in Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77395-5_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:10:42Z","timestamp":1619521842000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77395-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540773948"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77395-5_7","relation":{},"subject":[]}}