Browse by Person (creator, editor, contributor, etc.)

Group by: Item Type | Date | No Grouping

Number of items: 11.

Brown, N.C.C. (2008) Communicating Haskell Processes: Composable Explicit Concurrency Using Monads. In: Communicating Process Architectures 2008.

Preview

Brown, N.C.C. and Smith, M.L. (2008) Representation and Implementation of CSP and VCR Traces. In: Communicating Process Architectures 2008, Sep 07-10, 2008, York, England.

Preview

Welch, P.H. and Barnes, F.R.M. and Polack, F.A.C. (2006) Communicating Complex Systems. In: 11th International Conference on Engineering of Complex Computer Systems, 15-17 August 2006, Stanford, California (USA).

Preview

Polack, F.A.C. and Stepney, S. and Turner, Heather and Welch, P.H. and Barnes, F.R.M. (2005) An Architecture for Modelling Emergence in CA-Like Systems. In: Advances in Artificial Life, 8th European Conference on Artificial Life (ECAL 2005).

Preview

Parker, H.E.D and Polack, F.A.C. and Mander, K.C. (1995) The Industrial Trial of SAZ: reflections on the use of an integrated specification method. In: Proceedings 7th International Conference on ''Putting into practice methods and tools for information systems design''. The full text of this publication is not available from this repository.

Mander, K.C. and Polack, F.A.C. (1995) Rigorous Specification using Structured Systems Analysis and Z. Information and Software Technology, 37 (5-6). pp. 285-291. The full text of this publication is not available from this repository.

Polack, F.A.C. and Mander, K.C. (1994) Software Quality Assurance using the SAZ Method. In: Proceedings of Z User Meeting. The full text of this publication is not available from this repository.

Mander, K.C. and Polack, F.A.C. and Whiston, M. (1993) The SAZ Method: Version 1.0. In: YCS 207. The full text of this publication is not available from this repository.

Polack, F.A.C. and Whiston, M. and Mander, K.C. (1993) The SAZ Project: Integrating SSADM and Z. In: Proceedings FME'93. The full text of this publication is not available from this repository.

Mander, K.C. and Polack, F.A.C. and Whiston, M. (1993) The SAZ Project: Integrating SSADM and Z. In: Proceedings JFIT conference. The full text of this publication is not available from this repository.

Mander, K.C. and Polack, F.A.C. and Whiston, M. (1992) Introduction to the SAZ Method: the State Specification. In: Proceedings International SSADM Conference. The full text of this publication is not available from this repository.

This list was generated on Mon May 20 14:07:21 2013 BST.