If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Article
2019

Dependency safety for Java: implementing and testing failboxes

Zhang, D., Bošnački, D., van den Brand, M., Huizing, C., Jacobs, B., Kuiper, R. & Wijs, A., 1 Oct 2019, In : Science of Computer Programming. 184, 22 p., 102316.

Research output: Contribution to journalArticleAcademicpeer-review

2008

Specification and verification of invariants by exploiting layers in OO designs

Middelkoop, R., Huizing, C., Kuiper, R. & Luit, E. J., 2008, In : Fundamenta Informaticae. 85, 1-4, p. 377-398

Research output: Contribution to journalArticleAcademicpeer-review

3 Citations (Scopus)
2 Downloads (Pure)
1999
Open Access
File
38 Downloads (Pure)
1998

Formal semantics for Ward and Mellor's transformation schemas and its application to fault tolerant systems

Petersohn, C., Huizing, C., Peleska, J. & de Roever, W. P., 1 Mar 1998, In : Computer Systems Science and Engineering. 13, 2, p. 131-136 6 p.

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)
1997

Java, taal van het jaar nul

Huizing, C., 1997, In : Informatie. 39, 1, p. 59-64

Research output: Contribution to journalArticleProfessional

5 Downloads (Pure)
1996

Java

Huizing, C., 1996, In : Impact. 2, 5, p. 4-

Research output: Contribution to journalArticleProfessional

1 Downloads (Pure)
1991

Introduction to design choices in the semantics of Statecharts

Huizing, C. & Roever, de, W. P., 1991, In : Information Processing Letters. 37, 4, p. 205-213

Research output: Contribution to journalArticleAcademicpeer-review

21 Citations (Scopus)
2 Downloads (Pure)