Filter your results
- 52
- 30
- 52
- 11
- 8
- 6
- 2
- 1
- 1
- 1
- 82
- 3
- 5
- 8
- 6
- 8
- 8
- 11
- 10
- 8
- 7
- 4
- 1
- 1
- 2
- 63
- 19
- 75
- 8
- 7
- 5
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 47
- 29
- 19
- 15
- 10
- 6
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 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
82 Results
Application d'ontologies formelles au droitSDC'06 Journée sur les Ontologies et textes juridiques, OTJ'06, 2006, Nantes, France, France. pp.30--39
Conference papers
hal-00458123v1
|
|||
Un cadre pour la vérification de modèles UML2005
Other publications
hal-00458117v1
|
|||
Vérification de conformité des interactions entre composantsLMO Workshop (Objets, Composants et Modèles), OCM'05, 2005, Berne, Suisse, Suisse. pp.1-6
Conference papers
hal-00458121v1
|
|||
|
Tool-Assisted Multi-Facet Analysis of Formal Specifications (Using Alelier-B and ProB).IASTED Conf. on Software Engineering (SE'2006), Feb 2006, Innsbruck, Austria. pp.85-90
Conference papers
hal-00420050v1
|
||
A Mechanically Proved Development Combining B Abstract Systems and SpinFourth International Conference on Quality Software QSIC'2004, Sep 2004, Braunschweig, Germany. pp.42 - 49, ⟨10.1109/QSIC.2004.1357943⟩
Conference papers
hal-00421162v1
|
|||
Systematic Derivation of a Validation Model from a Rule-oriented Model: A System Validation Case Study using PROMELA/SPIN4th International Conference on Information and Communication Technologies: from Theory to Applications, ICTTA'04, 2004, Damscus, Syria, Syria. pp.581 -- 587
Conference papers
hal-00458200v1
|
|||
|
Correction d'assemblages de composants impliquant des interfaces paramétrées3e Conférence Francophone sur les Architectures Logicielles, Mar 2009, Nancy, France. pp.34--44
Conference papers
hal-00423658v1
|
||
Préconditions et invariants, l'écriture de contraintes mal adaptées à un paradigme de spécification22e congrès INFORSID, 2004, Biarritz, France, France. pp.387--403
Conference papers
hal-00467549v1
|
|||
|
Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components8th International Symposium on Formal Aspects of Component Software - FACS 2011, Sep 2011, Oslo, Norway
Conference papers
hal-00642345v1
|
||
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
|
|||
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
|
|||
From Research to Teaching Formal Methods: The B Method - TFM-B'2009Université de Nantes, pp.134, 2008
Books
hal-00481604v1
|
|||
|
Can Component/Service-Based Systems Be Proved Correct?Conference on Current Trends in Theory and Practice of Computer Science, Czech Republic, Jan 2009, Spindleruv Mlýn,, Czech Republic. pp.3-18, ⟨10.1007/978-3-540-95891-8_2⟩
Conference papers
hal-00420051v1
|
||
|
A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal DatatypesIEEE Transactions on Software Engineering, 2007, 33 (3), pp.157-170. ⟨10.1109/TSE.2007.21⟩
Journal articles
hal-00470280v1
|
||
|
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
|
||
|
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
|
||
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
|
|||
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
|
|||
|
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
|
||
|
Dynamic Composition of Evolving Process Types[Research Report] LINA-University of Nantes. 2011, pp.24
Reports
hal-00655017v1
|
||
|
Relaxing B Sharing Restrictions within CSP||BInternational Conference on Software Composition 2012, May 2012, Prague, Czech Republic. pp.35-50
Conference papers
hal-00699997v1
|
||
Using Traceability to Enhance Mutation Analysis Dedicated to Model TransformationWorkshop on Model driven Engineering Verification and Validation, Oct 2010, Olso, Norway
Conference papers
inria-00524150v1
|
|||
Intégration de données formelles dans les diagrammes d'états d'UMLApproches Formelles dans l'Assistance au Développement de Logiciels, AFADL'2003, 2003, Toulouse, France. pp.3--17
Conference papers
hal-00458199v1
|
|||
|
Defining Component Protocols with Service Composition: Illustration with the Kmelia ModelSoftware Composition, 6th International Symposium, SC 2007, Mar 2007, Braga, Portugal. pp.2-17, ⟨10.1007/978-3-540-77351-1⟩
Conference papers
hal-00397713v1
|