.:. Consultation > Liste des articles .:.

261 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

... 3 - 4 - 5 - 6 - 7 - 8 - 9

Passage de contexte par aspects Ozsemerciyan A. Rapport de DEA (2006) [hal-00484938 - version 1]

Langages à objets Cointe P. Dans Encyclopédie de l'Informatique et des Systèmes d'Information (2006) 1028-1037 [hal-00484756 - version 1]

Expression and Composition of Design Patterns with AspectJ Denier S., Cointe P. L'Objet 12, 2-3 (2006) 41-61 [inria-00458203 - version 1]

Vérification automatique de propriétés d'ordonnanceurs Bossa Bodeveix J.-P., Filali M., Lawall J. L., Muller G. Dans AFADL, ENST Paris - AFADL'2006, France (2006) [hal-00457181 - version 1]

Understanding Design Patterns Density with Aspects. a Case Study in JHotDraw using AspectJ Denier S., Cointe P. Dans International Symposium on Software Composition No5 - Congress Software composition(:) 5th international symposium, SC, Autriche (2006) [hal-00457131 - version 1]

An Aspect-Oriented Approach for Developing Self-Adaptive Fractal Components David P. C., Ledoux T. Dans Software Composition, 5th International Symposium - Software composition (SC 2006), Satellite event of ETAPS 2006, Autriche (2006) [hal-00457130 - version 1]

Contrôle dynamique de l'intégrité des communications dans les architectures à composants Léger M., Coupaye T., Ledoux T. Dans Langages et Modèles à Objets 2006 - LMO 2006, France (2006) [hal-00457118 - version 1]

Une approche par aspects pour le développement de composants Fractal adaptatifs David P.-C., Ledoux T. L'Objet 12, 2-3 (2006) 113-132 [hal-00444030 - version 1]

La programmation par aspects relève le défi des usines logicielles Cointe P. 01 Informatique (2006) 28 [hal-00444027 - version 1]

A Model Curriculum for Aspect-Oriented Software Development Brichau J., Chitchyan R., Clarke S., D'Hondt E., Garcia A., Haupt M., Joosen W., Katz S., Noyé J., Rashid A. et al IEEE Software 23, 6 (2006) 53-61 [hal-00444025 - version 1]

Bounded Analysis and Decomposition for Behavioural Descriptions of Components Poizat P., Royer J.-C., Salaün G. Dans Proceedings of the 8th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) - Proceedings of the 8th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), Italie (2006) [hal-00342158 - version 1]

A Formal Architectural Description Language based on Symbolic Transition Systems and Modal Logic Poizat P., Royer J.-C. Journal of Universal Computer Science (J.UCS) 12 (2006) 1741--1782 [hal-00342156 - version 1]

Automatic Verification of Bossa Scheduler Properties Bodeveix J.-P., Filali M., Lawall J. L., Muller G. Automatic Verification of Critical Systems, (2006) [inria-00089493 - version 1]

Concurrent aspects Douence R., Le Botlan D., Noyé J., Südholt M. Rapport de recherche (2006) [inria-00071396 - version 1]

Explicitly distributed AOP using AWED Benavides Navarro L. D., Südholt M., Vanderperren W., De Fraine B., Suvée D. Rapport de recherche (2006) [inria-00071386 - version 1]

Towards a Concurrent Model of Event-based Aspect-Oriented Programming Douence R., Noyé J. Rapport de recherche (2006) 11 [inria-00070188 - version 1]

Server protection through dynamic patching Loriant N., Ségura-Devillechaise M., Menaud J.-M. 11th IEEE Pacific Rim International Symposium on Dependable Computing, China (2005) [inria-00441360 - version 1]

Un bac à sable juste à temps -- Correctifs ciblés et injection à chaud Loriant N., Ségura-Devillechaise M., Menaud J.-M. 4ème Conférence Francophone sur les Systèmes d'Exploitation, France (2005) [inria-00441350 - version 1]

Software security patches -- Audit, deployment and hot update Loriant N., Ségura-Devillechaise M., Menaud J.-M. 4th AOSD Workshop on Aspects Components and Patterns for Infrastucture Software, États-Unis (2005) [inria-00441354 - version 1]

An expressive aspect language for system applications with Arachne Douence R., Fritz T., Loriant N., Menaud J.-M., Ségura-Devillechaise M., Südholt M. 4th International Conference on Aspect-Oriented Software Development, États-Unis (2005) [inria-00441355 - version 1]

A Versatile Kernel for Multi-Language AOP Tanter E., Noyé J. Dans GPCE 2005 - 4th International Conference, GPCE 2005, Espagne (2005) [hal-00457203 - version 1]

A model of components with non-regular protocols Südholt M. Dans Software composition: 4th international workshop, SC 2005 - 4th international workshop, SC 2005, Royaume-Uni (2005) [hal-00457200 - version 1]

Tarantula(:) Killing Driver Bugs Before They Hatch Lawall J. L., Muller G., Urunuela R. Dans Proceedings of the Fourth AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software ((ACP4IS'O5)) - The 4th AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS), États-Unis (2005) [hal-00457191 - version 1]

Composants et aspects Noyé J., Douence R., Südholt M. Dans Ingénierie des composants : Concepts, techniques et outils (2005) 169-195 [hal-00457122 - version 1]

Mise en symbiose des traits et des classboxes, Application à l'expression des collaborations Minjat F., Bergel A., Cointe P., Ducasse S. Dans LMO'2005 - 11th International Conference on Languages and Models with Objects (LMO'2005), Suisse (2005) [hal-00457119 - version 1]

Towards Generative Programming Cointe P. Dans Unconventional Programming Paradigms, UPP 2004 - International Workshop UPP 2004, France (2005) [hal-00457080 - version 1]

Traits Programming with Aspect J Denier S. L'Objet 11, 3 (2005) 69-86 [hal-00444023 - version 1]

La réflexion comportementale partielle comme infrastructure de programmation par aspects - Étude du cas des coupes dynamiques Rodriguez L., Tanter E., Noyé J. lobjet 11, 3 (2005) 31-52 [hal-00443972 - version 1]

Symbolic Bounded Analysis for Component Behavioural Protocols Poizat P., Royer J.-C., Salaün G. Symbolic Bounded Analysis for Component Behavioural Protocols (2005) [hal-00342159 - version 1]

Java Implementation of a Component Model with Explicit Symbolic Protocols Pavel S., Noyé J., Poizat P., Royer J.-C. Dans Software Composition (SC) - Software Composition (SC), Royaume-Uni (2005) [hal-00342152 - version 1]