Browse by Person (creator, editor, contributor, etc.)
 | Up a level |
Jump to: Conference or workshop item
Number of items: 5.
Conference or workshop item
| Welch, Peter H. and Barnes, Frederick R.M. and Polack, Fiona A.C. (2006) Communicating Complex Systems. In: Hinchey, Michael G., ed. Engineering of complex computer systems; ICECCS 2006; proceedings. IEEE Computer Society pp. 107-117. ISBN 0-7695-2530-X. (Full text available) |
|
| Derrick, John and Boiten, Eerke Albert (1998) Testing refinements by refining tests. In: Bowen, Jonathan P. and Fett, A. and Hinchey, Michael G., eds. ZUM '98: The Z Formal Specification Notation. Lecture Notes in Computer Science, 1493. Springer, Berlin pp. 265-283. ISBN 3-540-65070-9. (Full text available) |
|
| Smith, Graeme and Derrick, John (1997) Refinement and verification of concurrent systems specified in Object-Z and CSP. In: Hinchey, Michael G. and Liu, Shaoying, eds. First IEEE International Conference on Formal Engineering Methods (ICFEM ''97). IEEE Computer Society, Hiroshima, Japan pp. 293-302. ISBN 0-8186-8002-4. (Full text available) |
|
| Derrick, John and Boiten, Eerke Albert and Bowman, Howard and Steen, Maarten (1997) Weak refinement in Z. In: Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation. (doi:https://doi.org/10.1007/BFb0027298) (Full text available) |
![[img]](https://kar.kent.ac.uk/style/images/fileicons/other.png)
![[img]](https://kar.kent.ac.uk/style/images/fileicons/application_postscript.png)
|
| Derrick, John and Bowman, Howard and Steen, Maarten (1995) Viewpoints and Objects. In: UNSPECIFIED. (Full text available) |
|
