Mike Ainsworth

Publication Activity (10 Years)

Years Active: 1994-2008
Publications (10 Years): 0

Publications

Mike Ainsworth
Prototyping versus Formal Development. SSS (2008)
Mike Ainsworth, Steve Riddle, Peter J. L. Wallis
Formal validation of viewpoint specifications. Softw. Eng. J. 11 (1) (1996)
Mike Ainsworth, A. H. Cruickshank, Peter J. L. Wallis, Lindsay J. Groves
Viewpoint specification and Z. Inf. Softw. Technol. 36 (1) (1994)
Mike Ainsworth, Peter J. L. Wallis
Co-Refinement. Refine (1994)