Search the dblp DataBase
H. B. M. Jonkers :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
H. B. M. Jonkers An Introduction to COLD-K. [Citation Graph (0, 0)][DBLP ] Algebraic Methods, 1987, pp:139-205 [Conf ] H. B. M. Jonkers Description Algebra. [Citation Graph (0, 0)][DBLP ] Algebraic Methods, 1987, pp:283-306 [Conf ] H. B. M. Jonkers Inheritance in COLD. [Citation Graph (0, 0)][DBLP ] Algebraic Methods, 1989, pp:277-301 [Conf ] H. B. M. Jonkers Interface Specification: A Balancing Act (Extended Abstract). [Citation Graph (0, 0)][DBLP ] CBSE, 2004, pp:5-6 [Conf ] H. B. M. Jonkers Upgrading the Pre- and Postcondition Technique. [Citation Graph (0, 0)][DBLP ] VDM Europe (1), 1991, pp:428-456 [Conf ] H. B. M. Jonkers An Overview of the SPRINT Method. [Citation Graph (0, 0)][DBLP ] FME, 1993, pp:403-427 [Conf ] H. B. M. Jonkers Communication and Synchronisation Using Interaction Objects. [Citation Graph (0, 0)][DBLP ] World Congress on Formal Methods, 1999, pp:1321-1342 [Conf ] H. B. M. Jonkers ISpec: Towards Practical and Sound Interface Specifications. [Citation Graph (0, 0)][DBLP ] IFM, 2000, pp:116-135 [Conf ] Ella E. Roubtsova , L. C. M. van Gool , Ruurd Kuiper , H. B. M. Jonkers A Specification Model for Interface Suites. [Citation Graph (0, 0)][DBLP ] UML, 2001, pp:457-471 [Conf ] H. B. M. Jonkers A Fast Garbage Compaction Algorithm. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1979, v:9, n:1, pp:26-30 [Journal ] Loe M. G. Feijs , H. B. M. Jonkers History, principles and application of the SPRINT method. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 1998, v:41, n:3, pp:199-219 [Journal ] Ella E. Roubtsova , L. C. M. van Gool , Ruurd Kuiper , H. B. M. Jonkers Consistent specification of interface suites in UML. [Citation Graph (0, 0)][DBLP ] Software and System Modeling, 2002, v:1, n:2, pp:98-112 [Journal ] Search in 0.003secs, Finished in 0.004secs