BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × United Kingdom
Collaborated with:
P.Schobbens H.Kugler D.Harel A.Pnueli Y.Lu P.Heymans J.Trigaux R.Matulevicius A.Claßen
Talks about:
scenario (1) properti (1) sequenc (1) languag (1) diagram (1) complex (1) tempor (1) specif (1) formal (1) featur (1)

Person: Yves Bontemps

DBLP DBLP: Bontemps:Yves

Contributed to:

IET Software, 20082008
FoSSaCS 20052005
TACAS 20052005

Wrote 3 papers:

ATEM-J-2006-HeymansSTBMC #diagrams #feature model
Evaluating formal properties of feature diagram languages (PH, PYS, JCT, YB, RM, AC), pp. 281–302.
FoSSaCS-2005-BontempsS #complexity #sequence chart
The Complexity of Live Sequence Charts (YB, PYS), pp. 364–378.
TACAS-2005-KuglerHPLB #logic #specification
Temporal Logic for Scenario-Based Specifications (HK, DH, AP, YL, YB), pp. 445–460.

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.