[{"text":"\n\n\nMehdi Bagherzadeh , Hridesh Rajan , Ali Darvish, On exceptions, events and observer chains, Proceedings of the 12th annual international conference on Aspect-oriented software development, March 24-29, 2013, Fukuoka, Japan   [doi>10.1145/2451436.2451458]\n\n","citation":"2451458","doi":"http://doi.acm.org/10.1145/2451436.2451458"},{"text":"\n\n\nMehdi Bagherzadeh , Hridesh Rajan , Gary T. Leavens , Sean Mooney, Translucid contracts: expressive specification and modular verification for aspect-oriented interfaces, Proceedings of the tenth international conference on Aspect-oriented software development, March 21-25, 2011, Porto de Galinhas, Brazil   [doi>10.1145/1960275.1960293]\n\n","citation":"1960293","doi":"http://doi.acm.org/10.1145/1960275.1960293"},{"text":"\n\n\nStephanie Balzer , Patrick Th. Eugster , Bertrand Meyer, Can aspects implement contracts?, Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques, p.145-157, September 08-09, 2005, Heraklion, Crete, Greece   [doi>10.1007/11751113_11]\n\n","citation":"2094427"},{"text":"\n\n\nMike Barnett , K. Rustan M. Leino , Wolfram Schulte, The spec# programming system: an overview, Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, p.49-69, March 10-14, 2004, Marseille, France   [doi>10.1007/978-3-540-30569-9_3]\n\n","citation":"2131549"},{"text":"\n\nJ. Boner. Aspectwerks. http://aspectwerkz.codehaus.org/.\n\n"},{"text":"\n\n\nLionel C. Briand , W. J. Dzidek , Yvan Labiche, Instrumenting Contracts with Aspect-Oriented Programming to Increase Observability and Support Debugging, Proceedings of the 21st IEEE International Conference on Software Maintenance, p.687-690, September 25-30, 2005   [doi>10.1109/ICSM.2005.55]\n\n","citation":"1091907"},{"text":"\n\n\nL. C. Briand , Y. Labiche , H. Sun, Investigating the use of analysis contracts to improve the testability of object-oriented code, Software—Practice & Experience, v.33 n.7, p.637-672, June 2003   [doi>10.1002/spe.520]\n\n","citation":"860187"},{"text":"\n\n\nLilian Burdy , Yoonsik Cheon , David R. Cok , Michael D. Ernst , Joseph R. Kiniry , Gary T. Leavens , K. Rustan M. Leino , Erik Poll, An overview of JML tools and applications, International Journal on Software Tools for Technology Transfer (STTT), v.7 n.3, p.212-232, June 2005   [doi>10.1007/s10009-004-0167-4]\n\n","citation":"2932497"},{"text":"\n\n\nPatrice Chalin , Perry R. James, Non-null references by default in java: alleviating the nullity annotation burden, Proceedings of the 21st European conference on Object-Oriented Programming, July 30-August 03, 2007, Berlin, Germany \n\n","citation":"2394776"},{"text":"\n\nY. Cheon and G. T. Leavens. A runtime assertion checker for the Java Modeling Language (JML). In H. R. Arabnia and Y. Mun, editors, Proceedings of the International Conference on Software Engineering Research and Practice (SERP '02), Las Vegas, Nevada, USA, June 24-27, 2002, pages 322--328. CSREA Press, June 2002.\n\n"},{"text":"\n\n\nLori A. Clarke , David S. Rosenblum, A historical perspective on runtime assertion checking in software development, ACM SIGSOFT Software Engineering Notes, v.31 n.3, May 2006   [doi>10.1145/1127878.1127900]\n\n","citation":"1127900","doi":"http://doi.acm.org/10.1145/1127878.1127900"},{"text":"\n\n\nAlberto Costa Neto , Rodrigo Bonifácio , Márcio Ribeiro , Carlos Eduardo Pontual , Paulo Borba , Fernando Castor, A design rule language for aspect-oriented programming, Journal of Systems and Software, v.86 n.9, p.2333-2356, September, 2013   [doi>10.1016/j.jss.2013.03.104]\n\n","citation":"2514266"},{"text":"\n\n\nKrishna Kishore Dhara , Gary T. Leavens, Forcing behavioral subtyping through specification inheritance, Proceedings of the 18th international conference on Software engineering, p.258-267, March 25-29, 1996, Berlin, Germany \n\n","citation":"227772"},{"text":"\n\n\nManuel Fähndrich , Michael Barnett , Francesco Logozzo, Embedded contract languages, Proceedings of the 2010 ACM Symposium on Applied Computing, March 22-26, 2010, Sierre, Switzerland   [doi>10.1145/1774088.1774531]\n\n","citation":"1774531","doi":"http://doi.acm.org/10.1145/1774088.1774531"},{"text":"\n\n\nYishai A. Feldman , Ohad Barzilay , Shmuel Tyszberowicz, Jose: Aspects for Design by Contract80-89, Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods, p.80-89, September 11-15, 2006   [doi>10.1109/SEFM.2006.26]\n\n","citation":"1158353"},{"text":"\n\n\nRobert E. Filman , Daniel P. Friedman, Aspect-Oriented Programming is Quantification and Obliviousness, RIACS, 2000 \n\n","citation":"891200"},{"text":"\n\n\nPhil Greenwood , Thiago Bartolomei , Eduardo Figueiredo , Marcos Dosea , Alessandro Garcia , Nelio Cacho , Cláudio Sant'Anna , Sergio Soares , Paulo Borba , Uirá Kulesza , Awais Rashid, On the impact of aspectual decompositions on design stability: an empirical study, Proceedings of the 21st European conference on Object-Oriented Programming, July 30-August 03, 2007, Berlin, Germany \n\n","citation":"2394771"},{"text":"\n\nS. Hanenberg and R. Unland. AspectJ idioms for aspect-oriented software construction. In EuroPlop'03, 2003.\n\n"},{"text":"\n\n\nJan Hannemann , Gregor Kiczales, Design pattern implementation in Java and aspectJ, Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, November 04-08, 2002, Seattle, Washington, USA   [doi>10.1145/582419.582436]\n\n","citation":"582436","doi":"http://doi.acm.org/10.1145/582419.582436"},{"text":"\n\n\nMilton Inostroza , Éric Tanter , Eric Bodden, Join point interfaces for modular reasoning in aspect-oriented programs, Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering, September 05-09, 2011, Szeged, Hungary   [doi>10.1145/2025113.2025205]\n\n","citation":"2025205","doi":"http://doi.acm.org/10.1145/2025113.2025205"},{"text":"\n\n\nGregor Kiczales , Erik Hilsdale , Jim Hugunin , Mik Kersten , Jeffrey Palm , William Griswold, Getting started with ASPECTJ, Communications of the ACM, v.44 n.10, p.59-65, Oct. 2001   [doi>10.1145/383845.383858]\n\n","citation":"383858","doi":"http://doi.acm.org/10.1145/383845.383858"},{"text":"\n\nG. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-oriented programming. In M. Aksit and S.Matsuoka, editors, ECOOP'97 Object-Oriented Programming, volume 1241 of Lecture Notes in Computer Science, pages 220--242. Springer Berlin / Heidelberg, 1997.\n\n"},{"text":"\n\n\nGregor Kiczales , Mira Mezini, Aspect-oriented programming and modular reasoning, Proceedings of the 27th international conference on Software engineering, May 15-21, 2005, St. Louis, MO, USA   [doi>10.1145/1062455.1062482]\n\n","citation":"1062482","doi":"http://doi.acm.org/10.1145/1062455.1062482"},{"text":"\n\n\nPatrick Lam , Viktor Kuncak , Martin Rinard, Crosscutting techniques in program specification and analysis, Proceedings of the 4th international conference on Aspect-oriented software development, p.169-180, March 14-18, 2005, Chicago, Illinois   [doi>10.1145/1052898.1052913]\n\n","citation":"1052913","doi":"http://doi.acm.org/10.1145/1052898.1052913"},{"text":"\n\n\nYves Le Traon , Benoit Baudry , Jean-Marc Jezequel, Design by Contract to Improve Software Vigilance, IEEE Transactions on Software Engineering, v.32 n.8, p.571-586, August 2006   [doi>10.1109/TSE.2006.79]\n\n","citation":"1248757"},{"text":"\n\n\nGary T. Leavens, JML’s rich, inherited specifications for behavioral subtypes, Proceedings of the 8th international conference on Formal Methods and Software Engineering, November 01-03, 2006, Macao, China   [doi>10.1007/11901433_2]\n\n","citation":"2105388"},{"text":"\n\n\nGary T. Leavens , Albert L. Baker , Clyde Ruby, Preliminary design of JML: a behavioral interface specification language for java, ACM SIGSOFT Software Engineering Notes, v.31 n.3, May 2006   [doi>10.1145/1127878.1127884]\n\n","citation":"1127884","doi":"http://doi.acm.org/10.1145/1127878.1127884"},{"text":"\n\nG. T. Leavens and D. A. Naumann. Behavioral subtyping, specification inheritance, and modular reasoning. Technical Report CS-TR-13-03a, Computer Science, University of Central Florida, Orlando, FL, 32816, July 2013.\n\n"},{"text":"\n\n\nMartin Lippert , Cristina Videira Lopes, A study on exception detection and handling using aspect-oriented programming, Proceedings of the 22nd international conference on Software engineering, p.418-427, June 04-11, 2000, Limerick, Ireland   [doi>10.1145/337180.337229]\n\n","citation":"337229","doi":"http://doi.acm.org/10.1145/337180.337229"},{"text":"\n\nC. 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.\n\n"},{"text":"\n\n\nMarius Marin , Leon Moonen , Arie van Deursen, A Classification of Crosscutting Concerns, Proceedings of the 21st IEEE International Conference on Software Maintenance, p.673-676, September 25-30, 2005   [doi>10.1109/ICSM.2005.7]\n\n","citation":"1091904"},{"text":"\n\n\nBertrand Meyer, Applying \"Design by Contract\", Computer, v.25 n.10, p.40-51, October 1992   [doi>10.1109/2.161279]\n\n","citation":"619797"},{"text":"\n\n\nBertrand Meyer, Eiffel: the language, Prentice-Hall, Inc., Upper Saddle River, NJ, 1992 \n\n","citation":"129093"},{"text":"\n\n\nBertrand Meyer, Object-oriented software construction (2nd ed.), Prentice-Hall, Inc., Upper Saddle River, NJ, 1997 \n\n","citation":"261119"},{"text":"\n\n\nRichard Mitchell , Jim McKim , Bertrand Meyer, Design by contract, by example, Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, 2001 \n\n","citation":"501881"},{"text":"\n\n\nD. L. Parnas, On the criteria to be used in decomposing systems into modules, Communications of the ACM, v.15 n.12, p.1053-1058, Dec. 1972   [doi>10.1145/361598.361623]\n\n","citation":"361623","doi":"http://doi.acm.org/10.1145/361598.361623"},{"text":"\n\nD. L. Parnas. Precise Documentation: The Key to Better Software. In S. Nanz, editor, The Future of Software Engineering, pages 125--148. Springer Berlin Heidelberg, 2011.\n\n"},{"text":"\n\n\nHenrique Rebêlo , Gary T. Leavens , Ricardo Massa Lima, Client-aware checking and information hiding in interface specifications with JML/ajmlc, Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity, October 26-31, 2013, Indianapolis, Indiana, USA   [doi>10.1145/2508075.2514569]\n\n","citation":"2514569","doi":"http://doi.acm.org/10.1145/2508075.2514569"},{"text":"\n\n\nHenrique Rebelo , Gary T. Leavens , Ricardo Massa Ferreira Lima , Paulo Borba , Márcio Ribeiro, Modular aspect-oriented design rule enforcement with XPIDRs, Proceedings of the 12th workshop on Foundations of aspect-oriented languages, March 26-26, 2013, Fukuoka, Japan   [doi>10.1145/2451598.2451603]\n\n","citation":"2451603","doi":"http://doi.acm.org/10.1145/2451598.2451603"},{"text":"\n\n{40} H. Rebêlo, 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.\n\n"},{"text":"\n\nH. Rebêlo, 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.\n\n"},{"text":"\n\n\nHenrique RebêLo , Ricardo Lima , Gary T. Leavens , MáRcio CornéLio , Alexandre Mota , CéSar Oliveira, Optimizing generated aspect-oriented assertion checking code for JML using program transformations: An empirical study, Science of Computer Programming, v.78 n.8, p.1137-1156, August, 2013   [doi>10.1016/j.scico.2012.09.003]\n\n","citation":"2489684"},{"text":"\n\n\nHenrique Rebêlo , Sérgio Soares , Ricardo Lima , Leopoldo Ferreira , Márcio Cornélio, Implementing Java modeling language contracts with AspectJ, Proceedings of the 2008 ACM symposium on Applied computing, March 16-20, 2008, Fortaleza, Ceara, Brazil   [doi>10.1145/1363686.1363745]\n\n","citation":"1363745","doi":"http://doi.acm.org/10.1145/1363686.1363745"},{"text":"\n\n\nDavid S. Rosenblum, A Practical Approach to Programming With Assertions, IEEE Transactions on Software Engineering, v.21 n.1, p.19-31, January 1995   [doi>10.1109/32.341844]\n\n","citation":"203111"},{"text":"\n\n\nTherapon Skotiniotis , David H. Lorenz, Cona: aspects for contracts and contracts for aspects, Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, October 24-28, 2004, Vancouver, BC, CANADA   [doi>10.1145/1028664.1028747]\n\n","citation":"1028747","doi":"http://doi.acm.org/10.1145/1028664.1028747"},{"text":"\n\n\nSergio Soares , Eduardo Laureano , Paulo Borba, Implementing distribution and persistence aspects with aspectJ, Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, November 04-08, 2002, Seattle, Washington, USA   [doi>10.1145/582419.582437]\n\n","citation":"582437","doi":"http://doi.acm.org/10.1145/582419.582437"},{"text":"\n\n\nFriedrich Steimann, The paradoxical success of aspect-oriented programming, Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, October 22-26, 2006, Portland, Oregon, USA   [doi>10.1145/1167473.1167514]\n\n","citation":"1167514","doi":"http://doi.acm.org/10.1145/1167473.1167514"},{"text":"\n\n\nFriedrich Steimann , Thomas Pawlitzki , Sven Apel , Christian Kästner, Types and modularity for implicit invocation with implicit announcement, ACM Transactions on Software Engineering and Methodology (TOSEM), v.20 n.1, p.1-43, June 2010   [doi>10.1145/1767751.1767752]\n\n","citation":"1767752","doi":"http://doi.acm.org/10.1145/1767751.1767752"},{"text":"\n\n\nKevin Sullivan , William G. Griswold , Hridesh Rajan , Yuanyuan Song , Yuanfang Cai , Macneil Shonle , Nishit Tewari, Modular aspect-oriented design with XPIs, ACM Transactions on Software Engineering and Methodology (TOSEM), v.20 n.2, p.1-42, August 2010   [doi>10.1145/1824760.1824762]\n\n","citation":"1824762","doi":"http://doi.acm.org/10.1145/1824760.1824762"},{"text":"\n\n\nThomas Thüm , Sven Apel , Andreas Zelend , Reimar Schröter , Bernhard Möller, Subclack: feature-oriented programming with behavioral feature interfaces, Proceedings of the 5th Workshop on MechAnisms for SPEcialization, Generalization and inHerItance, p.1-8, July 01-01, 2013, Montpellier, France   [doi>10.1145/2489828.2489829]\n\n","citation":"2489829","doi":"http://doi.acm.org/10.1145/2489828.2489829"},{"text":"\n\n\nThomas Thüm , Ina Schaefer , Martin Kuhlemann , Sven Apel , Gunter Saake, Applying design by contract to feature-oriented programming, Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering, March 24-April 01, 2012, Tallinn, Estonia   [doi>10.1007/978-3-642-28872-2_18]\n\n","citation":"2259303"},{"text":"\n\nM. T. Valente, C. Couto, J. Faria, and S. Soares. On the benefits of quantification in AspectJ systems. Journal of the Brazilian Computer Society, 16(2):133--146, 2010.\n\n"},{"text":"\n\n\nJianjun Zhao , Martin Rinard, Pipa: a behavioral interface specification language for aspectJ, Proceedings of the 6th international conference on Fundamental approaches to software engineering, April 07-11, 2003, Warsaw, Poland \n\n","citation":"1762995"}]