|
Formalization of Requirements for Correct Systems
Imen Sayar
,
Jeanine Souquières
Formal Requirements 2020, Sophie Ebersold (University of Toulouse, France); Regine Laleau (University of Paris-Est Creteil, France); Manuel Mazzara (Innopolis University, Russia), Aug 2020, Zurich, Switzerland
Communication dans un congrès
hal-02963472
v1
|
|
Bridging the Gap Between Requirements Document and Formal Specifications using Development Patterns
Imen Sayar
,
Jeanine Souquières
IEEE 27th International Requirements Engineering Conference Workshops (REW), Sep 2019, Jeju Island, South Korea. ⟨10.1109/REW.2019.00026⟩
Communication dans un congrès
hal-02962897
v1
|
|
Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation
Fahad Rafique Golra
,
Fabien Dagnat
,
Jeanine Souquières
,
Imen Sayar
,
Sylvain Guerin
16th International Conference on Software Engineering and Formal Methods (SEFM 2018), Jun 2018, Toulouse, France. pp.54-69, ⟨10.1007/978-3-319-92970-5_4⟩
Communication dans un congrès
hal-01853610
v1
|
|
Du cahier des charges à sa spécification
Imen Sayar
,
Jeanine Souquières
AFADL : Approches Formelles dans l'assistance au Développement de Logiciels, Jun 2017, Montpellier, France
Communication dans un congrès
hal-02963455
v1
|
|
La Validation dans le Processus de Développement
Imen Sayar
,
Jeanine Souquières
34ème Congrès INFORSID, May 2016, Grenoble, France
Communication dans un congrès
hal-01302223
v1
|
|
Proving the Fidelity of Simulations of Event-B Models
Faqing Yang
,
Jean-Pierre Jacquot
,
Jeanine Souquières
The 15th IEEE International Symposium on High Assurance Systems Engineering (HASE), Jan 2014, Miami, United States
Communication dans un congrès
hal-00908066
v1
|
|
JeB: Safe Simulation of Event-B Models in JavaScript
Faqing Yang
,
Jean-Pierre Jacquot
,
Jeanine Souquières
The 20th Asia-Pacific Software Engineering Conference (APSEC), Dec 2013, Bangkok, Thailand
Communication dans un congrès
hal-00908056
v1
|
|
The Case for Using Simulation to Validate Event-B Specifications
Faqing Yang
,
Jean-Pierre Jacquot
,
Jeanine Souquières
APSEC2012 - The 19th Asia-Pacific Software Engineering Conference, The University of Hong Kong, Dec 2012, Hongkong, China. pp.85-90, ⟨10.1109/APSEC.2012.66⟩
Communication dans un congrès
hal-00772812
v1
|
|
Traduction de B événementiel en C pour la validation par la simulation
Faqing Yang
,
Jean-Pierre Jacquot
,
Jeanine Souquières
Approches Formelles dans l'Assistance au Développement de Logiciels 2012 - AFADL 2012, Jan 2012, Grenoble, France
Communication dans un congrès
hal-00650955
v1
|
|
On the Evolution of Component-based Software
Isabelle Coté
,
Maritta Heisel
,
Jeanine Souquières
Communication dans un congrès
inria-00431436
v1
|
|
B événementiel pour la modélisation du domaine: application au transport
Atif Mashkoor
,
Jean-Pierre Jacquot
,
Jeanine Souquières
Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2009), Jan 2009, Toulouse, France. pp.19
Communication dans un congrès
inria-00326355
v2
|
|
Transformation Heuristics for Formal Requirements Validation by Animation
Atif Mashkoor
,
Jean-Pierre Jacquot
,
Jeanine Souquières
2nd International Workshop on the Certification of Safety-Critical Software Controlled Systems - SafeCert 2009, Mar 2009, York, United Kingdom
Communication dans un congrès
inria-00374082
v1
|
|
Towards Validating a Platoon of Cristal Vehicles using CSP||B
Samuel Colin
,
Arnaud Lanoix
,
Olga Kouchnarenko
,
Jeanine Souquières
12th International Conference on Algebraic Methodology and Software Technology (AMAST 2008), Jul 2008, France. 6 p
Communication dans un congrès
hal-00261630
v1
|
|
Protocol Verification in a Software Component-Based Approach
Inès Mouakher
,
Jeanine Souquières
,
Francis Alexandre
15th annual IEEE International Conference on the Engineering of Computer Based Systems, Mar 2008, Belfast, Ireland. 10 p
Communication dans un congrès
hal-00185002
v1
|
|
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-00286431
v1
|
|
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-00310955
v1
|
|
Schémas de développement d'adaptateurs à l'aide de B
Arnaud Lanoix
,
Samuel Colin
,
Jeanine Souquières
Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'07), Jun 2007, Namur, Belgique. pp.91-108
Communication dans un congrès
hal-00131340
v1
|
|
Trustworthy interface compliancy: data model adaptation using B refinement
Samuel Colin
,
Arnaud Lanoix
,
Jeanine Souquières
Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA), Satellite workshop of ETAPS, Mar 2007, Braga, Portugal. 13 p
Communication dans un congrès
hal-00123884
v2
|
|
Quelques patrons de raffinement pour le développement de diagrammes de classes UML
Boulbaba Ben Ammar
,
Mahamed Tahar Bhiri
,
Jeanine Souquières
6ème atelier sur les Objets, Composants et Modèles dans l'ingénierie des Systèmes d'Information, OCM-SI, couplé avec le 25ème congrès INFORSID, May 2007, Perros-Guirec, France. 12 p
Communication dans un congrès
hal-00182740
v1
|
|
Enhancing Dependability of Component-based Systems
Arnaud Lanoix
,
Denis Hatebur
,
Maritta Heisel
,
Jeanine Souquières
Reliable Software Technologies Ada-Europe 2007, 2007, Genève, Switzerland. pp.41--54
Communication dans un congrès
hal-00123999
v1
|
|
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-00104566
v1
|
|
A Method for Component-Based Software and System Development
Denis Hatebur
,
Maritta Heisel
,
Jeanine Souquières
32nd Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2006, Croatia
Communication dans un congrès
hal-00097571
v1
|
|
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-00074477
v1
|
|
An Operator-based Approach to Incremental Development of Conform Protocol State Machines
Arnaud Lanoix
,
Dieu Donné Okalas Ossami
,
Jeanine Souquières
Trustworthy Software 2006, May 2006, Saarbrücken, Germany. pp.14
Communication dans un congrès
inria-00001263
v1
|
|
Checking Consistency of UML state and sequence diagrams using B
Ninh Thuan Truong
,
Jeanine Souquières
Japan-Vietnam Workshop on Software Engineering 2006 (JVSE'06), 2006, Hanoi, Vietnam
Communication dans un congrès
hal-00097561
v1
|
|
Consistency in UML and B multi-view specifications
Dieu Donné Okalas Ossami
,
Jean-Pierre Jacquot
,
Jeanine Souquières
Fifth International Conference on Integrated Formal Methods - IFM'2005, 2005, Eindhoven, Netherlands
Communication dans un congrès
hal-00009478
v1
|
|
Validation of UML static diagrams using B
Ninh Thuan Truong
,
Jeanine Souquières
2005, pp.7
Communication dans un congrès
hal-00009104
v1
|
|
Proving Component Interoperability with B Refinement
Samir Chouali
,
Maritta Heisel
,
Jeanine Souquières
International Workshop on Formal Aspects of Component Software 2005 - FACS'05, 2005, Macao, China
Communication dans un congrès
hal-00009103
v1
|
|
Une méthode pour l'élicitation des besoins : application au système de contrôle d'accès
Jeanine Souquières
,
Maritta Heisel
Approches Formelles dans l'Assistance au Développement des Logiciels - AFADl'2000, Y. Ledru, président (LSR/IMAG, Grenoble), 2000, Grenoble, France, 15 p
Communication dans un congrès
inria-00099084
v1
|
|
Achieving Qualities During the Development of LOTOS Specifications
Thomas Lambolais
,
Jeanine Souquières
4th International Conference on Achieving Quality in Software - AQUIS'98, 1998, Venise, Italy, France. pp.195-206
Communication dans un congrès
inria-00098733
v1
|
|
Methodological Support for Requirements Elicitation and Formal Specification
Maritta Heisel
,
Jeanine Souquières
9th International Workshop on Software Specification and Design - WSSd'98, 1998, Kyoto, Japan, 3 p
Communication dans un congrès
inria-00098407
v1
|
|
Detecting Feature Interaction - A Heuristic Approach
Maritta Heisel
,
Jeanine Souquières
Feature Integration in Requirements Engineering - 1st FIREworks Workshop'98, 1998, Magdeburg, Germany, 19 p
Communication dans un congrès
inria-00098432
v1
|