{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,8]],"date-time":"2026-09-08T12:32:35Z","timestamp":1788870755347,"version":"build-2803163510"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,4,22]],"date-time":"2014-04-22T00:00:00Z","timestamp":1398124800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000143","name":"Division of Computing and Communication Foundations","doi-asserted-by":"publisher","award":["CCF-10-17262 and CCF-1017334"],"award-info":[{"award-number":["CCF-10-17262 and CCF-1017334"]}],"id":[{"id":"10.13039\/100000143","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000143","name":"Division of Computing and Communication Foundations","doi-asserted-by":"publisher","award":["CCF-11-17937 and CCF-08-46059"],"award-info":[{"award-number":["CCF-11-17937 and CCF-08-46059"]}],"id":[{"id":"10.13039\/100000143","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003593","name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","doi-asserted-by":"publisher","award":["314539\/2009-3"],"award-info":[{"award-number":["314539\/2009-3"]}],"id":[{"id":"10.13039\/501100003593","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,4,22]]},"DOI":"10.1145\/2584469.2584476","type":"proceedings-article","created":{"date-parts":[[2014,4,15]],"date-time":"2014-04-15T13:50:38Z","timestamp":1397569838000},"page":"21-24","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Modularizing crosscutting contracts with AspectJML"],"prefix":"10.1145","author":[{"given":"Henrique","family":"Reb\u00ealo","sequence":"first","affiliation":[{"name":"Federal University of Pernambuco, Recife, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gary T.","family":"Leavens","sequence":"additional","affiliation":[{"name":"University of Central Florida, Orlando, FL, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mehdi","family":"Bagherzadeh","sequence":"additional","affiliation":[{"name":"Iowa State University, Ames, IA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hridesh","family":"Rajan","sequence":"additional","affiliation":[{"name":"Iowa State University, Ames, IA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ricardo","family":"Lima","sequence":"additional","affiliation":[{"name":"Federal University of Pernambuco, Recife, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Daniel M.","family":"Zimmerman","sequence":"additional","affiliation":[{"name":"Harvey Mudd College, Claremont, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"M\u00e1rcio","family":"Corn\u00e9lio","sequence":"additional","affiliation":[{"name":"Federal University of Pernambuco, Recife, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thomas","family":"Th\u00fcm","sequence":"additional","affiliation":[{"name":"University of Magdeburg, Magdeburg, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2014,4,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/11751113_11"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2005.55"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2006.26"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/383845.383858"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062482"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1127878.1127884"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337229"},{"key":"e_1_3_2_1_9_1","volume-title":"U.S. Patent No. 06,442,750, issued","author":"Lopes C. V.","year":"2002","unstructured":"C. V. Lopes , M. Lippert , and E. A. Hilsdale . Design By Contract with Aspect-Oriented Programming . In U.S. Patent No. 06,442,750, issued August 27, 2002 . C. V. Lopes, M. Lippert, and E. A. Hilsdale. Design By Contract with Aspect-Oriented Programming. In U.S. Patent No. 06,442,750, issued August 27, 2002."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2005.7"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"e_1_3_2_1_12_1","volume-title":"Eiffel: The Language","author":"Meyer B.","year":"1992","unstructured":"B. Meyer . Eiffel: The Language . Prentice-Hall, Inc. , Upper Saddle River, NJ, USA, 1992 . B. Meyer. Eiffel: The Language. Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 1992."},{"key":"e_1_3_2_1_13_1","volume-title":"Design by contract, by example","author":"Mitchell R.","year":"2002","unstructured":"R. Mitchell , J. McKim , and B. Meyer . Design by contract, by example . Addison Wesley Longman Publishing Co., Inc. , Redwood City, CA, USA , 2002 . R. Mitchell, J. McKim, and B. Meyer. Design by contract, by example. Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, USA, 2002."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2577080.2577084"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2451598.2451603"},{"key":"e_1_3_2_1_16_1","author":"Reb\u00ealo H.","year":"2013","unstructured":"H. Reb\u00ealo , R. Lima , U. Kulesza , C. Sant'Anna , Y. Cai , R. Coelho , and M. Ribeiro . Quantifying the Effects of Aspectual Decompositions on Design By Contract Modularization: A Maintenance Study. International Journal of Software Engineering and Knowledge Engineering , 2013 . H. Reb\u00ealo, R. Lima, U. Kulesza, C. Sant'Anna, Y. Cai, R. Coelho, and M. Ribeiro. Quantifying the Effects of Aspectual Decompositions on Design By Contract Modularization: A Maintenance Study. International Journal of Software Engineering and Knowledge Engineering, 2013.","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"key":"e_1_3_2_1_17_1","volume-title":"Pointcuts and Advice. In SBLP '11: Proceedings of the 2011 Brazilian Symposium on Programming Languages. Brazilian Computer Society","author":"Reb\u00ealo H.","year":"2011","unstructured":"H. Reb\u00ealo , R. Lima , and G. T. Leavens . Modular Contracts with Procedures, Annotations , Pointcuts and Advice. In SBLP '11: Proceedings of the 2011 Brazilian Symposium on Programming Languages. Brazilian Computer Society , 2011 . H. Reb\u00ealo, R. Lima, and G. T. Leavens. Modular Contracts with Procedures, Annotations, Pointcuts and Advice. In SBLP '11: Proceedings of the 2011 Brazilian Symposium on Programming Languages. Brazilian Computer Society, 2011."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1363686.1363745"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1028664.1028747"}],"event":{"name":"MODULARITY '14: 13th International Conference on Modularity","location":"Lugano Switzerland","acronym":"MODULARITY '14","sponsor":["AOSA Aspect-Oriented Software Association","SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the companion publication of the 13th international conference on Modularity"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2584469.2584476","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2584469.2584476","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:01:43Z","timestamp":1750215703000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2584469.2584476"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4,22]]},"references-count":19,"alternative-id":["10.1145\/2584469.2584476","10.1145\/2584469"],"URL":"https:\/\/doi.org\/10.1145\/2584469.2584476","relation":{},"subject":[],"published":{"date-parts":[[2014,4,22]]},"assertion":[{"value":"2014-04-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}