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] |