FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1565874505> ?p ?o ?g. }

• W1565874505 abstract "La programmation par aspects est un paradigme de programmation qui permet de mieux separer les preoccupations d'une application. Un aspect est defini pour chaque preoccupation qui ne peut pas etre isolee dans un module. Les aspects sont ensuite ajoutes au programme de base par un processus automatique appele tissage. Cependant, l'expressivite des langages d'aspect generaux permet de modifier totalement la semantique du programme de base (par ex., un aspect peut remplacer certains appels de methode par du code arbitraire). Ce comportement peut entrainer la perte des avantages (lisibilite, maintenabilite, reutilisabilite, etc.) d'une meilleure modularisation des preoccupations. Il devient impossible de raisonner sur le programme de base sans regarder le programme tisse. Cette these apporte une reponse aux problemes ci-dessus en definissant des categories d'aspects dont l'impact sur la semantique du programme de base reste sous controle. Pour chaque categorie d'aspects, nous determinons l'ensemble des proprietes du programme de base qui est preserve par tissage. L'appartenance d'un aspect a une categorie est garantie par construction grâce a des langages d'aspect dedies pour chaque categorie. L'utilisation de ces langages assure que le tissage preservera l'ensemble des proprietes associe a la categorie concernee. Les proprietes preservees sont representees comme des sous ensembles de LTL et de CTL*. Nous prouvons formellement que quelque soit le programme de base, le tissage de n'importe quel aspect d'une categorie preserve les proprietes de la categorie correspondante. Ces langages et categories sont definis dans un cadre formel independant de tout langage de base ou d'aspect. L'expressivite de ce cadre est montree en decrivant des primitives complexes de langages d'aspect comme AspectJ et CaesarJ et en effectuant une preuve de correction de transformation d'aspect." @default.
• W1565874505 created "2016-06-24" @default.
• W1565874505 creator A5044366478 @default.
• W1565874505 date "2009-06-29" @default.
• W1565874505 modified "2023-09-25" @default.
• W1565874505 title "Analyses et vérification des programmes à aspects" @default.
• W1565874505 cites W1480418491 @default.
• W1565874505 cites W1487472891 @default.
• W1565874505 cites W1494264673 @default.
• W1565874505 cites W1506588809 @default.
• W1565874505 cites W1509390078 @default.
• W1565874505 cites W1531869376 @default.
• W1565874505 cites W1539723268 @default.
• W1565874505 cites W1539735786 @default.
• W1565874505 cites W1544633123 @default.
• W1565874505 cites W1590320528 @default.
• W1565874505 cites W1593428110 @default.
• W1565874505 cites W1610570299 @default.
• W1565874505 cites W164100725 @default.
• W1565874505 cites W1965418329 @default.
• W1565874505 cites W1970664303 @default.
• W1565874505 cites W1971661342 @default.
• W1565874505 cites W1988978715 @default.
• W1565874505 cites W1997502136 @default.
• W1565874505 cites W2000090290 @default.
• W1565874505 cites W2033348393 @default.
• W1565874505 cites W2046324828 @default.
• W1565874505 cites W2057334711 @default.
• W1565874505 cites W2065614429 @default.
• W1565874505 cites W2068706008 @default.
• W1565874505 cites W2095355321 @default.
• W1565874505 cites W2096154246 @default.
• W1565874505 cites W2105033638 @default.
• W1565874505 cites W2106694164 @default.
• W1565874505 cites W2106731015 @default.
• W1565874505 cites W2112780297 @default.
• W1565874505 cites W2114164214 @default.
• W1565874505 cites W2115248168 @default.
• W1565874505 cites W2124476310 @default.
• W1565874505 cites W2136132047 @default.
• W1565874505 cites W2136454830 @default.
• W1565874505 cites W2143238865 @default.
• W1565874505 cites W2146740093 @default.
• W1565874505 cites W2149612550 @default.
• W1565874505 cites W2151940833 @default.
• W1565874505 cites W2246153818 @default.
• W1565874505 cites W2295265000 @default.
• W1565874505 cites W1531654553 @default.
• W1565874505 hasPublicationYear "2009" @default.
• W1565874505 type Work @default.
• W1565874505 sameAs 1565874505 @default.
• W1565874505 citedByCount "0" @default.
• W1565874505 crossrefType "dissertation" @default.
• W1565874505 hasAuthorship W1565874505A5044366478 @default.
• W1565874505 hasConcept C138885662 @default.
• W1565874505 hasConcept C15708023 @default.
• W1565874505 hasConceptScore W1565874505C138885662 @default.
• W1565874505 hasConceptScore W1565874505C15708023 @default.
• W1565874505 hasLocation W15658745051 @default.
• W1565874505 hasOpenAccess W1565874505 @default.
• W1565874505 hasPrimaryLocation W15658745051 @default.
• W1565874505 isParatext "false" @default.
• W1565874505 isRetracted "false" @default.
• W1565874505 magId "1565874505" @default.
• W1565874505 workType "dissertation" @default.