home
>
book reviews
> David Carrington
Google >
David Carrington
author : David Carrington
Short works
ZOOM Workshop Report. 1992.
(In
6th Z User Workshop
)
A Tale of Two Paradigms: Formal Methods and Software Testing. 1994.
(In
8th Z User Workshop
)
Structuring Z Specifications: some choices. 1995.
(In
ZUM '95
)
Formal Derivation of Finite State Machines for Class Testing. 1998.
(In
ZUM '98
)
A Formal Mapping between UML models and Object-Z Specifications. 2000.
(In
ZB 2000
)
A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints. 2002.
(In
ZB 2002
)
A rigorous foundation for pattern-based design models. 2005.
(In
ZB 2005
)