Annotation framework validation using domain models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5095 LNCS, Issue , 2008, Pages 48-62

  Noguera, Carlos ^a   Duchien, Laurence ^a  

^a INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE DESIGN;

DOMAIN MODEL; PROGRAMMING LANGUAGE MODELS;

SOFTWARE ARCHITECTURE;

EID: 70349880841     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-69100-6_4     Document Type: Conference Paper

References (16)

1. OMG Unified Modelling Language Infrastructure (OMG UML) V.2.1.2 (November 2004), http://www.omg.org/spec/UML/2.1.2/Infrastructure/PDF
2. Barais, O.: SpoonEMF, une brique logicielle pour l'utilisation de l'IDM dans le cadre de la réingénierie de programmes Java5. In: Journées sur l'Inénierie Dirigée par les Modéles (IDM) (June 2006) Poster
3. Bruneton, E., Coupaye, T., Leclercq, M., Quéma, V., Stefani, J.-B.: The fractal component model and its support in java: Experiences with auto-adaptive and reconfigurable systems. Softw. Pract. Exper. 36(11-12), 1257-1284 (2006)
4. Cepa, V., Kloppenburg, S.: Representing Explicit Attributes in UML. In: 7th International Workshop on Aspect-Oriented Modeling (AOM) (2005)
5. Cepa, V., Mezini,M.: Declaring and enforcing dependencies between.NET custom attributes. In: Karsai, G., Visser, E. (eds.) GPCE 2004. LNCS, vol.3286, pp. 283-297. Springer, Heidelberg (2004)
6. Cisterino, A., Cazzola, W., Colombo, D.: Metadata-driven library design. In: Proceedings of Library Centric Software Development Workshop (October 2005)
7. Eichberg, M., Schäfer, T., Mezini, M.: Using Annotations to Check Structural Properties of Classes. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol.3442, pp. 237-252. Springer, Heidelberg (2005)
8. Evans, D., Guttag, J., Horning, J., Tan, Y.M.: A tool for using specifications to check code. In: Proceedings of the ACM SIGSOFT 1994 Symposium on the Foundations of Software Engineering, pp. 87-96 (1994)
9. Evans, D., Larochelle, D.: Improving security using extensible lightweight static analysis. IEEE Software 19(1), 42-51 (2002)
10. Gosling, J., Joy, B., Steele, G., Bracha, G.: The Java Language Specification, 3rd edn. Addison-Wesley, Reading (2005)
11. Hedin, G.: Attribute extensions - a technique for enforcing programming conventions. Nord. J. Comput 4(1), 93-122 (1997)
12. Michel, L.D., Keith, M.: Enterprise JavaBeans, Version 3.0. Sun Microsystems, JSR-220 (May 2006)
13. Noguera, C., Pawlak, R.: AVal: an extensible attribute-oriented programming validator for java. Journal of Software Maintenance and Evolution (July 2007)
14. Pawlak, R., Noguera, C., Petitprez, N.: Spoon: Program analysis and transformation in java. Technical Report 5901, INRIA (May 2006)
15. Rouvoy, R., Pessemier, N., Pawlak, R., Merle, P.: Using attribute-oriented programming to leverage fractal-based developments. In: Proceedings of the 5th International ECOOPWorkshop on Fractal Component Model (Fractal 2006), Nantes, France (July 2006)
16. Wada, H., Suzuki, J.: Modeling turnpike frontend system: A model-driven development framework leveraging UML metamodeling and attribute-oriented programming. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol.3844, pp. 584-600. Springer, Heidelberg (2006)