Centrum Wiskunde & Informatica

Formalizing UML Models and OCL Constraints in PVS Article

Electronic Notes in Theoretical Computer Science, 39-47.

M. Kyas (Marcel), H. Fecher, F.S. de Boer (Frank), J.F. Jacob (Joost), J. Hooman, M.B. van der Zwaag, T. Arons and H. Kugler

January 2005
several beam search algorithms in the µ CRL toolset Software

A.J. Wijs (Anton)

January 2005
A proof outline logic for object-oriented programming Article

Theoretical Computer Science, 343(3), 413-442.

C. Pierik and F.S. de Boer (Frank)

January 2005
Controlling Object Allocation Using Creation Guards In Proceedings

C. Pierik, D.G. Clarke (David) and F.S. de Boer (Frank)

January 2005
(a) object-oriented layer library for the µ CRL library, (b) object-oriented AST library for Aldébaran LTSs, (c) µ CRL specification abstractor (reengineering based on (a)), (d) abstract test trace selector (based on (b)), (e) test data constraint generat Software

J.R. Calamé (Jens)

January 2005
several tools for TT-MEDAL, Tipsy, etc, and maintained the distributed software for FACS Software

B. Lisser (Bert)

January 2005
A distributed tool for breadth-first state space generation Software

B. Lisser (Bert)

January 2005
Towards model-based test generation and validation for TTCN3 Tech Report

W.J. Fokkink (Wan), P.H. Deussen, N. Ioustinova (Natalia), J. Seubers and J.C. van de Pol (Jaco)

January 2005

Previous

Next