BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Spain
1 × Vietnam
Collaborated with:
G.Verdier G.Gößler N.Bertrand S.Pinchinat
Talks about:
specif (2) modal (2) constraint (1) reachabl (1) quotient (1) contract (1) consist (1) design (1) compon (1) accept (1)

Person: Jean-Baptiste Raclet

DBLP DBLP: Raclet:Jean=Baptiste

Contributed to:

LATA 20152015
LATA 20092009
SEFM 20092009

Wrote 3 papers:

LATA-2015-VerdierR #constraints #reachability #specification
Quotient of Acceptance Specifications Under Reachability Constraints (GV, JBR), pp. 299–311.
LATA-2009-BertrandPR #consistency #refinement #specification
Refinement and Consistency of Timed Modal Specifications (NB, SP, JBR), pp. 152–163.
SEFM-2009-GoesslerR #component #contract #design
Modal Contracts for Component-Based Design (GG, JBR), pp. 295–303.

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.