{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:20:51Z","timestamp":1750306851124,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,9,23]],"date-time":"2010-09-23T00:00:00Z","timestamp":1285200000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"CNPq","award":["314539\/2009-3"],"award-info":[{"award-number":["314539\/2009-3"]}]},{"name":"FACEPE","award":["IBPG-1664-1.03\/08"],"award-info":[{"award-number":["IBPG-1664-1.03\/08"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,9,23]]},"DOI":"10.1145\/2581507.2581513","type":"proceedings-article","created":{"date-parts":[[2015,12,7]],"date-time":"2015-12-07T19:33:56Z","timestamp":1449516836000},"page":"1-14","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["The contract enforcement aspect pattern"],"prefix":"10.1145","author":[{"given":"Henrique M.","family":"Reb\u00ealo","sequence":"first","affiliation":[{"name":"Federal University of Pernambuco, Recife, PE"}]},{"given":"Ricardo","family":"Lima","sequence":"additional","affiliation":[{"name":"Federal University of Pernambuco, Recife, PE"}]},{"given":"Uir\u00e1","family":"Kulesza","sequence":"additional","affiliation":[{"name":"Federal University of Rio Grande do Norte, Natal, RN"}]},{"given":"Roberta","family":"Coelho","sequence":"additional","affiliation":[{"name":"Federal University of Rio Grande do Norte, Natal, RN"}]},{"given":"Alexandre","family":"Mota","sequence":"additional","affiliation":[{"name":"Federal University of Pernambuco, Recife, PE"}]},{"given":"M\u00e1rcio","family":"Ribeiro","sequence":"additional","affiliation":[{"name":"Federal University of Pernambuco, Recife, PE"}]},{"given":"Jos\u00e9 Elias","family":"Ara\u00fajo","sequence":"additional","affiliation":[{"name":"Federal University of Pernambuco, Recife, PE"}]}],"member":"320","published-online":{"date-parts":[[2010,9,23]]},"reference":[{"volume-title":"OOPSLA 2000 Workshop: Methods and Tools for Object-Oriented Framework Development and Specialization.","author":"Breitling H.","key":"e_1_3_2_1_1_1","unstructured":"Breitling , H. , Lilienthal , C. , Lippert , M. , and Z\u00fcllighoven , H . 2000. The JWAM Framework: Inspired by research, reality-tested by commercial utilization . In OOPSLA 2000 Workshop: Methods and Tools for Object-Oriented Framework Development and Specialization. Breitling, H., Lilienthal, C., Lippert, M., and Z\u00fcllighoven, H. 2000. The JWAM Framework: Inspired by research, reality-tested by commercial utilization. In OOPSLA 2000 Workshop: Methods and Tools for Object-Oriented Framework Development and Specialization."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2005.55"},{"volume-title":"OOPSLA 2001 Workshop: Proc. of the Workshop on Advanced Separation of Concerns at OOPSLA'2001","author":"Chavez C.","key":"e_1_3_2_1_3_1","unstructured":"Chavez , C. and Lucena , C . 2001. Design-level support for aspect-oriented software development . In OOPSLA 2001 Workshop: Proc. of the Workshop on Advanced Separation of Concerns at OOPSLA'2001 . Chavez, C. and Lucena, C. 2001. Design-level support for aspect-oriented software development. In OOPSLA 2001 Workshop: Proc. of the Workshop on Advanced Separation of Concerns at OOPSLA'2001."},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of the International Conference on Software Engineering Research and Practice (SERP '02)","author":"Cheon Y.","year":"2002","unstructured":"Cheon , Y. and Leavens , G. T . 2002. A runtime assertion checker for the Java Modeling Language (JML) . In Proceedings of the International Conference on Software Engineering Research and Practice (SERP '02) , Las Vegas, Nevada, USA , June 24-27, 2002 , H. R. Arabnia and Y. Mun, Eds. CSREA Press, 322--328. Cheon, Y. and Leavens, G. T. 2002. A runtime assertion checker for the Java Modeling Language (JML). In Proceedings of the International Conference on Software Engineering Research and Practice (SERP '02), Las Vegas, Nevada, USA, June 24-27, 2002, H. R. Arabnia and Y. Mun, Eds. CSREA Press, 322--328."},{"volume-title":"Second Workshop on Aspect-Oriented Software Development (Workshop Aspektorientierte Softwareentwicklung der GI-Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung)","author":"Constantinides C.","key":"e_1_3_2_1_5_1","unstructured":"Constantinides , C. and Skotiniotis , T . 2002. Reasoning about a Classification of Cross-cutting Concerns in Object-Oriented Systems . In Second Workshop on Aspect-Oriented Software Development (Workshop Aspektorientierte Softwareentwicklung der GI-Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung) . Bonn, Germany. Constantinides, C. and Skotiniotis, T. 2002. Reasoning about a Classification of Cross-cutting Concerns in Object-Oriented Systems. In Second Workshop on Aspect-Oriented Software Development (Workshop Aspektorientierte Softwareentwicklung der GI-Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung). Bonn, Germany."},{"key":"e_1_3_2_1_6_1","unstructured":"Diotalevi F. 2004. Contract enforcement with AOP: Apply Design by Contract to Java software development with AspectJ. Avaliable at http:\/\/www.ibm.com\/developerworks\/library\/j-ceaop.  Diotalevi F. 2004. Contract enforcement with AOP: Apply Design by Contract to Java software development with AspectJ. Avaliable at http:\/\/www.ibm.com\/developerworks\/library\/j-ceaop."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1181775.1181794"},{"volume-title":"SugarLoafPLop '10: Proceedings of the 6th Latin American Conference on Pattern Languages of Programming (SugarLoafPLop'10)","author":"Filho F. C.","key":"e_1_3_2_1_8_1","unstructured":"Filho , F. C. , Garcia , A. , and Rubira , C. M. F. 2007. The error handling aspect pattern . In SugarLoafPLop '10: Proceedings of the 6th Latin American Conference on Pattern Languages of Programming (SugarLoafPLop'10) . 22--45. Filho, F. C., Garcia, A., and Rubira, C. M. F. 2007. The error handling aspect pattern. In SugarLoafPLop '10: Proceedings of the 6th Latin American Conference on Pattern Languages of Programming (SugarLoafPLop'10). 22--45."},{"key":"e_1_3_2_1_9_1","unstructured":"Gamma E. Helm R. Johnson R. and Vlissides J. 1995. Design patterns: elements of reusable object-oriented software. Addison-Wesley Longman Publishing Co. Inc. Boston MA USA.   Gamma E. Helm R. Johnson R. and Vlissides J. 1995. Design patterns: elements of reusable object-oriented software. Addison-Wesley Longman Publishing Co. Inc. Boston MA USA."},{"volume-title":"Proc. of the 8th European Conference on Pattern Languages of Programming and Computing (EuroPlop'03)","author":"Hanenberg S.","key":"e_1_3_2_1_10_1","unstructured":"Hanenberg , S. and Unland , R . 2003. Aspectj idioms for aspect-oriented software construction . In Proc. of the 8th European Conference on Pattern Languages of Programming and Computing (EuroPlop'03) . Hanenberg, S. and Unland, R. 2003. Aspectj idioms for aspect-oriented software construction. In Proc. of the 8th European Conference on Pattern Languages of Programming and Computing (EuroPlop'03)."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1557898.1557906"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/383845.383858"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Kiczales G. Lamping J. Mendhekar A. Maeda C. Lopes C. Jean-Marcloingtier and Irwin J\n  . \n  1997\n  . Aspect-oriented programming. In European Conference on Object-Oriented Programming (ECOOP) Jyvskyl Finland. Number 1241 in \n  Lecture Notes in Computer Science\n  . \n  Springer-Verlag 220--242.  Kiczales G. Lamping J. Mendhekar A. Maeda C. Lopes C. Jean-Marcloingtier and Irwin J. 1997. Aspect-oriented programming. In European Conference on Object-Oriented Programming (ECOOP) Jyvskyl Finland. Number 1241 in Lecture Notes in Computer Science. Springer-Verlag 220--242.","DOI":"10.1007\/BFb0053381"},{"volume-title":"AspectJ in Action: Practical Aspect-Oriented Programming","author":"Laddad R.","key":"e_1_3_2_1_15_1","unstructured":"Laddad , R. 2003. AspectJ in Action: Practical Aspect-Oriented Programming . Manning Publications Co. , Greenwich, CT, USA . Laddad, R. 2003. AspectJ in Action: Practical Aspect-Oriented Programming. Manning Publications Co., Greenwich, CT, USA."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/11901433_2"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337229"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/197320.197383"},{"key":"e_1_3_2_1_19_1","unstructured":"Marin M. 2006. Formalizing typical crosscutting concerns. CoRR abs\/cs\/0606125.  Marin M. 2006. Formalizing typical crosscutting concerns. CoRR abs\/cs\/0606125."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2005.7"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"e_1_3_2_1_22_1","volume-title":"Seventh International Workshop on Specification and Verification of Component-Based Systems (SAVCBS","author":"Reb\u00ealo H.","year":"2008","unstructured":"Reb\u00ealo , H. , Soares , S. , Lima , R. , Borba , P. , and Corn\u00e9lio , M . 2008. JML and aspects: The beneifts of instrumenting JML features with AspectJ . In Seventh International Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2008 ). Number CS-TR-08-07 in Technical Report. School of EECS, UCF, 4000 Central Florida Blvd., Orlando, Florida, 32816-2362, 11--18. Reb\u00ealo, H., Soares, S., Lima, R., Borba, P., and Corn\u00e9lio, M. 2008. JML and aspects: The beneifts of instrumenting JML features with AspectJ. In Seventh International Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2008). Number CS-TR-08-07 in Technical Report. School of EECS, UCF, 4000 Central Florida Blvd., Orlando, Florida, 32816-2362, 11--18."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1363686.1363745"}],"event":{"name":"SugarLoafPLoP '10: 8th Latin American Conference on Pattern Languages of Programs","sponsor":["Hillside Group Hillside Group"],"location":"Salvador Bahia Brazil","acronym":"SugarLoafPLoP '10"},"container-title":["Proceedings of the 8th Latin American Conference on Pattern Languages of Programs"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2581507.2581513","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2581507.2581513","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:10:20Z","timestamp":1750234220000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2581507.2581513"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9,23]]},"references-count":23,"alternative-id":["10.1145\/2581507.2581513","10.1145\/2581507"],"URL":"https:\/\/doi.org\/10.1145\/2581507.2581513","relation":{},"subject":[],"published":{"date-parts":[[2010,9,23]]},"assertion":[{"value":"2010-09-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}