LTS-based Semantics and Property Analysis of Distributed Aspects and Invasive Patterns

Luis Daniel Benavides Navarro 1, 2 Rémi Douence 1, 3 Angel Núñez 1, 2 Mario Südholt 1, 2
1 OBASCO - Objects, aspects and components
Mines Nantes - Mines Nantes, Inria Rennes – Bretagne Atlantique
3 ASCOLA - Aspect and composition languages
Inria Rennes – Bretagne Atlantique , Département informatique - EMN, LINA - Laboratoire d'Informatique de Nantes Atlantique
Type de document :
Communication dans un congrès
Katholieke Universiteit Leuven. Workshop on Aspects, Dependencies and Interactions, Jul 2008, Belgium. CW 517, pp.36-45, 2008, Technical Report. 〈10.1007/978-3-642-02047-6〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00469648
Contributeur : Rémi Douence <>
Soumis le : vendredi 2 avril 2010 - 10:43:23
Dernière modification le : mercredi 5 décembre 2018 - 01:22:11

Identifiants

Citation

Luis Daniel Benavides Navarro, Rémi Douence, Angel Núñez, Mario Südholt. LTS-based Semantics and Property Analysis of Distributed Aspects and Invasive Patterns. Katholieke Universiteit Leuven. Workshop on Aspects, Dependencies and Interactions, Jul 2008, Belgium. CW 517, pp.36-45, 2008, Technical Report. 〈10.1007/978-3-642-02047-6〉. 〈hal-00469648〉

Partager

Métriques

Consultations de la notice

166