Vertical commonality through the use of Ada in ATE systems
Training the officer of the deck
Training in satellite engineering provided by the University of Surrey
Traffic congestion-the computer engineering answer
Tools for C2 software reliability analysis
The use of JSD on the Spearfish system (heavyweight torpedo)
The use of INS/GPS in a highway survey system
The University of Surrey UoSAT-2 spacecraft mission
The role of UoSAT spacecraft in space education
The Modular Intelligent Frequency, Time and Time Interval (MIFTTI) subsystem program
The Galileo Orbiter: command and telemetry subsystems on their way to Jupiter
The dynamics of a successful engineering support effort for intermediate ATE
The development of safe advanced road transport telematic software
The department of defense software initiative - A status report
The application of fault testing to a railway signalling system
Technology to ease FAA airspace and capacity
System hardware and software reliability analysis
System development-the challenges of re-useability
Supporting the evolution of distributed, non-stop, mission and safety critical systems
Specification and verification of the ASOS kernel
Software methodology for development of a trusted BMS: identification of critical problems
Software logistics support analysis
Software engineering for aircraft: set to take off?
Software based high integrity airborne systems-can their development be managed?
Software aspects of strategic defense systems
Software acquisition management
Simulation of modern electronic combat scenarios by means of a flexible generic computer model
Setting software requirements: scenario for future fighters
Sensors and systems to enhance aviation safety against weather hazards
Safety-critical systems built with COTS
Safety critical software in traffic control systems
Safe RTI systems-a proposal for a standard
SADT and TMTS-A marriage of complementary management concepts
RTEMS centre - RTEMS improvements
R&M task automation macro capabilities computerization of RM&S in design survey results
Review of CASE experience on the BART ICS project
Reuse in Command-and-Control Systems
Reliability testing of a software-driven system
Rehosting existing command and control systems into a multilevel secure environment
Reducing risk when managing the development of complex electronic systems
Real time systems/software methodologies for large aerospace systems
Real time system development based on Ada
Real-time software development in multiprocessor, multifunction systems
Rationale for the development of the UK defence standards for safety-critical computer software