H. B. M. Jonkers

Publication Activity (10 Years)

Years Active: 1979-2004
Publications (10 Years): 0

Publications

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