Verified systems by composition from verified components.

Fei Xie James C. Browne

Published in: ESEC / SIGSOFT FSE (2003)

Keyphrases

building blocks
systems require
three dimensional
management system
intelligent systems
computer systems
complex systems
data mining
metadata
image sequences
expert systems
distributed systems
retrieval systems
computing systems