Search - Archive ouverte HAL Access content directly

Filter your results

346 Results

Adaptive Configuration Meta-Model of a Guidance Process

Hamid Khemissa , Mourad Oussalah
International journal of computer science & information technology (IJCSIT), 2016
Journal articles hal-01684425v1

Handling the Dynamic Reconfiguration of Software Architectures using Intelligent Agents,

Abdelfetah Saadi , Mourad Oussalah , Abderazzak Henni , Djamal Bennouar
International conference on Intelligent Information Processing, Security and Advanced Communication (IPAC'2015), published by ACM, 2015, Batna, Algeria
Conference papers hal-01687624v1

New approach for smart composition of mobile applications,

Afrah Djeddar , Hakim Bendjenna , Abdelkrim Amirat , Mourad Oussalah
CompSIC Conference Program : Symposium on Complex Systems and Intelligent Computing (CompSIC), 2015, Souk Ahras, Algeria
Conference papers hal-01687646v1

Meta-Evolution Style for Software Architecture Evolution

Adel Hassan , Mourad Oussalah
SOFSEM 42th International Conference on Current Trends in Theory and Practice of Computer Science-LNCS, 2016, Harrachov, Czech Republic
Conference papers hal-01685168v1
Image document

Ingénierie dirigée par les modèles : quels supports à l'interopérabilité des systèmes d'information ?

Annie Authosserre-Cavarero , Frédéric Bertrand , Mireille Fornarino , Philippe Collet , Hubert Dubois et al.
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2013
Journal articles hal-00813675v2
Image document

Blending Timed Formal Models with Clock Transition Systems

Claude Jard , Didier Lime , Olivier Henri Roux
Fundamenta Informaticae, 2014, 129 (1-2), pp.85-100
Journal articles hal-00939239v1
Image document

A model introducing SOAs quality attributes decomposition

Riad Belkhatir , Mourad Chabane Oussalah , Arnaud Viguier
The International Conference on Software Engineering and Knowledge Engineering, Aug 2012, San Francisco, United States
Conference papers hal-00991580v1
Image document

SOAQE - Service Oriented Architecture Quality Evaluation

Riad Belkhatir , Mourad Chabane Oussalah , Arnaud Viguier
ENASE - International Conference on Evaluation of Novel Approaches to Software Engineering, Jun 2012, Wroclaw, Poland
Conference papers hal-00991591v1

A Mechanically Proved Development Combining B Abstract Systems and Spin

J. Christian Attiogbe
Fourth International Conference on Quality Software QSIC'2004, Sep 2004, Braunschweig, Germany. pp.42 - 49, ⟨10.1109/QSIC.2004.1357943⟩
Conference papers hal-00421162v1

Evolution Shelf: Reusing Evolution Expertise within Component-Based Software Architectures

Olivier Le Goaer , Dalila Tamzalit , Mourad Oussalah , Abdelhak-Djamel Seriai
COMPSAC: Computer Software and Applications Conference, Jul 2008, Turku, Finland. pp.311-318, ⟨10.1109/COMPSAC.2008.104⟩
Conference papers hal-00456002v1

An Architecture-based Model for Software Evolution

Mourad Oussalah , Nassima Sadou , Dalila Tamzalit
WSEAS Transactions on Information Science and Applications, 2004, 1 (67), pp.1713--1720
Journal articles hal-00446415v1
Image document

Correction d'assemblages de composants impliquant des interfaces paramétrées

Pascal André , Christian Attiogbé , Mohamed Messabihi
3e Conférence Francophone sur les Architectures Logicielles, Mar 2009, Nancy, France. pp.34--44
Conference papers hal-00423658v1

Amélioration de la qualité de modèles: Une étude de deux approches complémentaires

Tom Mens , Dalila Tamzalit , Michael Hoste , Jorge Pinna Puissant
Technique et Science Informatiques (TSI)- Numéro Spécial IDM, 2010, (c) Lavoisier, 2010, pp.571-599
Journal articles hal-00484117v1
Image document

Tool-Assisted Multi-Facet Analysis of Formal Specifications (Using Alelier-B and ProB).

Christian Attiogbe
IASTED Conf. on Software Engineering (SE'2006), Feb 2006, Innsbruck, Austria. pp.85-90
Conference papers hal-00420050v1

Transformation des concepts architecturaux en UML 2.0

Adel Alti , Tahar Khammaci
Congrès International en Informatique Appliqué, 2005, Bordj Bou Arréridj, Algérie, Algérie. pp.195--201
Conference papers hal-00457832v1

Poster : Comparaison de modèles filtrée pour le test de transformations de modèles

Olivier Finot , Jean-Marie Mottu , Gerson Sunyé , J. Christian Attiogbe
Journées du GDR GPL, Jun 2012, Rennes, France. pp.978-2-9527630-3-5
Conference papers hal-00920300v1
Image document

Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components

Julien Dormoy , Olga Kouchnarenko , Arnaud Lanoix
8th International Symposium on Formal Aspects of Component Software - FACS 2011, Sep 2011, Oslo, Norway
Conference papers hal-00642345v1

Toward the Definition of the Loose Coupling Notion in a Composite Service

Anthony Hock-Koon , Mourad Oussalah
2010 Second International Conference on Computer Engineering and Applications (ICCEA), Mar 2010, Indonesia. pp.339 - 343
Conference papers hal-00486122v1

Toward the denition of a many-to-many service discovery approach

Anthony Hock-Koon , Mourad Oussalah
SEDE 2010 19th Software Engineering and Data Engineering, Jun 2010, San Francisco, United States
Conference papers hal-00486126v1

Re-ingénierie, migration et rénovation logicielle inter-paradigmes : de l'objet vers les composants

Sylvain Chardigny , Abdelhak-Djamel Seriai , Mourad Oussalah
Evolution, Maintenance et Rénovation des Systèmes Logiciels, Hermes, 2010
Book sections hal-00486354v1

Software Component Reengineering for their Context-Aware Deployment in Ubiquitous Environments

Gauthier Bastide , Mourad Oussalah , Abdelhak-Djamel Seriai
Third International ERCIM Symposium on Software Evolution, Oct 2007, Paris, France
Conference papers hal-00486372v1

Software Component Re-engineering for their Runtime Structural Adaptation

Gauthier Bastide , Abdelhak-Djamel Seriai , Mourad Oussalah
31st  IEEE Computers, Software, and Applications Conference, Jul 2007, Beijing, China. pp.109-114
Conference papers hal-00486384v1

1ère Conférence francophone sur les Architectures Logicielles

Mourad Oussalah , Flavio Oquendo , Dalila Tamzalit , Tahar Khammaci
hermes, 2006
Books hal-00486347v1

La composition d'objets, de composants et de services

Mourad Oussalah , Philippe Lahire
Hermes, 2010
Books hal-00486338v1

Un cadre pour la vérification de modèles UML

Pascal André , Gilles Ardourel , Gerson Sunye
2005
Other publications hal-00458117v1

Vérification de conformité des interactions entre composants

Pascal André , Gilles Ardourel , Christian Attiogbé , Henri Habrias , Cédric Stoquer et al.
LMO Workshop (Objets, Composants et Modèles), OCM'05, 2005, Berne, Suisse, Suisse. pp.1-6
Conference papers hal-00458121v1

Application d'ontologies formelles au droit

Pascal André , Henri Habrias
SDC'06 Journée sur les Ontologies et textes juridiques, OTJ'06, 2006, Nantes, France, France. pp.30--39
Conference papers hal-00458123v1

Systematic Derivation of a Validation Model from a Rule-oriented Model: A System Validation Case Study using PROMELA/SPIN

Christian Attiogbé
4th International Conference on Information and Communication Technologies: from Theory to Applications, ICTTA'04, 2004, Damscus, Syria, Syria. pp.581 -- 587
Conference papers hal-00458200v1

Préconditions et invariants, l'écriture de contraintes mal adaptées à un paradigme de spécification

Henri Habrias , Pascal André
22e congrès INFORSID, 2004, Biarritz, France, France. pp.387--403
Conference papers hal-00467549v1

Auto-adaptation dans les architectures logicielles

Gautier Bastide
2005
Other publications hal-00457847v1