Chargement...
 
Imprimer

Bibliographie

2020

Imen Sayar, Jeanine Souquières. Formalization of Requirements for Correct Systems. In Formal Requirements 2020,
Zurich, Switzerland. https://hal.univ-lorraine.fr/hal-02963472

2019

Imen Sayar, Jeanine Souquières. Bridging the Gap Between Requirements Document and Formal Specifications using
Development Patterns. IEEE 27th International Requirements Engineering Conference Workshops (REW), RE Workshops
2019: pp. 116-122.

Imen Sayar. Articulation entre activités formelles et activités semi-formelles dans le développement de
logiciels (Articulation between definite and semi-definite activities in software development), Thesis
University of Lorraine, Nancy, France, 2019, https://tel.archives-ouvertes.fr/tel-02141660.

2018

Fahad Rafique Golra, Fabien Dagnat, Jeanine Souquières, Imen Sayar and Sylvain Guérin.
Bridging the gap between informal requirements and formal specifications using model federation.
Vol. 10886 of LNCS. SEFM 2018 Internarional conference on Software Engineering and Formal Methods, June 2018, Toulouse, Fr. ⟨10.1007/978-3-319-92970-5_4⟩

2017

Imen Sayar, Jeanine Souquières. La validation dans les premières étapes du processus de développement.
Numéro spécial « Décisions, argumentation et traçabilité dans l’Ingénierie des Systèmes
d’Information », RSTI série ISI volume 22, pp. 11-41 - n° 4/2017. ⟨10.3166/ISI.22.4.11-41⟩

Imen Sayar, Jeanine Souquières. Du cahier des charges à sa spécification. 16ème des journées AFADL Approches
Formelles dans l'assistance au Développement de Logiciels, 13 au 16 juin 2017, Montpellier, Fr.

Atif Mashkoor, Jean-Pierre Jacquot. Validation of Formal Specifications through Transformation and Animation
Requirements Engineering, Springer Verlag, 2017, 22 (4), pp.433-451. 〈10.1007/s00766-016-0246-6〉
https://hal.inria.fr/LORIA/hal-01262115v1

2016

Imen Sayar, Jeanine Souquières. La Validation dans le Processus de Développement.
34ème Congrès INFORSID, May 2016, Grenoble, France. Actes du 34ème congrès INFORSID.
https://hal.archives-ouvertes.fr/hal-01302223

Atif Mashkoor, Faqing Yang, Jean-Pierre Jacquot. Refinement-based Validation of Event-B Specifications
Software and Systems Modeling, Springer Verlag, 2016, pp.33. https://hal.inria.fr/LORIA/hal-01262106v1


Jean-Pierre Jacquot. Premières leçons sur la spécification d’un train d’atterrissage en B Événementiel,
Technique et Science Informatiques, Editions Hermes, 2016, pp.25. https://hal.inria.fr/LORIA/hal-01262077v1

2015

Atif Mashkoor, Jean-Pierre Jacquot. Observation-Level-Driven Formal Modeling
16th IEEE International Symposium on High Assurance Systems Engineering. HASE 2015, Jan 2015, Daytona Beach (FL), United States. pp.158--165, 2015, Proc. 16th IEEE International Symposium on High Assurance Systems Engineering.
https://hal.inria.fr/LORIA/hal-01140824v1

2014

Faqing Yang, Jean-Pierre Jacquot, Jeanine Souquières. Proving the Fidelity of Simulations of Event-B Models. The 15th IEEE International Symposium on High Assurance Systems Engineering (HASE), Jan 2014, Miami, United States.
https://hal.inria.fr/hal-00908066/file/hase2014-final.pdf

Jean-Pierre Jacquot. Premières leçons sur la spécification d'un train d'atterrissage en B événementiel. C. Dubois; R. Laleau. AFADL 2014, Jun 2014, Paris, France. https://hal.inria.fr/LORIA/hal-00982982v1

2013

Faqing Yang, Jean-Pierre Jacquot, Jeanine Souquières. JeB: Safe Simulation of Event-B Models in JavaScript. The 20th Asia-Pacific Software Engineering Conference (APSEC), Dec 2013, Bangkok, Thailand.
https://hal.inria.fr/hal-00908056/file/apsec2013-final.pdf

2012

Faqing Yang, Jean-Pierre Jacquot, Jeanine Souquières. Traduction de B événementiel en C pour la validation par la simulation. Approches Formelles dans l'Assistance au Développement de Logiciels 2012 - AFADL 2012, Jan 2012, Grenoble, France.
https://hal.inria.fr/hal-00650955/file/afadl2012_version_finale.pdf

Faqing Yang, Jean-Pierre Jacquot, Jeanine Souquières. The Case for Using Simulation to Validate Event-B Specifications. Karl Leung, Pornsiri Muenchaisri. APSEC2012 - The 19th Asia-Pacific Software Engineering Conference, Dec 2012, Hongkong, China. IEEE, pp.85-90, <http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6462642>. .
https://hal.inria.fr/hal-00772812/file/Yang-Jacquot-Souquieres-98.pdf

2009


Atif Mashkoor, Jean-Pierre Jacquot, Jeanine Souquières. Transformation Heuristics for Formal Requirements Validation by Animation. 2nd International Workshop on the Certification of Safety-Critical Software Controlled Systems - SafeCert 2009, Mar 2009, York, United Kingdom.
https://hal.inria.fr/inria-00374082/file/SafeCert2009.pdf

Atif Mashkoor, Jean-Pierre Jacquot, Jeanine Souquières. B événementiel pour la modélisation du domaine: application au transport. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2009), Jan 2009, Toulouse, France. pp.19.
https://hal.inria.fr/inria-00326355/file/AFADL2009.pdf

