H. B. M. Jonkers

12 papers B 1Journal 3Unranked 8
YearRankTypeTitle / Venue / Authors
2004 — conf
Interface Specification: A Balancing Act (Extended Abstract).
CBSE
H. B. M. Jonkers
2002 J jnl
Consistent specification of interface suites in UML.
Softw. Syst. Model.
Ella E. Roubtsova, Louis C. M. van Gool, Ruurd Kuiper, H. B. M. Jonkers
2001 — conf
A Specification Model for Interface Suites.
UML
Ella E. Roubtsova, Louis C. M. van Gool, Ruurd Kuiper, H. B. M. Jonkers
2000 B conf
ISpec: Towards Practical and Sound Interface Specifications.
IFM
H. B. M. Jonkers
1999 — conf
Communication and Synchronisation Using Interaction Objects.
World Congress on Formal Methods
H. B. M. Jonkers
1998 J jnl
History, principles and application of the SPRINT method.
J. Syst. Softw.
Loe M. G. Feijs, H. B. M. Jonkers
1993 — conf
An Overview of the SPRINT Method.
FME
H. B. M. Jonkers
1991 — conf
Upgrading the Pre- and Postcondition Technique.
VDM Europe (1)
H. B. M. Jonkers
1989 — conf
Inheritance in COLD.
Algebraic Methods
H. B. M. Jonkers
1987 — conf
An Introduction to COLD-K.
Algebraic Methods
H. B. M. Jonkers
1987 — conf
Description Algebra.
Algebraic Methods
H. B. M. Jonkers
1979 J jnl
A Fast Garbage Compaction Algorithm.
Inf. Process. Lett.
H. B. M. Jonkers