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: Jonkers:H=_B=_M=
Contributed to:
2004
2001
2000
19991993
1991Wrote 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.
- VDME-1991-Jonkers
- Upgrading the Pre- and Postcondition Technique (HBMJ), pp. 428–456.