Paul Bristow

Publication Activity (10 Years)

Years Active: 1998-2005
Publications (10 Years): 0

Publications

Norman Scaife, Susumu Horiguchi, Greg Michaelson, Paul Bristow
A parallel SML compiler based on algorithmic skeletons. J. Funct. Program. 15 (4) (2005)
Paul Baker, Paul Bristow, Clive Jervis, David J. King, Robert Thomson, Bill Mitchell, Simon Burton
Detecting and resolving semantic pathologies in UML sequence diagrams. ESEC/SIGSOFT FSE (2005)
Bill Mitchell, Robert Thomson, Paul Bristow
Model Synthesis from Imprecise Specifications. VVEIS (2004)
Bill Mitchell, Robert Thomson, Paul Bristow
Scenario Synthesis from Imprecise Requirements. SAM (2004)
Paul Baker, Paul Bristow, Clive Jervis, David J. King, Bill Mitchell
Automatic Generation of Conformance Tests from Message Sequence Charts. SAM (2002)
Paul Bristow, Matthew White
A Publishing System to Support Secondary School Teaching and Learning. Comput. Networks 30 (1-7) (1998)
David G. Green, Paul Bristow, Jeff Ash, Larry Benton, Pam Milliken, David Newth
Network Publishing Languages. Comput. Networks 30 (1-7) (1998)