Search - Archive ouverte HAL Access content directly

Filter your results

346 Results
Image document

Partial Test Oracle in Model Transformation Testing

Olivier Finot , Jean-Marie Mottu , Gerson Sunyé , J. Christian Attiogbe
International Conference on Model Transformation (ICMT), Jun 2013, Budapest, Hungary. pp.978-3-642-38882-8, ⟨10.1007/978-3-642-38883-5⟩
Conference papers hal-00823231v1

Back in Time Petri Nets

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

Towards Validating a Platoon of Cristal Vehicles using CSP||B

Samuel Colin , Arnaud Lanoix , Olga Kouchnarenko , Jeanine Souquières
12th International Conference on Algebraic Methodology and Software Technology (AMAST 2008), Jul 2008, France. 6 p
Conference papers hal-00261630v1
Image document

A Trustworthy Assembly of COTS Components

Arnaud Lanoix , Jeanine Souquières
2006
Preprints, Working Papers, ... hal-00123997v1
Image document

Filtered Comparison for Oracle in ModelTransformation Testing

Olivier Finot , Jean-Marie Mottu , Gerson Sunyé , J. Christian Attiogbe
ICTSS 2012 Ph.D. Workshop, Nov 2012, Aalborg, Denmark. pp.1601-0590
Conference papers hal-00918590v1
Image document

Dynamic Composition of Evolving Process Types

Christian Attiogbé
[Research Report] LINA-University of Nantes. 2011, pp.24
Reports hal-00655017v1

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

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

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

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

Pascal André , Gilles Ardourel , Christian Attiogbé , Henri Habrias , Cédric Stoquer et al.
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
Image document

Back in Time Petri Nets

Thomas Chatain , Claude Jard
2013
Preprints, Working Papers, ... hal-00840344v1

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
Image document

Protocoles d'utilisation de composants : spécification et analyse en Kmelia

Pascal Andre , Gilles Ardourel , Christian Attiogbé
1ère Conférence Francophone sur les Architectures Logicielles, Sep 2006, Nantes, France. pp.101--118
Conference papers hal-00423665v1

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

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

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

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 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

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

Composite Service MetaModel and Auto Composition

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

Scorpio : une Approche d'Adaptation Structurelle de Composants Logiciels - Application aux Environnements Ubiquitaires

Gautier Bastide
Génie logiciel [cs.SE]. Université de Nantes; Ecole Centrale de Nantes (ECN), 2007. Français. ⟨NNT : ⟩
Theses tel-00488132v1
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-00813675v1

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