Analyses et vérifications des programmes à aspects

Analyses et vérifications des programmes à aspects

La programmation par aspects est un paradigme de programmation qui permet de mieux séparer les préoccupations d'une application. Un aspect est défini pour chaque préoccupation qui ne peut pas pas être isolée dans un module. Les aspects sont ensuite ajoutés au programme de base par un processus...

Description complète

Enregistré dans:
Détails bibliographiques
Auteur principal : Djoko Djoko Simplice (Auteur)
Collectivités auteurs : Université de Nantes 1962-2021 (Organisme de soutenance), Université de Nantes Faculté des sciences et des techniques (Autre partenaire associé à la thèse), École doctorale Sciences et technologies de l'information et mathématiques Nantes (Organisme de soutenance)
Autres auteurs : Fradet Pascal (Directeur de thèse), Douence Rémi (Directeur de thèse)
Format : Thèse ou mémoire
Langue : français
Titre complet : Analyses et vérifications des programmes à aspects / Simplice Djoko Djoko; sous la direction de Pascal Fradet; co-encadrant Rémi Douence
Publié : [S.l.] : [s.n.] , 2009
Description matérielle : 1 vol. (151 f.)
Note de thèse : Thèse de doctorat : Informatique et applications : Nantes : 2009

BU Sciences

Informations d'exemplaires de BU Sciences
‌ Cote Prêt Statut
Magasin compactus 2009 NANT 2122 Empruntable Disponible
Magasin compactus 2009 NANT 2122 Exclu du prêt disponible