Search - LINA-AELOS Access content directly

Filter your results

205 Results
Deposit type : Notice

Évolution et réutilisation : les styles d’évolution

Olivier Le Goaer , Dalila Tamzalit , Mourad Oussalah , Abdelhak-Djamel Seriai
É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
Book sections hal-01143090v1

Vers une meilleure compréhension de la différence théorique entre un composant et un service

Anthony Hock-Koon Et Mourad Oussalah
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2012, Vol 13, N3, pp.33-62
Journal articles hal-01140794v1

Introduction to the SoSyM theme issue on models and evolution

Dalila Tamzalit , Schätz Bernhard , Alfonso Pierantonio , Dirk Deridder
Springer Berlin Heidelberg, 2014, Software & Systems Modeling (SoSym), ⟨10.1007/s10270-013-0338-4⟩
Books hal-01143192v1

From Research to Teaching Formal Methods: The B Method - TFM-B'2009

Christian Attiogbe , Henri Habrias
Université de Nantes, pp.134, 2008
Books hal-00481604v1

Composite Service MetaModel and Auto Composition

Anthony Hock-Koon , Mourad Oussalah
Journal of Computational Methods in Sciences and Engineering, 2010
Journal articles hal-00487879v1

Specification of a Gas Station using a Formalism Integrating Formal Datatypes within State Diagrams

Christian Attiogbé , Pascal Poizat , Gwen Salaün
{8th International Workshop on Formal Methods for Parallel Programming: Theory and Applications, FMPPTA'03}, 2003, Nice, France, France. pp.240a
Conference papers hal-00458164v1

Practical Combination of Theorem Proving and Model Checking for the Multi-facet Analysis

Christian Attiogbé
31st Annual Conference on Current Trends in Theory and Practice of Informatics, SOFSEM'05, 2005, Liptovsky Jan, Slovakia, Slovakia. pp.1--10
Conference papers hal-00458165v1

Du semi-formel au formel, un exemple

Henri Habrias
6e conférence francophone de MOdélisation et SIMulation, MOSIM 2006, 2006, Rabat, Maroc, Maroc. pp.842--851
Conference papers hal-00458170v1

Software Specification Methods - An Overview Using a Case Study

Henri Habrias , Marc Frappier
ISTE, pp.282, 2006
Books hal-00458174v1

Back in Time Petri Nets

Thomas Chatain , Claude Jard
FORMATS'13, 2013, Argentina. pp.91-105
Conference papers hal-00925467v1

Using Trace to Situate Errors in Model Transformations

Vincent Aranega , Jean-Marie Mottu , Anne Etien , Jean-Luc Dekeyser
Cordeiro, José and Ranchordas, AlpeshKumar and Shishkov, Boris. Software and Data Technologies, 50, Springer Berlin Heidelberg, 2011, Communications in Computer and Information Science, 978-3-642-20116-5. ⟨10.1007/978-3-642-20116-5_11⟩
Book sections inria-00589253v1

C3: Un métamodèle pour la description hiérarchique des architectures logicielles

Abdelkrim Amirat , Mourad Oussalah
The 10th Maghrebian conference on information technologies (MCSEAI'08), Apr 2008, Oran, Algérie. pp.148-155
Conference papers hal-00486419v1

My Architecture: a Knowledge Representation Meta-Model for Software Architecture

Adel Smeda , Mourad Oussalah , Tahar Khammaci
International Journal of Software Engineering and Knowledge Engineering, 2008, 18 (7), pp.877-894
Journal articles hal-00486288v1

COSABuilder: an Extensible Tool for Architectural Description

Mourad Oussalah , Adel Smeda
ICTTA 2008, Apr 2008, Damas, Syria. pp.1-6, ⟨10.1109/ICTTA.2008.4530353⟩
Conference papers hal-00486343v1

Evolution et réutilisation : les styles d'évolution

Olivier Le Goaer , Mourad Oussalah , Dalila Tamzalit
Evolution, Maintenance et Rénovation des Systèmes Logiciels, Hermes, 2010
Book sections hal-00486356v1

Software Architecture Based Connection Manager

Mourad Oussalah , Abdelkrim Amirat , Tahar Khammaci
16th International Conference on Software Engineering and Data Engineering (SEDE-2007), Jul 2007, Imperial Palace Hotel Las Vegas, Las Vegas, Nevada, United States. pp.194-199
Conference papers hal-00486357v1

Combining B Tools for Multi-Process Systems Specification

Christian Attiogbe
African Conference on Research in Computer Science (CARI'2006), Nov 2006, Cotonou, Benin. p. 35--42
Conference papers hal-00482855v1

From Research to Teaching Formal Methods: The B Method (TFM-B'2008)

Christian Attiogbe , Henri Habrias
Université de Nantes, pp.147, 2008
Books hal-00483735v1

Evolution styles to the rescue of architectural evolution knowledge

Olivier Le Goaer , Dalila Tamzalit , Mourad Oussalah , Abdelhak-Djamel Seriai
SHARK 2008, May 2008, Leipzig, Germany. pp.31-36
Conference papers hal-00459868v1

How to manage update needs within component-based software architectures

Olivier Le Goaer , Dalila Tamzalit , Mourad Oussalah , Abdelhak-Djamel Seriai
SEAA 2006 (Work In Progress Session), Aug 2006, Cavtat/Dubrovnik, Croatia. pp.8-10
Conference papers hal-00459888v1

Restructuration de composants logiciels: Une approche d'adaptation structurelle statique basée sur la refactorisation de code orienté-objet

Gautier Bastide
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
Conference papers hal-00457840v1

Software Connectors Reuse in Component-Based Systems

Mourad Oussalah , Adel Smeda , Tahar Khammaci
The IEEE International Conference on Information Reuse and Integration (IRI'03), 2003, Las Vegas, NV, USA, United States. pp.543--550
Conference papers hal-00457852v1

A Software Architecture Evolution : Description and Management Process

Nassima Sadou , Dalila Tamzalit , Mourad Oussalah
The International Conference on Software Engineering Research and Practice (SERP'05), 2005, Las Vegas, USA, United States. pp.368--374
Conference papers hal-00457854v1

Extraction of Component-Based Architecture from Object-Oriented Systems.

Sylvain Chardigny , Abdelhak-Djamel Seriai , Mourad Oussalah , Dalila Tamzalit
Seventh Working IEEE/IFIP Conference on Software Architecture (WICSA 2008), Feb 2008, Vancouver, Canada. pp.285-288
Conference papers hal-00456356v1

A Service-Based Component Model{:} Description Formalism, Formal Analysis and Mechanization

Pascal André , Gilles Ardourel , Christian Attiogbé , Henri Habrias , Cédric Stoquer
2005
Other publications hal-00458116v1

Exercices corrigés en langage Z - Les spécifications formelles par la pratique

Pascal André , Alain Vailly
Editions Ellipses, pp.246, 2004, Collection Technosup
Books hal-00458124v1

Mechanization of an Integrated Approach: Shallow Embedding into SAL/PVS

J. Christian Attiogbe
4th International Conference on Formal Engineering Methods, ICFEM'2002, Oct 2002, Shanghai, China. pp.120-131, ⟨10.1007/3-540-36103-0_15⟩
Conference papers istex hal-00421160v1

Adaptation of Monolithic Software Components by their Transformation into Composite Configurations Based on Refactoring

Gauthier Bastide , Mourad Oussalah , Abdelhak-Djamel Seriai
Component-Based Software Engineering, 9th International Symposium, CBSE 2006, Jun 2006, Sweden. pp.368-375, ⟨10.1007/11783565_29⟩
Conference papers istex hal-00486409v1

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