Skip to Main content Skip to Navigation
New interface


hal-01140752v1  Conference papers
Benoit Delahaye. Consistency for Parametric Interval Markov Chains
2nd International Workshop on Synthesis of Complex Parameters, Apr 2015, London, United Kingdom
hal-00457850v1  Conference papers
Mourad OussalahNassima SadouDalila Tamzalit. SAEV:a Model to Face Evolution Problem in Software Architecture
The International ERCIM Workshop on Software Evolution, 2006, Lille, France, France. pp.137--146
hal-00458120v1  Conference papers
Pascal AndréGilles ArdourelChristian Attiogbé. Behavioural Verification of Service Composition
ICSOC Workshop on Engineering Service Compositions, WESC'05, 2005, Amsterdam, The Netherlands, Netherlands. pp.77--84
hal-00457842v1  Conference papers
Abdelaziz GacemiAbdelhak-Djamel SeriaiMourad Oussalah. Separation of concerns in software architecture level via a multiviews description
The IEEE International Conference on Information Reuse and Integration (IRI 2004), 2004, United States. pp.60-65
hal-01684563v1  Journal articles
Manel SmattiMourad OussalahAhmed-Nacer Mohamed. Supporting deviations on software processes : A literature overview, in Software technologies
Communications in Computer and Information Science, Springer Verlag, 2016
hal-01684449v1  Journal articles
Saida BoukhedoumaMourad OussalahZaia Alimazighi. Restructuration and Interconnection for Adaptation and Evolution Support: the “Loosely Coupled” Architecture’
International Journal of Information Systems and Change Management, Inderscience, 2016, 8
hal-00444072v1  Journal articles
Christian Attiogbé. Analyzing the Readers/Writers System Using the B Theorem Prover
GESTS International Transaction on Computer Science and Engineering, 2005, 7 (1), pp.87--98
hal-01687651v1  Conference papers
Manel GherariAbdelkrim AmiratMourad Oussalah. Towards a Mobile Cloud Context Aware middelware
, CompSIC Conference Program : Symposium on Complex Systems and Intelligent Computing (CompSIC), 2015, souk ahras, Algeria
hal-01687603v1  Conference papers
Manel SmattiMourad OussalahAhmed-Nacer Mohamed. Supporting Deviations on Software Processes: A Literature Overview
the 10th International Joint Conference on Software Technologies,, 2015, Colmar, France
hal-01158211v1  Journal articles
Albert BenvenisteClaude JardSamy Abbes. Application of branching cells to QoS aware service orchestrations
Theoretical Computer Science, Elsevier, 2014, Models of Interaction: Essays in Honour of Glynn Winskel, 546, pp.11. ⟨10.1016/j.tcs.2014.02.049⟩
hal-00486282v1  Journal articles
Abdelkrim AmiratMourad Oussalah. Connector Based Metamodel For Architecture Description Language
Journal of Computer Science, Science Publications, 2009
hal-00486359v1  Book sections
Anthony Hock-KoonMourad Oussalah. Architectures à base de composants et de services pour l'évolution
Evolution, Maintenance et Rénovation des Systèmes Logiciels, Hermes, 2010
hal-00486332v1  Journal articles
Gauthier BastideAbdelhak-Djamel SeriaiMourad Oussalah. Restructuration de composants logiciels. Une approche d'adaptation structurelle de composants logiciels monolithiques basée sur leur refactorisation
Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, Hermès-Lavoisier, 2007, 13 (1), pp.81-116
hal-00486364v1  Book sections
Gauthier BastideMourad OussalahAbdelhak-Djamel Seriai. Adaptation structurelle de systèmes à base de composants logiciels
Vers une adaptation rationalisé de systèmes d'information, Hermes, 2010
hal-00486430v1  Conference papers
Tahar KhammaciAdel SmedaMourad Oussalah. Mapping COSA Software Architecture Concepts into UML 2.0
5th IEEE/ACIS International Conference on Computer and Information Science (ICIS'06), Jul 2006, Honolulu, United States. pp.109-114
hal-00486402v1  Conference papers
Abdelkrim AmiratMourad Oussalah. Architecture Based Connection of Software Systems
IEEE International conference Quality-Oriented Reuse of Software, Jul 2009, Seattle, United States
hal-01685164v1  Conference papers
Gasmallah NoureddineMourad OussalahAmirat Abdelkrim. Evolution taxonomy for software architecture evolution
ENASE 11th Evaluation of Novel Approaches to Software Engineering, 2016, Rome, Italy
hal-00456357v1  Conference papers
Sylvain ChardignyAbdelhak-Djamel SeriaiDalila TamzalitMourad Oussalah. Search-Based Extraction of Component-Based Architecture from Object-Oriented Systems.
Second European Conference on Software Architecture, ECSA 2008, Sep 2008, Paphos, Cyprus. pp.322-325, ⟨10.1007/978-3-540-88030-1_28⟩
hal-01143087v1  Book sections
Sylvain ChardignyAbdelhak-Djamel SeriaiMourad OussalahDalila Tamzalit. Extraction d’architectures à base de composants à partir de systèmes orientés objet
Évolution et maintenance des systèmes logiciels, TROISIÈME PARTIE. RESTRUCTURATION ET REMODULARISATION DES LOGICIELS (Chapitre 5), 2014, Traité IC2, série Informatique et Systèmes d'Information, 978-2-7462-4554-9
hal-00486296v1  Conference papers
Sylvain ChardignyAbdelhak-Djamel SeriaiMourad OussalahDalila Tamzalit. Extraction de l'architecture logicielle d'un système orienté objets
Workshop RIMEL 07, Atelier rétro-Ingénierie, maintenance et evolution des logiciels en association avec IDM 07, Toulouse, Mar 2007, France. pp.N.P