Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

184 résultats
Page :
triés par
Image document

Utilisation de B pour la vérification de spécifications UML et le développement formel orienté objet

 Ninh Thuan Truong
Génie logiciel [cs.SE]. Université Nancy II, 2006. Français. ⟨NNT : ⟩
Thèse tel-00080852v1

Preuves par récurrence : stratégies et résultats de décidabilité

 Francis Alexandre
[Interne] A02-R-489 || alexandre02c, 2002
Rapport inria-00101077v1

Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures

 Francis Alexandre , Khaled Bsaïes , Moussa Demba
Logic Based Program Synthesis and Transformation: 13th International Symposium - LOPSTR 2003, Maurice Bruynooghe, 2003, Uppsala, Sweden, pp.20-33
Communication dans un congrès inria-00100052v1

Developing UML and B specification using operators : an application to the data refinement

 Dieu Donné Okalas Ossami , Jeanine Souquières , Jean-Pierre Jacquot
[Intern report] A04-R-389 || okalas_ossami04c, 2004, 19 p
Rapport inria-00100239v1
Image document

Using CSP||B Components: Application to a Platoon of Vehicles

 Samuel Colin , Arnaud Lanoix , Olga Kouchnarenko , Jeanine Souquières
13th International ERCIM Wokshop on Formal Methods for Industrial Critical Systems (FMICS 2008), Sep 2008, Italy. 16 p
Communication dans un congrès hal-00286431v1

Transformation systématique de spécifications UML en B

 Hung Ledang , Jeanine Souquières
[Interne] A03-R-192 || ledang03b, 2003, 25 p
Rapport inria-00099768v1

An approach for the verification of UML models using B

 Ninh Thuan Truong , Jeanine Souquières
[Intern report] A03-R-444 || truong03a, 2003
Rapport inria-00099777v1

Entre rétrospective et prospective

 Jean-Pierre Finance
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2000, 19 (1-2-3), pp.11-17
Article dans une revue inria-00099340v1
Image document

Verification of UML Model Elements Using B

 Ninh Thuan Truong , Jeanine Souquières
Journal of Information Science and Engineering, 2006, 22, pp.357-373
Article dans une revue hal-00097566v1

Behavioral conformance verification in an integrated approach using UML and B

 Eric Meyer , Thomas Santen
2nd International Workshop on Integrated Formal Methods - IFM'00, Nov 2000, Dagstuhl Castle, Germany, pp.358-379
Communication dans un congrès inria-00099377v1
Image document

Vers la construction de spécifications multi-vues UML et B

 Dieu Donné Okalas Ossami , Jeanine Souquières , Jean-Pierre Jacquot
Manifestation des Jeunes Chercheurs du domaine des STIC 2003 -MAJECSTIC'03, 2003, Marseille, France
Communication dans un congrès inria-00099500v1

Prise en compte des propriétés objets de réciprocité en B

 Ninh Thuan Truong , Jeanine Souquières
2005
Pré-publication, Document de travail hal-00009105v1
Image document

Formal Domain Engineering: From Specification to Validation

 Atif Mashkoor
Software Engineering [cs.SE]. Université Nancy II, 2011. English. ⟨NNT : ⟩
Thèse tel-00614269v2
Image document

Guidelines for Formal Domain Modeling in Event-B

 Atif Mashkoor , Jean-Pierre Jacquot
The 13th IEEE International High Assurance Systems Engineering Symposium (HASE 2011), Nov 2011, Boca Raton, United States
Communication dans un congrès hal-00640203v1
Image document

A tool for checking CSP||B specifications

 Huu Nghia Nguyen , Jean-Pierre Jacquot
Workshop on Tool Building in Formal Methods - Held in conjunction with the 2nd International ABZ Conference, Feb 2010, Orford (Québec), Canada
Communication dans un congrès inria-00463422v1
Image document

JeB : un environnement de simulation en JavaScript pour B événementiel

 Faqing Yang , Jean-Pierre Jacquot
Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), Apr 2013, Nancy, France
Communication dans un congrès hal-00908037v1

Requirements elicitation and specification

 Jeanine Souquières , Maritta Heisel
World Congress on Formal Methods in the Development of Computing Systems - FM'99, 1999, Toulouse, France, 116 p
Communication dans un congrès inria-00098923v1
Image document

Validation of Formal Specifications through Transformation and Animation

 Atif Mashkoor , Jean-Pierre Jacquot
Requirements Engineering, 2017, 22 (4), pp.433-451. ⟨10.1007/s00766-016-0246-6⟩
Article dans une revue hal-01262115v1

Comparing Architectural Styles: Broker Specializes Mediator

 Nicole Lévy , Francisca Losavio , Alfredo Matteo
Third International Software Architecture Workshop - ISAW 3, 1998, Orlando, Florida, USA, 4 p
Communication dans un congrès inria-00098484v1
Image document

Towards validation of requirements models

 Atif Mashkoor , Abderrahman Matoussi
The Second International Conference on ASM, Alloy, B and Z (ABZ 2010), Feb 2010, Orford (Québec), Canada. pp.404, ⟨10.1007/978-3-642-11811-1_38⟩
Communication dans un congrès hal-00431272v1

Diagnostic et correction d'erreurs de spécifications : application à l'assemblage de composants

 Inès Mouakher , Jeanine Souquières , Francis Alexandre
RTSI - L'Objet, 2008, 14, pp.11--42
Article dans une revue hal-00343182v1

Modélisation événementielle pour la construction de diagrammes de classes

 Boulbaba Ben Ammar , Mahamed Tahar Bhiri , Jeanine Souquières
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2008, 13 (3), pp.131-155
Article dans une revue hal-00310954v1
Image document

Schéma de refactoring de diagrammes de classes basé sur la notion de délégation

 Boulbaba Ben Ammar , Mohamed Tahar Bhiri , Jeanine Souquières
ERTSI (INFORSID 2008), May 2008, Fontainebleau, France. 12 p
Communication dans un congrès hal-00310955v1

Validation technique des sous-systèmes

 Samuel Colin , Arnaud Lanoix , Jeanine Souquières
2008
Autre publication scientifique hal-00343549v1
Image document

Component Adaptation: Specification and Verification

 Inès Mouakher , Arnaud Lanoix , Jeanine Souquières
11th International Workshop on Component Oriented Programming - WCOP 2006, Wolfgang Weck, Ralf Reussner and Clemens Szyperski, Jul 2006, Nantes, France. pp.8
Communication dans un congrès inria-00074477v1
Image document

Test Case Generation from UML State Machines

 Dirk Seifert
[Research Report] 2008
Rapport inria-00268864v2
Image document

An Executable Formal Semantics for a UML State Machine Kernel Considering Complex Structured Data

 Dirk Seifert
[Research Report] 2008, pp.21
Rapport inria-00274391v2
Image document

Concepts importants à la construction de spécifications multi-vues UML et B

 Dieu Donné Okalas Ossami , Jeanine Souquières , Jean-Pierre Jacquot
Informations, Savoirs, Décisions et Médiations [Informations, Sciences for Decisions Making ] , 2004, 13, 14 p
Article dans une revue inria-00107756v1

Specifying Components for Checking Interoperability

 Maritta Heisel , Jeanine Souquières
[Intern report] A04-R-278 || heisel04c, 2004, 16 p
Rapport inria-00100223v1
Image document

Validation of UML scenarios using the B Prover

 Ninh Thuan Truong , Jeanine Souquières
Third Taiwanese-French Conference on Information Technology - TFIT 2006, 2006, Nancy, France. pp.97--116
Communication dans un congrès hal-00104566v1
Page :