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

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 10.

Brown, Neil (2008) Communicating Haskell Processes: Composable Explicit Concurrency Using Monads. In: Communicating Process Architectures 2008. (Full text available)
[img]
Preview

Brown, Neil and Smith, M.L. (2008) Representation and Implementation of CSP and VCR Traces. In: Communicating Process Architectures 2008, Sep 07-10, 2008, York, England. (Full text available)
[img]
Preview

Polack, F.A.C. and Stepney, S. and Turner, Heather and Welch, Peter H. and Barnes, Frederick 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). (Full text available)
[img]
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 Sat Apr 19 11:09:14 2014 BST.