Mike Ainsworth

According to our database, Mike Ainsworth authored at least 4 papers between 1994 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Prototyping versus Formal Development.

Mike Ainsworth

Proceedings of the Improvements in System Safety, 2008

1996

Formal validation of viewpoint specifications.

Mike Ainsworth, Steve Riddle, Peter J. L. Wallis

Softw. Eng. J., 1996

1994

Viewpoint specification and Z.

Mike Ainsworth, A. H. Cruickshank, Peter J. L. Wallis, Lindsay J. Groves

Inf. Softw. Technol., 1994

Co-Refinement.

Mike Ainsworth, Peter J. L. Wallis

Proceedings of the 6th Refinement Workshop, 1994