Filter your results
- 205
- 141
- 120
- 42
- 17
- 17
- 7
- 2
- 205
- 14
- 9
- 10
- 1
- 5
- 5
- 26
- 14
- 19
- 20
- 25
- 23
- 17
- 9
- 3
- 1
- 1
- 1
- 2
- 143
- 62
- 196
- 34
- 10
- 9
- 6
- 4
- 4
- 4
- 4
- 4
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 121
- 51
- 34
- 34
- 20
- 19
- 19
- 18
- 11
- 11
- 10
- 10
- 9
- 7
- 6
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 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
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
Évolution et réutilisation : les styles d’évolutionÉ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 serviceRevue 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 evolutionSpringer 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'2009Université de Nantes, pp.134, 2008
Books
hal-00481604v1
|
|||
Composite Service MetaModel and Auto CompositionJournal 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{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
|
|||
Back in Time Petri NetsFORMATS'13, 2013, Argentina. pp.91-105
Conference papers
hal-00925467v1
|
|||
Using Trace to Situate Errors in Model TransformationsCordeiro, 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 logiciellesThe 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 ArchitectureInternational Journal of Software Engineering and Knowledge Engineering, 2008, 18 (7), pp.877-894
Journal articles
hal-00486288v1
|
|||
COSABuilder: an Extensible Tool for Architectural DescriptionICTTA 2008, Apr 2008, Damas, Syria. pp.1-6, ⟨10.1109/ICTTA.2008.4530353⟩
Conference papers
hal-00486343v1
|
|||
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
|
|||
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
|
|||
From Research to Teaching Formal Methods: The B Method (TFM-B'2008)Université de Nantes, pp.147, 2008
Books
hal-00483735v1
|
|||
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
|
|||
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
|
|||
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
|
|||
Extraction of Component-Based Architecture from Object-Oriented Systems.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 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
|
|||
Mechanization of an Integrated Approach: Shallow Embedding into SAL/PVS4th 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 RefactoringComponent-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 Service2010 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 approachSEDE 2010 19th Software Engineering and Data Engineering, Jun 2010, San Francisco, United States
Conference papers
hal-00486126v1
|