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

Up a level

Export as ASCII CitationBibTeXDublin CoreEP3 XMLEndNoteHTML CitationJSONMETSObject IDsOpenURL ContextObjectRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager	Atom RSS 1.0 RSS 2.0

Group by: Item Type | Date | No Grouping

2008 2006 2005 1995 1994 1993 1992

Number of items: 11.

2008

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

2006

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

2005

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

1995

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.

1994

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.

1993

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.

1992

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 May 18 14:32:54 2013 BST.