Towards Agile Engineering of High-Integrity Systems.

Richard F. Paige Ramon Charalambous Xiaocheng Ge Phillip J. Brooke

Published in: SAFECOMP (2008)

Keyphrases

wide range
distributed systems
engineering design
engineering systems
expert systems
computer systems
integrity constraints
data sets
information systems
computer science
digital libraries
management system
building blocks
learning systems
integrity checking