Travelled to:1 × Finland
1 × Switzerland
1 × The Netherlands
2 × France
4 × USA
Collaborated with:H.Ledang N.Lévy N.Truong E.Meyer R.Darimont D.D.O.Ossami J.Jacquot E.Dubois A.Lanoix D.Hatebur M.Heisel
Talks about:specif (4) uml (4) model (3) oper (3) approach (2) process (2) diagram (2) reconstructur (1) transform (1) contribut (1)
Person: Jeanine Souquières
DBLP: Souqui=egrave=res:Jeanine
Contributed to:
2007
2005
20052002
2001
1999
19971993
1987Wrote 9 papers:
- AdaEurope-2007-LanoixHHS #component #dependence
- Enhancing Dependability of Component-Based Systems (AL, DH, MH, JS), pp. 41–54.
- IFM-2005-OssamiJS #consistency #multi #specification #uml
- Consistency in UML and B Multi-view Specifications (DDOO, JPJ, JS), pp. 386–405.
- SAC-2005-TruongS #behaviour #modelling #uml #using #verification
- Verification of behavioural elements of UML models using B (NTT, JS), pp. 1546–1552.
- IFM-2002-LedangS #modelling #uml
- Contributions for Modelling UML State-Charts in B (HL, JS), pp. 109–127.
- ASE-2001-LedangS #behaviour #diagrams #modelling #uml
- Modeling Class Operations in B: Application to UML Behavioral Diagrams (HL, JS), pp. 289–296.
- FM-v1-1999-MeyerS #approach #diagrams #specification
- A Systematic Approach to Transform OMT Diagrams to a B Specification (EM, JS), pp. 875–895.
- RE-1997-DarimontS #approach #requirements #reuse
- Reusing Operational Requirements: A Process-Oriented Approach (RD, JS), p. 16–?.
- RE-1993-SouquieresL #specification
- Description of specification developments (JS, NL), pp. 216–223.
- ESEC-1987-DuboisLS #formal method #process #specification
- Formalising Reconstructuring Operators in a Specification Process (ED, NL, JS), pp. 161–171.