H. B. M. Jonkers

According to our database, H. B. M. Jonkers authored at least 14 papers between 1979 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2004

Interface Specification: A Balancing Act (Extended Abstract).

H. B. M. Jonkers

Proceedings of the Component-Based Software Engineering, 7th International Symposium, 2004

2002

Consistent specification of interface suites in UML.

Ella E. Roubtsova, Louis C. M. van Gool, Ruurd Kuiper, H. B. M. Jonkers

Softw. Syst. Model., 2002

2001

Interface-Centric Architecture Descriptions.

Hans Jonkers

Proceedings of the 2001 Working IEEE / IFIP Conference on Software Architecture (WICSA 2001), 2001

A Specification Model for Interface Suites.

Ella E. Roubtsova, Louis C. M. van Gool, Ruurd Kuiper, H. B. M. Jonkers

Proceedings of the «UML» 2001, 2001

2000

ISpec: Towards Practical and Sound Interface Specifications.

H. B. M. Jonkers

Proceedings of the Integrated Formal Methods, Second International Conference, 2000

1999

Communication and Synchronisation Using Interaction Objects.

H. B. M. Jonkers

Proceedings of the FM'99 - Formal Methods, 1999

1998

History, principles and application of the SPRINT method.

Loe M. G. Feijs, H. B. M. Jonkers

J. Syst. Softw., 1998

1994

Notations for software design.

Loe M. G. Feijs, Hans Jonkers, Cornelis A. Middelburg

FACIT: Formal approaches to computing and information technology, Springer, ISBN: 978-3-540-19902-1, 1994

1993

An Overview of the SPRINT Method.

H. B. M. Jonkers

Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

1991

Upgrading the Pre- and Postcondition Technique.

H. B. M. Jonkers

Proceedings of the VDM '91, 1991

1989

Inheritance in COLD.

H. B. M. Jonkers

Proceedings of the Algebraic Methods II: Theory, 1989

1987

Description Algebra.

H. B. M. Jonkers

Proceedings of the Algebraic Methods: Theory, 1987

An Introduction to COLD-K.

H. B. M. Jonkers

Proceedings of the Algebraic Methods: Theory, 1987

1979

A Fast Garbage Compaction Algorithm.

H. B. M. Jonkers

Inf. Process. Lett., 1979