Proving refinement transformations for deriving high-assurance software.

Victor L. Winter James M. Boyle

Published in: HASE (1996)

Keyphrases

high assurance
software systems
operating system
fault tolerant
access control
distributed systems
computer systems
user interface
software design
source code
information systems
software architecture
machine learning
real world
cooperative
software tools
software developers
software quality
data mining