![]() |
Hans Jonkers
List of publications from the DBLP Bibliography Server - FAQ
| 2004 | ||
|---|---|---|
| 13 | EE | H. B. M. Jonkers: Interface Specification: A Balancing Act (Extended Abstract). CBSE 2004: 5-6 |
| 2002 | ||
| 12 | EE | Ella E. Roubtsova, L. C. M. van Gool, Ruurd Kuiper, H. B. M. Jonkers: Consistent specification of interface suites in UML. Software and System Modeling 1(2): 98-112 (2002) |
| 2001 | ||
| 11 | EE | Ella E. Roubtsova, L. C. M. van Gool, Ruurd Kuiper, H. B. M. Jonkers: A Specification Model for Interface Suites. UML 2001: 457-471 |
| 10 | EE | Hans Jonkers: Interface-Centric Architecture Descriptions. WICSA 2001: 113-124 |
| 2000 | ||
| 9 | EE | H. B. M. Jonkers: ISpec: Towards Practical and Sound Interface Specifications. IFM 2000: 116-135 |
| 1999 | ||
| 8 | EE | H. B. M. Jonkers: Communication and Synchronisation Using Interaction Objects. World Congress on Formal Methods 1999: 1321-1342 |
| 1998 | ||
| 7 | EE | Loe M. G. Feijs, H. B. M. Jonkers: History, principles and application of the SPRINT method. Journal of Systems and Software 41(3): 199-219 (1998) |
| 1993 | ||
| 6 | H. B. M. Jonkers: An Overview of the SPRINT Method. FME 1993: 403-427 | |
| 1991 | ||
| 5 | H. B. M. Jonkers: Upgrading the Pre- and Postcondition Technique. VDM Europe (1) 1991: 428-456 | |
| 1989 | ||
| 4 | H. B. M. Jonkers: Inheritance in COLD. Algebraic Methods 1989: 277-301 | |
| 1987 | ||
| 3 | H. B. M. Jonkers: An Introduction to COLD-K. Algebraic Methods 1987: 139-205 | |
| 2 | H. B. M. Jonkers: Description Algebra. Algebraic Methods 1987: 283-306 | |
| 1979 | ||
| 1 | H. B. M. Jonkers: A Fast Garbage Compaction Algorithm. Inf. Process. Lett. 9(1): 26-30 (1979) | |
| 1 | Loe M. G. Feijs | [7] |
| 2 | L. C. M. van Gool | [11] [12] |
| 3 | Ruurd Kuiper | [11] [12] |
| 4 | Ella E. Roubtsova | [11] [12] |