Now showing items 1-10 of 15
Integrating structured OO approaches with formal techniques for the development of real-time systems
The use of formal methods in the development of time-critical applications is essential if we want to achieve a high level of assurance in them. However, these methods have not yet been widely accepted in industry as ...
A wide-spectrum language for object-based development of real-time systems.
(Elsevier Preprints, 1999-03-15)
A formal design notation is present whose underlying computational model is object-based. The object structure of the model is based on the practical, industry-strength Object Oriented structure development technique ...
Refiguring the Past in the Post-Franco Fiction Film: Fernando Trueba's Belle Époque
(Taylor and Francis, 1999)
All strapped in.
(Forlaget Systime, 1999)
The Noon Quilt.
(trAce Online Writing Centre, Nottingham Trent University, 1999)
Raymond Roussel and Jules Verne: The Science is Fiction
(University of Liverpool Press, 1999)
This article surveys the acknowldged influences of Jules Verne on Raymond Roussel, looking in particualr at the relationship between their physical travels and their imaginary journeys.
From underworld to underclass: crime and British cinema in the 1990s
The media reader : continuity and transformation