BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Souqui=egrave=res:Jeanine

Contributed to:

Ada-Europe 20072007
IFM 20052005
SAC 20052005
IFM 20022002
ASE 20012001
World Congress on Formal Methods 19991999
RE 19971997
RE 19931993
ESEC 19871987

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.