Skip to Main content Skip to Navigation
New interface


...
hal-01064919v1  Conference papers
Fadila AoussatMourad Chabane OussalahMohamed Ahmed-Nacer. A Domain Ontology for Software Process Architecture Description
7th International Conference on Evaluation of Novel Software Approaches to Software Engineering, Jun 2012, wroclaw, Poland
...
hal-00472321v1  Conference papers
Abdelkrim AmiratMourad OussalahTahar Khammaci. Towards an Approach for Building Reliable Architectures
IEEE International Conference on Information Reuse and Integration (IEEE IRI'07), Aug 2007, United States. pp.467-472
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
...
hal-01087931v1  Conference papers
Benoît DelahayeUli FahrenbergKim Guldstrand LarsenAxel Legay. Refinement and Difference for Probabilistic Automata
QEST 2013 - 10th International Conference Quantitative Evaluation of Systems, Aug 2013, Buenos Aires, Argentina. pp.22 - 38, ⟨10.1007/978-3-642-40196-1_3⟩
...
hal-00662875v1  Conference papers
Julien DormoyOlga KouchnarenkoArnaud Lanoix. Using Temporal Logic for Dynamic Reconfigurations of Components
FACS 2010, 7th Int. Ws. on Formal Aspects of Component Software, 2010, Portugal
...
hal-01347069v2  Conference papers
Matthieu PerrinMatoula PetroliaAchour MostefaouiClaude Jard. On Composition and Implementation of Sequential Consistency
30th International Symposium on Distributed Computing, Sep 2016, Paris, France
...
hal-00692175v1  Conference papers
Sagar SenJean-Marie MottuMassimo TisiJordi Cabot. Using Models of Partial Knowledge to Test Model Transformations
International Conference on Model Transformation, May 2012, Prague, Czech Republic
...
hal-00397713v1  Conference papers
Pascal AndreGilles ArdourelChristian Attiogbé. Defining Component Protocols with Service Composition: Illustration with the Kmelia Model
Software Composition, 6th International Symposium, SC 2007, Mar 2007, Braga, Portugal. pp.2-17, ⟨10.1007/978-3-540-77351-1⟩
...
hal-00991611v1  Journal articles
Riad BelkhatirMourad Chabane OussalahArnaud Viguier. An industrial case study on SOA quality evaluation
International Journal on Engineering Applications (IREA), 2013, pp.2281-2881
...
tel-01390700v1  Theses
Matthieu Perrin. Spécification des objets partagés dans les systèmes répartis sans-attente
Calcul parallèle, distribué et partagé [cs.DC]. Université de Nantes (Unam), 2016. Français
hal-00486396v1  Conference papers
Sylvain MaillardAdel SmedaMourad Oussalah. COSA : An architectural description meta-model
ICSOFT 2007, Proceedings of the Second International Conference on Software and Data Technologies, Jul 2007, Barcelone, Spain. pp.445-448
...
hal-00423690v1  Conference papers
Pascal AndreGilles ArdourelChristian Attiogbé. A Formal Analysis Toolbox for the Kmelia Component Model
ProVeCS 2007 - Satellite Event of TOOLS Europe, Jun 2007, Zürich, Switzerland. pp.10-25
...
hal-00260577v1  Conference papers
Arnaud Lanoix. Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles
2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2008), Jun 2008, France. 8 p
hal-00457853v1  Conference papers
Mourad OussalahDalila Tamzalit. A Conceptualization of OO evolution
The 9th International Conference of Object-Oriented Information Systems (OOIS'03), 2003, Geneva, Switzerland, Switzerland. pp.274--278
hal-00458163v1  Conference papers
Christian AttiogbéPascal PoizatGwen Salaün. Integration of Formal Datatypes within State Diagrams
Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, 2003, Genova, Italy, Italy. pp.341--355
hal-00459898v1  Conference papers
Olivier Le GoaerPeter Ebraert. Evolution styles: change patterns for Software Evolution
ERCIM 2007, Oct 2007, Paris, France. pp.252-261
...
hal-00935129v1  Conference papers
Arnaud LanoixOlga Kouchnarenko. Component Substitution through Dynamic Reconfigurations
11th International Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS, Apr 2014, Grenoble, France. 14 p
hal-00444069v1  Journal articles
Pascal AndréJean-Claude Royer. Un point de vue sur les méthodes formelles à Objets
Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, Hermès-Lavoisier, 1996, 2 (4), pp.5-12
inria-00524150v1  Conference papers
Vincent AranegaJean-Marie MottuAnne EtienJean-Luc Dekeyser. Using Traceability to Enhance Mutation Analysis Dedicated to Model Transformation
Workshop on Model driven Engineering Verification and Validation, Oct 2010, Olso, Norway