Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Le cluster Jeanine Souquières - Maritta Heisel

Terms

179Jeanine Souquières
54Maritta Heisel
25Ninh Thuan Truong
16Dieu Donné Okalas Ossami
57Jean-Pierre Jacquot
20Atif Mashkoor
11Faqing Yang
30Hung Ledang

Associations

Freq.WeightAssociation
490.498Jeanine Souquières - Maritta Heisel
240.359Jeanine Souquières - Ninh Thuan Truong
150.497Dieu Donné Okalas Ossami - Jean-Pierre Jacquot
160.474Atif Mashkoor - Jean-Pierre Jacquot
100.399Faqing Yang - Jean-Pierre Jacquot
150.280Dieu Donné Okalas Ossami - Jeanine Souquières
200.273Hung Ledang - Jeanine Souquières
230.228Jean-Pierre Jacquot - Jeanine Souquières
Documents par ordre de pertinence
000109 (2016) Atif Mashkoor [Autriche] ; Faqing Yang [France] ; Jean-Pierre Jacquot [France]Refinement-based Validation of Event-B Specifications
000D04 (2014-01-09) Faqing Yang [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France]Proving the Fidelity of Simulations of Event-B Models
000F16 (2013-12-02) Faqing Yang [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France]JeB: Safe Simulation of Event-B Models in JavaScript
001821 (2012-12-04) Faqing Yang [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France]The Case for Using Simulation to Validate Event-B Specifications
001C50 (2012-01-11) Faqing Yang [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France]Traduction de B événementiel en C pour la validation par la simulation
002408 (2011-03-25) Atif Mashkoor [France] ; Faqing Yang [France] ; Jean-Pierre Jacquot [France]Validation of Formal Specification: the Case for Animation
003657 (2009-03-29) Atif Mashkoor [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France]Transformation Heuristics for Formal Requirements Validation by Animation
003716 (2009-01-26) Atif Mashkoor [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France]B événementiel pour la modélisation du domaine: application au transport
003F03 (2008-07-25) Samuel Colin [France] ; Jean-Pierre Jacquot [France] ; Arnaud Lanoix [France] ; Atif Mashkoor [France] ; Jeanine Souquières [France]Requirements for the Description of Component Assembling
004108 (2008-01-31) Samuel Colin [France] ; Jean-Pierre Jacquot [France] ; Arnaud Lanoix [France] ; Atif Mashkoor [France] ; Jeanine Souquières [France]Model for the Land Transport Domain
004584 (2008) Atif Mashkoor [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France]Domain Modeling with Event-B: An Experience with Transportation Domain
005777 (2006) Dieu Donné Okalas Ossami [France] ; Jeanine Souquières [France] ; Jean-Pierre Jacquot [France]Ensuring specification correctness by construction
005786 (2006) Dieu Donné Okalas Ossami [France] ; Jeanine Souquières [France] ; Jean-Pierre Jacquot [France]Developing Specifications by using Operators: a Process to guarantee correctness by construction
005E50 (2005) Dieu Donné Okalas Ossami ; Jean-Pierre Jacquot ; Jeanine SouquièresDevelopment of objectoriented and formal multi-view specifications
005F18 (2005) Dieu Donné Okalas Ossami ; Jeanine Souquières ; Jean-Pierre JacquotConsistency in UML and B multi-view specifications
006277 (2005) Dieu Donné Okalas Ossami [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France]Consistency in UML and B Multi-view Specifications
006533 (2005) Dieu Donné Okalas Ossami [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France]Development of objectoriented and formal multi-view specifications
006539 (2005) Dieu Donné Okalas Ossami [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France]Consistency in UML and B multi-view specifications
006949 (2004) Dieu Donné Okalas Ossami ; Jeanine Souquières ; Jean-Pierre JacquotOpérations de construction de spécification multi-vues UML et B
006A12 (2004) Dieu Donné Okalas Ossami ; Jeanine Souquières ; Jean-Pierre JacquotConcepts importants à la construction de spécifications multi-vues UML et B
006D85 (2004) Dieu Donné Okalas Ossami [France] ; Jeanine Souquières [France] ; Jean-Pierre Jacquot [France]Opérations de construction de spécification multi-vues UML et B
006E23 (2004) Dieu Donné Okalas Ossami [France] ; Jeanine Souquières [France] ; Jean-Pierre Jacquot [France]Concepts importants à la construction de spécifications multi-vues UML et B
007032 (2004) Dieu Donné Okalas Ossami [France] ; Jeanine Souquières [France] ; Jean-Pierre Jacquot [France]Developing UML and B specification using operators : an application to the data refinement
007881 (2003) Dieu Donné Okalas Ossami ; Jeanine Souquières ; Jean-Pierre JacquotVers la construction de spécifications multi-vues UML et B
007B98 (2003) Dieu Donné Okalas Ossami [France] ; Jeanine Souquières [France] ; Jean-Pierre Jacquot [France]Vers la construction de spécifications multi-vues UML et B
000098 (2016) Atif Mashkoor [Autriche] ; Jean-Pierre Jacquot [France]Validation of Formal Specifications through Transformation and Animation
000658 (2015-01-08) Atif Mashkoor [Autriche] ; Jean-Pierre Jacquot [France]Observation-Level-Driven Formal Modeling
001256 (2013-04-03) Faqing Yang [France] ; Jean-Pierre Jacquot [France]JeB : un environnement de simulation en JavaScript pour B événementiel
001F68 (2011-12-06) Atif Mashkoor [France] ; Jean-Pierre Jacquot [France]Stepwise Validation of Formal Specifications
002011 (2011-11-10) Atif Mashkoor [France] ; Jean-Pierre Jacquot [France]Guidelines for Formal Domain Modeling in Event-B
002097 (2011-09-26) Faqing Yang [France] ; Jean-Pierre Jacquot [France]An Event-B Plug-in for Creating Deadlock-Freeness Theorems
002607 (2011) Atif Mashkoor [France] ; Jean-Pierre Jacquot [France]Utilizing Event-B for domain engineering: a critical analysis
002637 (2011) Faqing Yang [France] ; Jean-Pierre Jacquot [France]Scaling Up with Event-B: A Case Study
002913 (2010-12-07) Atif Mashkoor [France] ; Jean-Pierre Jacquot [France]Transformational Heuristics for Animation - Towards Stepwise Validation of Specications
002A54 (2010-09-27) Atif Mashkoor [France] ; Jean-Pierre Jacquot [France]Domain Engineering with Event-B: Some Lessons We Learned
002C50 (2010-06-09) Faqing Yang [France] ; Jean-Pierre Jacquot [France]Prouvé ? Et après ?
003361 (2009-10-12) Isabelle Coté [Allemagne] ; Maritta Heisel [Allemagne] ; Jeanine Souquières [France]On the Evolution of Component-based Software
003B94 (2009) Atif Mashkoor [France] ; Jean-Pierre Jacquot [France]Branimation
003C67 (2009) Atif Mashkoor [France] ; Jean-Pierre Jacquot [France]Incorporating Animation in Stepwise Development of Formal Specification
004109 (2008-01-31) Samuel Colin [France] ; Arnaud Lanoix [France] ; Atif Mashkoor ; Jeanine Souquières [France]A synthesis of existing approaches to specify non-functional properties
004C68 (2007) Arnaud Lanoix [France] ; Denis Hatebur [Allemagne] ; Maritta Heisel [Allemagne] ; Jeanine Souquières [France]Enhancing Dependability of Component-Based Systems
004E53 (2007) Isabelle Coté [Allemagne] ; Maritta Heisel [Allemagne] ; Jeanine Souquières [France]On the Evolution of Component-based Software
004E81 (2007) Arnaud Lanoix [France] ; Denis Hatebur [Allemagne] ; Maritta Heisel [Allemagne] ; Jeanine Souquières [France]Enhancing Dependability of Component-based Systems
005123 (2006-05-18) Arnaud Lanoix [France] ; Dieu Donné Okalas Ossami [France] ; Jeanine Souquières [France]An Operator-based Approach to Incremental Development of Conform Protocol State Machines
005232 (2006) Samir Chouali [France] ; Maritta Heisel [Allemagne] ; Jeanine Souquières [France]Proving Component Interoperability with B Refinement
005713 (2006) Ninh Thuan Truong [France] ; Jeanine Souquières [France]Verification of UML Model Elements Using B
005714 (2006) Ninh Thuan Truong [France] ; Jeanine Souquières [France]Validation of UML scenarios using the B Prover
005798 (2006) Ninh Thuan Truong [France] ; Jeanine Souquières [France]Checking Consistency of UML state and sequence diagrams using B
005824 (2006) Denis Hatebur [Allemagne] ; Maritta Heisel [Allemagne] ; Jeanine Souquières [France]A Method for Component-Based Software and System Development
005B53 (2005) Ninh Thuan Truong ; Jeanine SouquièresUn outil support pour prendre en compte des propriétés objets de réciprocité en B
005B55 (2005) Ninh Thuan Truong ; Jeanine SouquièresPrise en compte des propriétés objets de réciprocité en B
005D80 (2005) Samir Chouali ; Maritta Heisel ; Jeanine SouquièresProving Component Interoperability with B Refinement
005D81 (2005) Samir Chouali ; Maritta Heisel ; Jeanine SouquièresProving Component Interoperability with B Refinement
005F19 (2005) Ninh Thuan Truong ; Jeanine SouquièresTest of object-based specifications using B notations
005F93 (2005) Ninh Thuan Truong ; Jeanine SouquièresVerification of behavioral elements of UML models using B
005F94 (2005) Ninh Thuan Truong ; Jeanine SouquièresValidation of UML static diagrams using B
006045 (2005) Ninh Thuan Truong ; Jeanine SouquièresVerification of UML model elements using B
006374 (2005) Dieu Donné Okalas Ossami [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquieres [France]Consistency in UML and B multi-view specifications
006394 (2005) Ninh Thuan Truong [France] ; Jeanine Souquières [France]Un outil support pour prendre en compte des propriétés objets de réciprocité en B
006407 (2005) Ninh Thuan Truong [France] ; Jeanine Souquières [France]Prise en compte des propriétés objets de réciprocité en B
006452 (2005) Ninh Thuan Truong [France] ; Jeanine Souquières [France]Validation of UML static diagrams using B
006465 (2005) Ninh Thuan Truong [France] ; Jeanine Souquières [France]Test of object-based specifications using B notations
006481 (2005) Samir Chouali [France] ; Maritta Heisel [Allemagne] ; Jeanine Souquières [France]Proving Component Interoperability with B Refinement
006482 (2005) Samir Chouali [France] ; Maritta Heisel [Allemagne] ; Jeanine Souquières [France]Proving Component Interoperability with B Refinement
006731 (2004) Ninh Thuan Truong ; Jeanine SouquièresValidation des propriétés d'un scénario UML/OCL à partir de sa dérivation en B
006739 (2004) Maritta Heisel ; Jeanine SouquièresSpécification de composants pour assurer leur interopérabilité
006819 (2004) Maritta Heisel ; Jeanine SouquièresAdding feature to component-based systems
006831 (2004) Ninh Thuan Truong ; Jeanine SouquièresBoo - A formal approach to specification and verification of object-oriented system
006888 (2004) Maritta Heisel ; Jeanine SouquièresSpecifying Components for Checking Interoperability
006958 (2004) Ninh Thuan Truong ; Jeanine SouquièresConsistency checking of UML static diagrams using B
006980 (2004) Ninh Thuan Truong ; Jeanine SouquièresAn approach for the verification of UML models using B
006C44 (2004) Maritta Heisel [Allemagne] ; Jeanine Souquières [France]Adding Features to Component-Based Systems
006D44 (2004) Ninh Thuan Truong [France] ; Jeanine Souquières [France]Validation des propriétés d'un scénario UML/OCL à partir de sa dérivation en B
006D63 (2004) Maritta Heisel ; Jeanine Souquières [France]Spécification de composants pour assurer leur interopérabilité
006E85 (2004) Maritta Heisel ; Jeanine Souquières [France]Specifying Components for Checking Interoperability
007052 (2004) Ninh Thuan Truong [France] ; Jeanine Souquières [France]Consistency checking of UML static diagrams using B
007067 (2004) Ninh Thuan Truong [France] ; Jeanine Souquières [France]Boo - A formal approach to specification and verification of object-oriented system
007083 (2004) Ninh Thuan Truong [France] ; Jeanine Souquières [France]An approach for the verification of UML models using B
007090 (2004) Maritta Heisel [France] ; Jeanine Souquières [France]Adding feature to component-based systems
007392 (2003) Ninh Thuan Truong ; Jeanine SouquièresValidation des propriétés d'un scénario UML/OCL à partir de sa dérivation en B
007417 (2003) Jeanine Souquières ; Maritta HeiselFormalisation des besoins à l'aide de schémas LSCs
007C00 (2003) Ninh Thuan Truong [France] ; Jeanine Souquières [France]Validation des propriétés d'un scénario UML/OCL à partir de sa dérivation en B
007C07 (2003) Hung Ledang [France] ; Jeanine Souquières [France]Transformation systématique de spécifications UML en B
007C67 (2003) Jeanine Souquières [France] ; Maritta HeiselFormalisation des besoins à l'aide de schémas LSCs
007D05 (2003) Hung Ledang [France] ; Jeanine Souquières [France] ; Sebastien Charles [France]ArgoUML+B : un outil de transformation systématique de spécifications UML en B
007E67 (2003) Ninh Thuan Truong [France] ; Jeanine Souquières [France]An approach for the verification of UML models using B
007E79 (2003) Maritta Heisel ; Jeanine Souquières [France]Adding Features to Component-Based Systems
008045 (2002-06) Hung Ledang [France] ; Jeanine Souquières [France]Integration of UML Views using B Notation
008298 (2002) Hung Ledang ; Jeanine SouquièresDerivation Schemes from OCL Expressions to B
008322 (2002) Hung Ledang ; Jeanine SouquièresIntegration of UML and B Specification Techniques : Systematic Transformation from OCL Expressions into B
008440 (2002) Hung Ledang ; Jeanine SouquièresIntegration of UML Views using B Notation
008456 (2002) Maritta Heisel ; Thomas Santen ; Jeanine SouquièresOn the Specification of Components - the JavaBeans Example
008485 (2002) Hung Ledang ; Jeanine SouquièresContributions for Modelling UML State-Charts in B
008584 (2002) Maritta Heisel ; Thomas Santen ; Jeanine SouquièresToward a Formal Model of Software Components
008728 (2002) Maritta Heisel [Allemagne] ; Thomas Santen [Allemagne] ; Jeanine Souquières [France]Toward a Formal Model of Software Components
008820 (2002) Hung Ledang [France] ; Jeanine Souquières [France]Contributions for Modelling UML State-Charts in B
008A50 (2002) Maritta Heisel ; Thomas Santen ; Jeanine Souquières [France]Toward a Formal Model of Software Components
008A99 (2002) Maritta Heisel ; Thomas Santen ; Jeanine Souquières [France]On the Specification of Components - the JavaBeans Example
008B24 (2002) Hung Ledang [France] ; Jeanine Souquières [France]Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B
008B55 (2002) Hung Ledang [France] ; Jeanine Souquières [France]Derivation Schemes from OCL Expressions to B
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022