Un langage d'aspects fondé sur les automates à pile visible : une approche pour la composition logicielle à l'aide de protocoles comportementaux non réguliers

Actuellement, il n existe que peu de systèmes qui exploitent des langages de coupes basés sur des protocoles afin d offrir des définitions d aspects déclaratifs et de permettre de raisonner sur des propriétés de programmes orientés aspect. Par ailleurs, la plupart des approches à l évolution des log...

Description complète

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Nguyen Dong-Ha (Auteur), Cointe Pierre (Directeur de thèse), Südholt Mario (Directeur de thèse)
Collectivités auteurs : Université de Nantes Faculté des sciences et des techniques (Autre partenaire associé à la thèse), Université de Nantes 1962-2021 (Organisme de soutenance), École doctorale Sciences et technologies de l'information et mathématiques Nantes (Organisme de soutenance)
Format : Thèse ou mémoire
Langue : français
anglais
Titre complet : Un langage d'aspects fondé sur les automates à pile visible : une approche pour la composition logicielle à l'aide de protocoles comportementaux non réguliers / Dong-Ha Nguyen; sous la direction de Pierre Cointe, co-encadrant Mario Südholt.
Publié : [S.l.] : [s.n.] , 2011
Accès en ligne : Accès Nantes Université
Note de thèse : Thèse de doctorat : Informatique : Nantes : 2011
Sujets :
Documents associés : Reproduction de: Un langage d'aspects fondé sur les automates à pile visible