Isabelle Coté, Maritta Heisel, Jeanine Souquières. On the Evolution of Component-based Software. 4th IFIP TC2 Central and East European Conference on Software Engineering Techniques - CEE-SET 2009, Oct 2009, Krakow, Poland. https://hal.inria.fr/inria-00431436

2008

Article dans des revues

Boulbaba Ben Ammar, Mahamed Tahar Bhiri, Jeanine Souquières. Modélisation événementielle pour la construction de diagrammes de classes. RSTI - ISI, 2008, 13 (3), pp.131-155. https://hal.inria.fr/hal-00310954/en

Inès Mouakher, Jeanine Souquières, Francis Alexandre. Diagnostic et correction d'erreurs de spécifications : application à l'assemblage de composants. RTSI - L'Objet, 2008, 14, pp.11--42.
https://hal.inria.fr/hal-00343182/en

Boulbaba Ben Ammar, Mohamed Tahar Bhiri, Jeanine Souquières. Incremental development of UML specifications using operation refinements. Innovations in Systems and Software Engineering, Springer Verlag (Germany), 2008, 4, pp.259-266. https://hal.archives-ouvertes.fr/hal-00182258/

Jeanine Souquières. A Component-Based Approach for the Specification and Verification of Safety Critical Software: Application to a Platoon of Vehicles. ERCIM News, ERCIM, 2008, 75, pp.33-34.
http://ercim-news.ercim.eu/en75/special/a-component-based-approach-for-the-specification-of-safety-critical-software

Arnaud Lanoix, Jeanine Souquières. Trustworthy Assembly of Components using B Refinement. e-Informatica Software Engineering Journal (ISEJ), 2008, 2 (1), 19 p. <hal-00123997v2>
https://hal.archives-ouvertes.fr/hal-00123997/file/e-informatica-submitted.pdf

Arnaud Lanoix, Samuel Colin, Jeanine Souquières. Développement formel par composants : assemblage et vérification à l'aide de B. Revue Technique et Science Informatiques, Hermes, 2008, 27 (8), pp.1007-1032. <10.3166/TSI.27.1007-1032>. <hal-00180972>
https://hal.archives-ouvertes.fr/hal-00180972/file/LanoixColinSouquieres_tsi08.pdf

Communication dans un congrès

Inès Mouakher, Jeanine Souquières, Francis Alexandre. Protocol Verification in a Software Component-Based Approach. 15th annual IEEE International Conference on the Engineering of Computer Based Systems, Mar 2008, Belfast, Ireland. 10 p. https://hal.inria.fr/hal-00185002/en


Boulbaba Ben Ammar, Mohamed Tahar Bhiri, Jeanine Souquières. Schéma de refactoring de diagrammes de classes basé sur la notion de délégation. ERTSI (INFORSID), May 2008, Fontainebleau, France. 12 p. <hal-00310955>
https://hal.archives-ouvertes.fr/hal-00310955/file/ERTS08I.pdf

Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières. Towards Validating a Platoon of Cristal Vehicles using CSP II B. Springer. 12th International Conference on Algebraic Methodology and Software Technology, Jul. 2008, France. 6 p., LNCS. <hal-00261630>
https://hal.archives-ouvertes.fr/hal-00261630/file/hal-07-03.pdf BibTex

Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières. Using CSP II B Components: Application to a Platoon of Vehicles. 13th International ERCIM Wokshop on Formal Methods for Industrial Critical Systems, Sep. 2008, Italy. Springer-Verlag, 16 p., LNCS.
https://hal.archives-ouvertes.fr/hal-00286431/file/platoon-fmics08.pdf

2007

Communication dans un congrès

Samuel Colin, Arnaud Lanoix, Jeanine Souquières. Trustworthy interface compliancy: data model adaptation using B refinement. Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA), Satellite workshop of ETAPS, Mar 2007, Braga, Portugal. 13 p., To be published in Electronic Notes in Theoretical Computer Science (ENTCS).
https://hal.archives-ouvertes.fr/hal-00123884/file/RR-fesca.pdf

Boulbaba Ben Ammar, Mahamed Tahar Bhiri, Jeanine Souquières. Quelques patrons de raffinement pour le développement de diagrammes de classes UML. 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.
https://hal.archives-ouvertes.fr/hal-00182740/file/OCM-benammar.pdf

Arnaud Lanoix, Samuel Colin, Jeanine Souquières. Schémas de développement d'adaptateurs à l'aide de B. Marie-Laure Potet and Pierre-Yves Schobbens and Hubert Toussaint and Germain Saval. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'07), Jun 2007, Namur, Belgium. pp.91-108. <hal-00131340>
https://hal.archives-ouvertes.fr/hal-00131340/file/main.pdf BibTex

Arnaud Lanoix, Denis Hatebur, Maritta Heisel, Jeanine Souquières. Enhancing Dependability of Component-based Systems. Reliable Software Technologies Ada-Europe 2007, 2007, Genève, Switzerland. Springer Verlag, pp.41--54, LNCS.
https://hal.archives-ouvertes.fr/hal-00123999/file/rst07-submitted.pdf

Direction d'ouvrage, Proceedings

Jeanine Souquières. Approches formelles pour le développement de logiciels. Lavoisier (Hermes), pp.128, 2007. https://hal.inria.fr/hal-00184424/en








Événements DEDALE


septembre 2021
Di Lu Ma Me Je Ve Sa
29 30 31 01 02 03 04
05 06 07 08 09 10 11
12 13 14 15 16 17 18
19 20 21 22 23 24 25
26 27 28 29 30 01 02