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 × Canada
1 × Denmark
1 × France
1 × Germany
1 × The Netherlands
1 × United Kingdom
Collaborated with:
E.E.Roubtsova L.C.M.v.Gool R.Kuiper
Talks about:
interfac (3) specif (3) synchronis (1) postcondit (1) techniqu (1) overview (1) interact (1) communic (1) practic (1) upgrad (1)

Person: H. B. M. Jonkers

DBLP DBLP: Jonkers:H=_B=_M=

Contributed to:

CBSE 20042004
UML 20012001
IFM 20002000
World Congress on Formal Methods 19991999
FME 19931993
VDM Europe (1) 19911991

Wrote 7 papers:

CBSE-2004-Jonkers #interface #specification
Interface Specification: A Balancing Act (HBMJ), pp. 5–6.
UML-2001-RoubtsovaGKJ #interface #specification
A Specification Model for Interface Suites (EER, LCMvG, RK, HBMJ), pp. 457–471.
IFM-2000-Jonkers #interface #named #specification #towards
ISpec: Towards Practical and Sound Interface Specifications (HBMJ), pp. 116–135.
FM-v2-1999-Jonkers #communication #interactive #using
Communication and Synchronisation Using Interaction Objects (HBMJ), pp. 1321–1342.
FME-1993-Jonkers #overview
An Overview of the SPRINT Method (HBMJ), pp. 403–427.
Upgrading the Pre- and Postcondition Technique (HBMJ), pp. 428–456.

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.