New paradigms for high assurance software.

Published in: NSPW (1993)

Keyphrases

high assurance
software systems
operating system
fault tolerant
distributed systems
software development
access control
software components
software engineering
commercial software
database
software architecture
software tools
source code
mobile devices
software platform
case study