The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jeanine Souquières: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Nicole Lévy, Jeanine Souquières
    Modelling Specification Construction by Successive Approximations. [Citation Graph (1, 0)][DBLP]
    AMAST, 1997, pp:351-364 [Conf]
  2. Jeanine Souquières, Nicole Lévy
    PROPLANE: A Specification Development Environment. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:612-615 [Conf]
  3. Hung Ledang, Jeanine Souquières
    Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B. [Citation Graph (0, 0)][DBLP]
    APSEC, 2002, pp:495-0 [Conf]
  4. Maritta Heisel, Jeanine Souquières
    Adding Features to Component-Based Systems. [Citation Graph (0, 0)][DBLP]
    Objects, Agents, and Features, 2003, pp:137-153 [Conf]
  5. Ninh-Thuan Truong, Jeanine Souquières
    An Approach for the Verification of UML Models Using B. [Citation Graph (0, 0)][DBLP]
    ECBS, 2004, pp:195-202 [Conf]
  6. Maritta Heisel, Jeanine Souquières
    A Method for Requirements Elicitation and Formal Specification. [Citation Graph (0, 9)][DBLP]
    ER, 1999, pp:309-324 [Conf]
  7. Eric Dubois, Nicole Lévy, Jeanine Souquières
    Formalising Reconstructuring Operators in a Specification Process. [Citation Graph (0, 0)][DBLP]
    ESEC, 1987, pp:161-171 [Conf]
  8. Maritta Heisel, Jeanine Souquières
    A Heuristic Approach to Detect Feature Interactions in Requirements. [Citation Graph (0, 0)][DBLP]
    FIW, 1998, pp:165-171 [Conf]
  9. Eric Meyer, Jeanine Souquières
    A Systematic Approach to Transform OMT Diagrams to a B Specification. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:875-895 [Conf]
  10. Hung Ledang, Jeanine Souquières
    Integrating UML and B Specification Techniques. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung (1), 2001, pp:641-648 [Conf]
  11. Maritta Heisel, Thomas Santen, Jeanine Souquières
    Toward a Formal Model of Software Components. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2002, pp:57-68 [Conf]
  12. Robert Darimont, Jeanine Souquières
    A Development Model: Application to Z Specifications. [Citation Graph (0, 0)][DBLP]
    Information System Development Process, 1993, pp:247-264 [Conf]
  13. Dieu Donné Ossami, Jean-Pierre Jacquot, Jeanine Souquières
    Consistency in UML and B Multi-view Specifications. [Citation Graph (0, 0)][DBLP]
    IFM, 2005, pp:386-405 [Conf]
  14. Hung Ledang, Jeanine Souquières
    Contributions for Modelling UML State-Charts in B. [Citation Graph (0, 0)][DBLP]
    IFM, 2002, pp:109-127 [Conf]
  15. Hung Ledang, Jeanine Souquières
    Modeling Class Operations in B: Application to UML Behavioral Diagrams. [Citation Graph (0, 0)][DBLP]
    ASE, 2001, pp:289-296 [Conf]
  16. Robert Darimont, Jeanine Souquières
    Reusing Operational Requirements: A Process-Oriented Approach. [Citation Graph (0, 0)][DBLP]
    RE, 1997, pp:16-0 [Conf]
  17. Ninh-Thuan Truong, Jeanine Souquières
    Verification of behavioural elements of UML models using B. [Citation Graph (0, 0)][DBLP]
    SAC, 2005, pp:1546-1552 [Conf]
  18. Jeanine Souquières, Samir Chouali
    Verifying the compatibility of component interfaces using the B formal method. [Citation Graph (0, 0)][DBLP]
    Software Engineering Research and Practice, 2005, pp:850-856 [Conf]
  19. Ninh-Thuan Truong, Jeanine Souquières
    Validation of UML static diagrams using B. [Citation Graph (0, 0)][DBLP]
    Software Engineering Research and Practice, 2005, pp:915-927 [Conf]
  20. Samir Chouali, Maritta Heisel, Jeanine Souquières
    Proving Component Interoperability with B Refinement. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:157-172 [Journal]
  21. Ninh-Thuan Truong, Jeanine Souquières
    Verification of UML Model Elements Using B. [Citation Graph (0, 0)][DBLP]
    J. Inf. Sci. Eng., 2006, v:22, n:2, pp:357-373 [Journal]
  22. Jean-Pierre Finance, Jeanine Souquières
    A method and a language for constructing iterative programs. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1985, v:5, n:2, pp:201-218 [Journal]
  23. Jeanine Souquières, Jean-Pierre Finance
    Description and Improvement of Iterative Program Transformations. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1985, v:5, n:3, pp:233-264 [Journal]
  24. Arnaud Lanoix, Denis Hatebur, Maritta Heisel, Jeanine Souquières
    Enhancing Dependability of Component-Based Systems. [Citation Graph (0, 0)][DBLP]
    Ada-Europe, 2007, pp:41-54 [Conf]
  25. Denis Hatebur, Maritta Heisel, Jeanine Souquières
    A Method for Component-Based Software and System Development. [Citation Graph (0, 0)][DBLP]
    EUROMICRO-SEAA, 2006, pp:72-80 [Conf]

  26. Towards Validating a Platoon of Cristal Vehicles Using CSP||B. [Citation Graph (, )][DBLP]


  27. An Operator-based Approach to Incremental Development of Conform Protocol State Machines. [Citation Graph (, )][DBLP]


  28. Protocol Verification in a Software Component-Based Approach. [Citation Graph (, )][DBLP]


  29. Using CSP||B Components: Application to a Platoon of Vehicles. [Citation Graph (, )][DBLP]


  30. Diagnostic et correction d'erreurs de spécifications Application à l'assemblage de composants. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002