Filter your results
- 205
- 141
- 203
- 66
- 19
- 17
- 14
- 11
- 9
- 3
- 2
- 1
- 1
- 345
- 2
- 26
- 20
- 33
- 21
- 23
- 20
- 32
- 25
- 27
- 31
- 30
- 23
- 17
- 9
- 4
- 1
- 1
- 1
- 2
- 259
- 87
- 326
- 35
- 32
- 24
- 23
- 11
- 10
- 9
- 9
- 8
- 6
- 6
- 6
- 5
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 160
- 61
- 56
- 34
- 34
- 22
- 22
- 21
- 20
- 19
- 19
- 17
- 15
- 14
- 14
- 13
- 12
- 11
- 11
- 11
- 10
- 10
- 10
- 8
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
346 Results
|
Partial Test Oracle in Model Transformation TestingInternational 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 NetsFORMATS'13, 2013, Argentina. pp.91-105
Conference papers
hal-00925467v1
|
|||
|
Towards Validating a Platoon of Cristal Vehicles using CSP||B12th International Conference on Algebraic Methodology and Software Technology (AMAST 2008), Jul 2008, France. 6 p
Conference papers
hal-00261630v1
|
||
|
A Trustworthy Assembly of COTS Components2006
Preprints, Working Papers, ...
hal-00123997v1
|
||
|
Filtered Comparison for Oracle in ModelTransformation TestingICTSS 2012 Ph.D. Workshop, Nov 2012, Aalborg, Denmark. pp.1601-0590
Conference papers
hal-00918590v1
|
||
|
Dynamic Composition of Evolving Process Types[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{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 Analysis31st 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 exemple6e 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 StudyISTE, pp.282, 2006
Books
hal-00458174v1
|
|||
Software Connectors Reuse in Component-Based SystemsThe 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 ProcessThe 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é-objetWorkshop 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 Mechanization2005
Other publications
hal-00458116v1
|
|||
Exercices corrigés en langage Z - Les spécifications formelles par la pratiqueEditions Ellipses, pp.246, 2004, Collection Technosup
Books
hal-00458124v1
|
|||
|
Back in Time Petri Nets2013
Preprints, Working Papers, ...
hal-00840344v1
|
||
Evolution styles to the rescue of architectural evolution knowledgeSHARK 2008, May 2008, Leipzig, Germany. pp.31-36
Conference papers
hal-00459868v1
|
|||
How to manage update needs within component-based software architecturesSEAA 2006 (Work In Progress Session), Aug 2006, Cavtat/Dubrovnik, Croatia. pp.8-10
Conference papers
hal-00459888v1
|
|||
|
Protocoles d'utilisation de composants : spécification et analyse en Kmelia1è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 DescriptionICTTA 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 RefactoringComponent-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 logiciellesThe 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)Université de Nantes, pp.147, 2008
Books
hal-00483735v1
|
|||
Evolution et réutilisation : les styles d'évolutionEvolution, Maintenance et Rénovation des Systèmes Logiciels, Hermes, 2010
Book sections
hal-00486356v1
|
|||
Software Architecture Based Connection Manager16th 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 ArchitectureInternational Journal of Software Engineering and Knowledge Engineering, 2008, 18 (7), pp.877-894
Journal articles
hal-00486288v1
|
|||
Composite Service MetaModel and Auto CompositionJournal of Computational Methods in Sciences and Engineering, 2010
Journal articles
hal-00487879v1
|
|||
|
Scorpio : une Approche d'Adaptation Structurelle de Composants Logiciels - Application aux Environnements UbiquitairesGénie logiciel [cs.SE]. Université de Nantes; Ecole Centrale de Nantes (ECN), 2007. Français. ⟨NNT : ⟩
Theses
tel-00488132v1
|
||
|
Ingénierie dirigée par les modèles : quels supports à l'interopérabilité des systèmes d'information ?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 SpecificationAfrican Conference on Research in Computer Science (CARI'2006), Nov 2006, Cotonou, Benin. p. 35--42
Conference papers
hal-00482855v1
|