In this contribution, the validity of a number of key quench factor analysis (QFA) assumptions
is discussed. It is shown that the incorporation of a square root dependency of yield strength …

Following the trend to combine techniques to cover several facets of the development of
modern systems, an integration of Z and CSP, called Circus, has been proposed as a …

Complex real-time systems must integrate physical processes with digital control, human
operation and organisational structures. New scientific foundations are required for …

Circus combines constructs to define complex data operations and interactions; it integrates
Z and CSP, and, distinctively, it is a language for refinement that can describe programs as …

The Event-B method is a formal approach for modelling systems in safety-, and business-
critical, domains. Initially, system specification takes place at a high level of abstraction; …

Smooth supercontinuum generation has been observed at long wavelengths in a tapered
highly-nonlinear bismuth silicate fibre. The zerodispersion wavelength for a range of taper …

Control engineers make extensive use of diagrammatic notations; control law diagrams are
used in industry every day. Techniques and tools for analysis of these diagrams or their …

Intuition is often regarded as essential in the learning of geometry, but questions remain
about how we might effectively develop students' such skills. This paper provides some …

Circus specifications combine both data and behavioral aspects of concurrent systems using
a combination of CSP, Z, and Dijkstrapsilas command language. Its associated refinement …

Abstract Safety-Critical Java (SCJ) is a novel version of Java that addresses issues related
to real-time programming and certification of safety-critical applications. In this paper, we …