REFERENCES | Aspect-Oriented Software Development with Use Cases

1. Andrews, J. H. 2001. Process-algebraic foundations of aspect-oriented programming. In Metalevel Architectures and Separation of Crosscutting Concerns 3rd Int'l Conf. (Reflection 2001), (Kyoto), A. Yonezawa and S. Matsuoka, Eds. ACM, vol. 2192. Springer-Verlag, Berlin, 187209.

2. Bergmans, L. and Akit, M. 2001. Comm. ACM 44, 10 (Oct.), 5157.

3. Cohen, D., Feather, M. S., Narayanaswamy, K., and Fickas, S. S. 1997. Automatic monitoring of software requirements. In 19th Int'l Conf. Software Engineering (ICSE), (Boston). ACM, 602603.

4. Colcombet, T. and Fradet, P. 2000. Enforcing trace properties by program transformation. In 27th Symp. Principles of Programming Languages (POPL), (Boston). ACM, 5466.

5. Comon, H. 1991. Disunification: A survey. In Computational Logic: Essays in Honor of Alan Robinson, J. L. Lassez and G. Plotkin, Eds. MIT Press, Cambridge, Massachusetts, 322359.

6. De Volder, K. and D'Hondt, T. 1999. Aspect-oriented logic meta programming. In Meta-Level Architectures and Reflection, 2nd Int'l Conf. Reflection, P. Cointe, Ed. ACM, vol. 1616. Springer-Verlag, Berlin, 250272.

7. Douence, R., Fradet, P., and Südholt, M. 2002. A framework for the detection and resolution of aspect interactions. In 1st ACM Conf. Generative Programming and Component Engineering (Pittsburgh). ACM, vol. 2487. Springer-Verlag, Berlin, 173188.

8. Douence, R., Fradet, P., and Südholt, M. 2004. Composition, reuse, and interaction analysis of stateful aspects. In 3rd Int'l Conf. Aspect-Oriented Software Development (AOSD), (Lancaster, UK). ACM, 141150.

9. Douence, R., Motelet, O., and Südholt, M. 2001. A formal definition of crosscuts. In Metalevel Architectures and Separation of Crosscutting Concerns 3rd Int'l Conf. (Reflection 2001), (Kyoto), A. Yonezawa and S. Matsuoka, Eds. LNCS, vol. 2192. Springer-Verlag, Berlin, 170186.

10. Felty, A. P. and Namjoshi, K. S. 2003. Feature specification and automated conflict detection. ACM Transactions on Software Engineering and Methodology 12, 1, 327.

11. Filman, R. E. and Havelund, K. 2002. Realizing aspects by transforming for events. In Automated Software Engineering (ASE), Workshop on Declarative Meta Programming to Support Software Development (Edinburgh). http://www.cs.ubc.ca/~kdevolder/Workshops/ASE2002/DMP/papers/DMPWorkshop-Proceedings.pdf.

12. Godefroid, P. 1997. Model checking for programming languages using Verisoft. In 24th Symp. Principles of Programming Languages (POPL), (Paris). ACM, 174186.

13. Jagadeesan, R., Jeffrey, A., and Riely, J. 2003. A calculus of untyped aspect-oriented programs. In ECOOP 2003European Conference on Object-Oriented Programming, (Darmstadt), L. Cardelli, Ed. ACM, vol. 2743. Springer-Verlag, Berlin, 5473.

14. Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., and Griswold, W. G. 2001. An overview of AspectJ. In ECOOP 2001Object-Oriented Programming, 15th European Conference, (Budapest), J. L. Knudsen, Ed. ACM, vol. 2072. Springer-Verlag, Berlin, 327353.

15. Lämmel, R. 2002. A semantical approach to method-call interception. In 1st Int'l Conf. Aspect-Oriented Software Development (AOSD), (Enschede, The Netherlands), G. Kiczales, Ed. ACM, 4155.

16. Nielson, F. and Nielson, H. R. 1992. Semantics with ApplicationsA Formal Introduction. Wiley, New York.

17. Schneider, F. B. 2000. Enforceable security policies. ACM Transactions on Information and System Security 3, 1 (Feb.), 3050.

18. Sereni, D. and de Moor, O. 2003. Static analysis of aspects. In 2nd Int'l Conf. Aspect-Oriented Software Development (AOSD), (Boston). ACM, 3039.

19. Shiman, M. and Katz, S. 2003. Superimpositions and Aspect-Oriented Programming. The Computer Journal, 46, 5, 529541.

20. Tucker, D. B. and Krishnamurti. 2003. Pointcuts and advice in higher-order languages. In 2nd Int'l Conf. Aspect-Oriented Software Development (AOSD), (Boston). ACM, 158167.

21. Walker, D., Zdancewic, S., and Ligatti, J. 2003. A theory of aspects. In Functional Programming, (Upsala). ACM.

22. Wand, M., Kiczales, G., and Dutchyn, C. in press. A semantics for advice and dynamic join points in aspect-oriented programming. ACM Transactions on Programming Languages and Systems.