Memorandum of Understanding between NASA and ESA for the Hubble Space Telescope (2009)
A. M. Koekemoer, P. Goudfrooij, L. L. Dressel, Florian Kerber, Paul Bristow, Michael R. Rosa
the STIS calibration enhancement (STIS-CE) effort as part of the extension of the
Piatek, Slawomir, Pryor, Carlton, Bristow, Paul, Olszewski, Edward W., Harris, Hugh C., Mateo, Mario, ...
The measured proper motion of Fornax, expressed in the equatorial coordinate system, is $(\mu_{\alpha},\mu_{\delta})=(47.6\pm 4.6,-36.0\pm 4.1)$ mas century$^{-1}$. This proper motion is a weighted...
Scenario Synthesis from Imprecise Requirements (2005)
Mitchell, Bill, Thomson, Robert, Bristow, Paul
Discovering faults in requirements specifications for distributed reactive systems is a challenging problem since many issues that need to be uncovered are a result of subtle component interactions...
Detecting and resolving semantic pathologies in UML sequence diagrams (2005)
Mitchell, Bill, Baker, Paul, King, David, Thomson, Robert, Burton, Simon, Bristow, Paul
Scenario based requirements specifications are the industry norm for defining communicating systems. These scenarios are often captured in the form of UML/MSC sequence diagrams. Errors are often...
Mitchell, Bill, Thomson, Robert, Bristow, Paul
Around a third of significant faults in embedded systems are caused by defective requirements specifications. Industrial case studies using existing techniques to construct analytical requirements...
Scenario Synthesis from Imprecise Requirements (2004)
Bill Mitchell, Robert Thomson, Paul Bristow
Abstract. Discovering faults in requirements specifications for distributed reactive systems is a challenging problem since many issues that need to be uncovered are a result of subtle component...
Requirements-Based Test Generation: An Industrial Perspective (2004)
Baker, Paul, Bristow, Paul, King, David, Mitchell, Bill, Thomson, Robert
This paper discusses our experience with the deployment of requirements-based test generation within a large industrial setting. In doing so, we present an overview of our technologies and changes to...
Model Synthesis from Imprecise Specifications (2004)
Mitchell, Bill, Thomson, Robert, Bristow, Paul
The paper defines a formal semantics for MSC scenarios that is a weakening of the state semantics from [6], whilst permitting some additional semantics in the spirit of Live Sequence Charts (LSCs)...
The ST-ECF Calibration Enhancement effort for the Space Telescope Imaging Spectrograph (STIS) aims to improve data calibration via the application of physical modelling techniques. As part of this...
The STECF Calibration Enhancement effort for the Space Telescope Imaging Spectrograph (STIS) aims to improve data calibration via the application of physical modelling techniques. As part of this...
Phase Semantics of MSC Traces (2003)
Bristow, Paul, Jarvis, Clive, Mitchell, Bill, Thomson, Robert
Specifications for wireless telecommunications systems are often only partially defined. It is also common for the specification to consist of a set of normative scenarios together with scenarios for...
Automatic Generation of Conformance Tests from Message Sequence Charts (2003)
Mitchell, Bill, King, David, Bristow, Paul, Baker, Paul, Jervis, Clive
Over the past five years our group has developed a tool that automatically generates conformance test scripts from a combination of Message Sequence Charts (MSCs), specifying dynamic behaviour, and...
Cutting and Pasting with Requirements Specifications Scenarios (2003)
Mitchell, Bill, Thomson, Robert, Jervis, Clive, Bristow, Paul
Wireless Telecommunications requirements specifications tend to be defined as sets of normative scenarios. These frequently only provide partial coverage of the scenarios that are necessary to give a...
Nested Algorithmic Skeletons from Higher Order Functions (2000)
Greg Michaelson, Norman Scaife, Paul Bristow, Peter King
Algorithmic skeletons provide a promising basis for the automatic utilisation of parallelism at sites of higher-order function use through static program analysis. However, decisions about whether or...
Parallel Functional Genetic Algorithms in Standard ML from RPL2 (1999)
RPL2 is an imperative genetic algorithm language, whose data-parallel constructs may be readily expressed as standard higher-order functions. Here we consider the conversion of RPL2 programs to...
Piatek, Slawomir, Pryor, Carlton, Bristow, Paul, Olszewski, Edward W., Harris, Hugh C., Mateo, Mario, ...
This article presents a measurement of the proper motion of the Ursa Minor dwarf spheroidal galaxy determined from images taken with the Hubble Space Telescope in two distinct fields. Each field...
Engineering a Parallel Compiler for Standard ML (1998)
Norman Scaife, Paul Bristow, Greg Michaelson, Peter King
. We present the design and partial implementation of an automated parallelising compiler for Standard ML using algorithmic skeletons. Source programs are parsed and elaborated using the ML Kit...