J. Aldrich, Open Modules: Modular Reasoning About Advice, ECOOP 2005 -Object-Oriented Programming, 19th European Conference Proceedings, pp.144-168, 2005.
DOI : 10.1007/11531142_7

C. Clifton and G. T. Leavens, Observers and assistants: A proposal for modular aspect-oriented reasoning, FOAL 2002: Foundations of Aspect-Oriented Languages (AOSD-2002), pp.33-44, 2002.

S. Daniel and . Dantas, Harmless advice, ACM SIGPLAN Notices, vol.41, issue.1, pp.383-396, 2006.

B. De, W. Frank, P. Wouter-joosen, and T. Verhanneman, On the importance of the separation-of-concerns principle in secure software engineering, 2002.

E. Robert, D. P. Filman, and . Friedman, Aspect-oriented programming is quantification and obliviousness, Aspect-Oriented Software Development, pp.21-35, 2005.

W. G. Griswold, K. Sullivan, Y. Song, M. Shonle, N. Tewari et al., Modular software design with crosscutting interfaces, IEEE Software, vol.23, issue.1, pp.51-60, 2006.
DOI : 10.1109/MS.2006.24

K. Gybels and J. Brichau, Arranging language features for more robust pattern-based crosscuts, Proceedings of the 2nd international conference on Aspect-oriented software development , AOSD '03, pp.60-69, 2003.
DOI : 10.1145/643603.643610

S. Katz, Diagnosis of harmful aspects using regression verification, FOAL: Foundations Of Aspect-Oriented Languages, pp.1-6, 2004.

A. Kellens, K. Mens, J. Brichau, and K. Gybels, Managing the Evolution of Aspect-Oriented Software with Model-Based Pointcuts, ECOOP 2006 -Object-Oriented Programming, 20th European Conference Proceedings, pp.501-525, 2006.
DOI : 10.1007/11785477_28
URL : https://hal.archives-ouvertes.fr/inria-00160620

G. Kiczales and M. Mezini, Aspect-oriented programming and modular reasoning, Proc. of the 27th International Conference on Software Engineering, pp.49-58, 2005.

G. Kiczales and M. Mezini, Separation of Concerns with Procedures, Annotations, Advice and Pointcuts, ECOOP 2005 -Object-Oriented Programming, 19th European Conference Proceedings, pp.195-213, 2005.
DOI : 10.1007/11531142_9

H. Klaeren, E. Pulvermueller, A. Rashid, and A. Speck, Aspect Composition Applying the Design by Contract Principle, GCSE '00: Proceedings of the Second International Symposium on Generative and Component-Based Software Engineering-Revised Papers, pp.57-69, 2001.
DOI : 10.1007/3-540-44815-2_5

C. Koppen and M. Störzer, PCDiff: Attacking the fragile pointcut problem, European Interactive Workshop on Aspects in Software (EIWAS), 2004.

B. Lagaisse, W. Joosen, and B. De-win, Managing semantic interference with aspect integration contracts, SPLAT: Software engineering Properties of Languages for Aspect, 2004.

E. Roberto, D. S. Lopez-herrejon, C. Batory, and . Lengauer, A disciplined approach to aspect composition, Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, pp.68-77, 2006.

H. David, T. Lorenz, and . Skotiniotis, Extending design by contract for aspect-oriented programming, 2005.

N. Mceachen and R. Alexander, Distributing classes with woven concerns?an exploration of potential fault scenarios, Proc. 4rd Int' Conf. on Aspect-Oriented Software Development (AOSD-2005), pp.192-200, 2005.

B. Meyer, Applying 'design by contract', Computer, vol.25, issue.10, pp.2540-51, 1992.
DOI : 10.1109/2.161279

K. Ostermann, M. Mezini, and C. Bockisch, Expressive Pointcuts for Increased Modularity, Proceedings of ECOOP 2005, 2005.
DOI : 10.1007/11531142_10

D. Parnas, On the criteria to be used in decomposing systems into modules, Communications of the ACM, vol.15, issue.12, pp.1053-1058, 1972.
DOI : 10.1145/361598.361623

A. Rashid and A. Moreira, Domain Models Are NOT Aspect Free, Model Driven Engineering Languages and Systems, 9th International Conference Proceedings, pp.155-169, 2006.
DOI : 10.1007/11880240_12

M. Rinard, A. Salcianu, and S. Bugrara, A classification system and analysis for interactions in aspect-oriented programs, Foundations of Software Engineering (FSE), pp.147-158, 2004.

M. Sihman and S. Katz, Superimpositions and Aspect-oriented Programming, The Computer Journal, vol.46, issue.5, pp.529-541, 2003.
DOI : 10.1093/comjnl/46.5.529

T. Skotiniotis and D. H. Lorenz, Cona, Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications , OOPSLA '04, pp.196-197, 2004.
DOI : 10.1145/1028664.1028747

M. Störzer and J. Graf, Using pointcut delta analysis to support evolution of aspect-oriented software, 21st IEEE International Conference on Software Maintenance (ICSM'05), pp.653-656, 2005.
DOI : 10.1109/ICSM.2005.99

K. Sullivan, W. G. Griswold, Y. Song, Y. Cai, M. Shonle et al., Information hiding interfaces for aspect-oriented design, ESEC/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering, pp.166-175, 2005.

T. Elrad, T. Cottenier, A. Van-den, and . Berg, Motorola weavr: Model weaving in a large industrial context, Proc. of the 6th Int. Conference on Aspect-Oriented Software Development, Industry Track (AOSD). Motorola, ACM, 2007.

T. Tourwé, J. Brichau, and K. Gybels, On the existence of the AOSD-evolution paradox, SPLAT: Software engineering Properties of Languages for Aspect Technologies, 2003.

Y. Le-traon, B. Baudry, and J. Jézéquel, Design by Contract to Improve Software Vigilance, IEEE Transactions on Software Engineering, vol.32, issue.8, pp.571-586, 2006.
DOI : 10.1109/TSE.2006.79
URL : https://hal.archives-ouvertes.fr/inria-00542784

S. Tyszberowicz, Constraining aspect usage, SPLAT: Software engineering Properties of Languages for Aspect Technologies, 2005.

D. Wampler, Noninvasiveness and aspect-oriented design: Lessons from object-oriented design principles

. Elcin-recebli-wolfson, Pure aspects. Master's thesis, 2005.