Mots-clés

Nombre de documents

38

Besoins et spécifications; validation


souquieres


Article dans une revue6 documents

  • 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. <hal-00343182>
  • Boulbaba Ben Ammar, Mahamed Tahar Bhiri, Jeanine Souquières. Modélisation événementielle pour la construction de diagrammes de classes. Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2008, 13 (3), pp.131-155. <hal-00310954>
  • 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, 2008, 4, pp.259-266. <10.1007/s11334-008-0056-1>. <hal-00311408>
  • 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. <hal-00343183>
  • Ninh Thuan Truong, Jeanine Souquières. Verification of UML Model Elements Using B. Journal of Information Science and Engineering, Academia Sinica, 2006, 22, pp.357-373. <hal-00097566>
  • Samir Chouali, Maritta Heisel, Jeanine Souquières. Proving Component Interoperability with B Refinement. Electronic Notes in Theoretical Computer Science, Elsevier, 2006, 160, pp.157-172. <hal-00097553>

Communication dans un congrès14 documents

  • 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. 2014. <hal-00908066>
  • 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. 2013. <hal-00908056>
  • 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, 2012, <http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6462642>. <10.1109/APSEC.2012.66>. <hal-00772812>
  • 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, 2009. <inria-00326355v2>
  • 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. 2009. <inria-00374082>
  • 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. 2009. <inria-00431436>
  • 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 2008), May 2008, Fontainebleau, France. 12 p., 2008. <hal-00310955>
  • 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., 2008. <hal-00185002>
  • 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., 2007. <hal-00182740>
  • Denis Hatebur, Maritta Heisel, Jeanine Souquières. A Method for Component-Based Software and System Development. 32nd Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2006, Croatia. 2006. <hal-00097571>
  • Ninh Thuan Truong, Jeanine Souquières. Checking Consistency of UML state and sequence diagrams using B. Japan-Vietnam Workshop on Software Engineering 2006 (JVSE'06), 2006, Hanoi, Vietnam. 2006. <hal-00097561>
  • Ninh Thuan Truong, Jeanine Souquières. Validation of UML scenarios using the B Prover. Third Taiwanese-French Conference on Information Technology - TFIT 2006, 2006, Nancy, France. pp.97--116, 2006. <hal-00104566>
  • Arnaud Lanoix, Dieu Donné Okalas Ossami, Jeanine Souquières. An Operator-based Approach to Incremental Development of Conform Protocol State Machines. Serge Autexier and Stephan Merz and Leendert W. N. van der Torre and Reinhard Wilhelm and Pierre Wolper. Trustworthy Software 2006, May 2006, Saarbrücken, Germany. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), pp.14, 2006, Workshop "Trustworthy Software" 2006. <inria-00001263>
  • Ninh Thuan Truong, Jeanine Souquières. Validation of UML static diagrams using B. 2005, pp.7, 2005. <hal-00009104>

Direction d'ouvrage, Proceedings2 documents

  • Jeanine Souquières. Approches formelles pour le développement de logiciels. Lavoisier (Hermes), pp.128, 2007. <hal-00184424>
  • Jacques Julliand, Jeanine Souquières. Approches formelles pour le développement de logiciels. Lavoisier (Hermes), pp.142, 2006. <hal-00184422>

Autre publication8 documents

  • Samuel Colin, Arnaud Lanoix, Jeanine Souquières. Validation technique des sous-systèmes. Livrable CRISTAL, Lot 2 : Validation technique des sous-systèmes Rapport d'étude intermédiaire. 2008. <hal-00343549>
  • Samuel Colin, Jean-Pierre Jacquot, Arnaud Lanoix, Atif Mashkoor, Jeanine Souquières. Model for the Land Transport Domain. Livrable TACOS L1.1, Tâche T1. 2008. <hal-00344882>
  • Samuel Colin, Arnaud Lanoix, Atif Mashkoor, Jeanine Souquières. A synthesis of existing approaches to specify non-functional properties. Livrable TACOS L2-1.1, Tâche 2. 2008. <hal-00344883>
  • Isabelle Coté, Maritta Heisel, Jeanine Souquières. On the Evolution of Component-based Software. Rapport interne. 2007. <hal-00182741>
  • Inès Mouakher, Francis Alexandre, Jeanine Souquières. Protocol verification in a software component approach. Rapport interne. 2007. <hal-00182262>
  • Boulbaba Ben Ammar, Mohamed Tahar Bhiri, Jeanine Souquières. Towards an incremental development of UML specifications. Rapport. 2007. <hal-00182180>
  • Boulbaba Ben Ammar, Mohamed Tahar Bhiri, Jeanine Souquières. Incremental development of UML specifications using operation refinements. Rpport interne. 2007. <hal-00182258>
  • Dieu Donné Okalas Ossami, Jean-Pierre Jacquot, Jeanine Souquières. Development of objectoriented and formal multi-view specifications. Rapport technique. 2005. <hal-00013790>

Pré-publication, Document de travail5 documents

  • Arnaud Lanoix, Jeanine Souquières. A Step-by-step Process to Build Conform UML Protocol State Machines. 2006. <hal-00019314>
  • Dieu Donné Okalas Ossami, Jeanine Souquières, Jean-Pierre Jacquot. Ensuring specification correctness by construction. 2006. <hal-00104722>
  • Dieu Donné Okalas Ossami, Jeanine Souquières, Jean-Pierre Jacquot. Developing Specifications by using Operators: a Process to guarantee correctness by construction. 2006. <hal-00104266>
  • Ninh Thuan Truong, Jeanine Souquières. Un outil support pour prendre en compte des propriétés objets de réciprocité en B. 2005. <hal-00013768>
  • Ninh Thuan Truong, Jeanine Souquières. Prise en compte des propriétés objets de réciprocité en B. 2005. <hal-00009105>

Rapport3 documents

  • Atif Mashkoor, Jean-Pierre Jacquot, Jeanine Souquières. Domain Modeling with Event-B: An Experience with Transportation Domain. [Research Report] 2008. <inria-00326253>
  • Dirk Seifert, Jeanine Souquières. Using UML Protocol State Machines in Conformance Testing of Components. [Research Report] 2008. <inria-00274383>
  • Samir Chouali, Maritta Heisel, Jeanine Souquières. Proving Component Interoperability with B Refinement. [Research Report] 2005. <inria-00000171>