Skip to Main content Skip to Navigation
New interface


hal-00458121v1  Conference papers
Pascal AndréGilles ArdourelChristian AttiogbéHenri HabriasCédric Stoquer. Vérification de conformité des interactions entre composants
LMO Workshop (Objets, Composants et Modèles), OCM'05, 2005, Berne, Suisse, Suisse. pp.1-6
hal-00458123v1  Conference papers
Pascal AndréHenri Habrias. Application d'ontologies formelles au droit
SDC'06 Journée sur les Ontologies et textes juridiques, OTJ'06, 2006, Nantes, France, France. pp.30--39
hal-00457832v1  Conference papers
Adel AltiTahar Khammaci. Transformation des concepts architecturaux en UML 2.0
Congrès International en Informatique Appliqué, 2005, Bordj Bou Arréridj, Algérie, Algérie. pp.195--201
hal-01687624v1  Conference papers
Abdelfetah SaadiMourad OussalahAbderazzak HenniDjamal Bennouar. Handling the Dynamic Reconfiguration of Software Architectures using Intelligent Agents,
International conference on Intelligent Information Processing, Security and Advanced Communication (IPAC'2015), published by ACM, 2015, Batna, Algeria
hal-01687646v1  Conference papers
Afrah DjeddarHakim BendjennaAbdelkrim AmiratMourad Oussalah. New approach for smart composition of mobile applications,
CompSIC Conference Program : Symposium on Complex Systems and Intelligent Computing (CompSIC), 2015, Souk Ahras, Algeria
hal-01143094v1  Conference papers
Dalila TamzalitTom Mens. Guiding Architectural Restructuring through Architectural Styles
17th IEEE International Conference and Workshops on Engineering of Computer-Based Systems, Mar 2010, Oxford, United Kingdom
hal-00484117v1  Journal articles
Tom MensDalila TamzalitMichael HosteJorge Pinna Puissant. Amélioration de la qualité de modèles: Une étude de deux approches complémentaires
Technique et Science Informatiques (TSI)- Numéro Spécial IDM, 2010, pp.571-599
hal-00486372v1  Conference papers
Gauthier BastideMourad OussalahAbdelhak-Djamel Seriai. Software Component Reengineering for their Context-Aware Deployment in Ubiquitous Environments
Third International ERCIM Symposium on Software Evolution, Oct 2007, Paris, France
hal-00486384v1  Conference papers
Gauthier BastideAbdelhak-Djamel SeriaiMourad Oussalah. Software Component Re-engineering for their Runtime Structural Adaptation
31st  IEEE Computers, Software, and Applications Conference, Jul 2007, Beijing, China. pp.109-114
hal-00486122v1  Conference papers
Anthony Hock-KoonMourad Oussalah. Toward the Definition of the Loose Coupling Notion in a Composite Service
2010 Second International Conference on Computer Engineering and Applications (ICCEA), Mar 2010, Indonesia. pp.339 - 343
hal-00486126v1  Conference papers
Anthony Hock-KoonMourad Oussalah. Toward the denition of a many-to-many service discovery approach
SEDE 2010 19th Software Engineering and Data Engineering, Jun 2010, San Francisco, United States
hal-00457854v1  Conference papers
Nassima SadouDalila TamzalitMourad Oussalah. A Software Architecture Evolution : Description and Management Process
The International Conference on Software Engineering Research and Practice (SERP'05), 2005, Las Vegas, USA, United States. pp.368--374
hal-00458165v1  Conference papers
Christian Attiogbé. Practical Combination of Theorem Proving and Model Checking for the Multi-facet Analysis
31st Annual Conference on Current Trends in Theory and Practice of Informatics, SOFSEM'05, 2005, Liptovsky Jan, Slovakia, Slovakia. pp.1--10
hal-00458170v1  Conference papers
Henri Habrias. Du semi-formel au formel, un exemple
6e conférence francophone de MOdélisation et SIMulation, MOSIM 2006, 2006, Rabat, Maroc, Maroc. pp.842--851
hal-00457840v1  Conference papers
Gautier Bastide. Restructuration de composants logiciels: Une approche d'adaptation structurelle statique basée sur la refactorisation de code orienté-objet
Workshop Objets, Composants et Modèles dans l'Ingénierie des Systèmes d'Information (OCM-SI'06), INFORSID'06, 2006, Hammamet, Tunisie, Tunisie. pp.95--106
hal-00925467v1  Conference papers
Thomas ChatainClaude Jard. Back in Time Petri Nets
FORMATS'13, 2013, Argentina. pp.91-105
hal-00459888v1  Conference papers
Olivier Le GoaerDalila TamzalitMourad OussalahAbdelhak-Djamel Seriai. How to manage update needs within component-based software architectures
SEAA 2006 (Work In Progress Session), Aug 2006, Cavtat/Dubrovnik, Croatia. pp.8-10
hal-01143090v1  Book sections
Olivier Le GoaerDalila TamzalitMourad OussalahAbdelhak-Djamel Seriai. Évolution et réutilisation : les styles d’évolution
Évolution et maintenance des systèmes logiciels, QUATRIÈME PARTIE. CONTRÔLER ET ASSISTER L’ÉVOLUTION : CHOIX DES TECHNOLOGIES ET DES MÉTHODES (Chapitre 11), 2014, Traité IC2, série Informatique et Systèmes d'Information, 9782746245549