Proof of correctness of aspect transformations in the CASB

Autre Publication Scientifique Année : 2007

(1, 2, 3) , (2, 4) , (1)

1
2
3
4

Simplice Djoko Djoko

Objects, aspects and components

Rémi Douence

Objects, aspects and components

Aspect and composition languages

Pascal Fradet

https://hal.science/hal-00469665

Soumis le : vendredi 2 avril 2010-11:01:02

Dernière modification le : jeudi 11 avril 2024-10:02:05

hal-00469665 , version 1 (02-04-2010)

Simplice Djoko Djoko, Rémi Douence, Pascal Fradet. Proof of correctness of aspect transformations in the CASB. 2007. ⟨hal-00469665⟩

UNIV-NANTES UGA CNRS INRIA LINA LIG LINA-ASCOLA INFO INRIA2 LS2N IMT-ATLANTIQUE LIG_SIDCH NANTES-UNIVERSITE

339 Consultations

0 Téléchargements