{"id":"2577099","title":"AspectJML: modular specification and runtime checking for crosscutting contracts","pdf":"https://dl.acm.org/ft_gateway.cfm?id=2577084&ftid=1459444&dwn=1&CFID=20133225&CFTOKEN=d0bed62219face2c-6E2093DE-BDB3-6944-3ECB958724AC4C8D","authors":[{"type":"author_page","name":"Henrique Rebêlo","id":"81350605834","affiliation":{"type":"inst_page","name":"Federal University of Pernambuco, Recife, Brazil","id":"60031482"}},{"type":"author_page","name":"Gary T. Leavens","id":"81452614743","affiliation":{"type":"inst_page","name":"University of Central Florida, Orlando, FL, USA","id":"60022144"}},{"type":"author_page","name":"Mehdi Bagherzadeh","id":"81470653947","affiliation":{"type":"inst_page","name":"Iowa State University, Ames, IA, USA","id":"60004354"}},{"type":"author_page","name":"Hridesh Rajan","id":"81323495185","affiliation":{"type":"inst_page","name":"Iowa State University, Ames, IA, USA","id":"60004354"}},{"type":"author_page","name":"Ricardo Lima","id":"81460652298","affiliation":{"type":"inst_page","name":"Federal University of Pernambuco, Recife, Brazil","id":"60031482"}},{"type":"author_page","name":"Daniel M. Zimmerman","id":"81100030279","affiliation":{"type":"inst_page","name":"Harvey Mudd College, Claremont, CA, USA","id":"60000812"}},{"type":"author_page","name":"Márcio Cornélio","id":"81100068023","affiliation":{"type":"inst_page","name":"Federal University of Pernambuco, Recife, Brazil","id":"60031482"}},{"type":"author_page","name":"Thomas Thüm","id":"81442609950","affiliation":{"type":"inst_page","name":"University of Magdeburg, Magdeburg, Germany","id":"60018362"}}],"publisher":{"text":"MODULARITY '14 Proceedings of the 13th international conference on Modularity","details":"Pages 157-168\nLugano, Switzerland — April 22 - 26, 2014\nACM New York, NY, USA  ©2014\ntable of contents\nISBN: 978-1-4503-2772-5\ndoi>10.1145/2577080.2577084"}}