Adding formal specifications to a proven V&V process for system-critical flight software.

Jon Hagar James M. Bieman

Published in: WIFT (1995)

Keyphrases

formal specification
object oriented design
software design
databases
case study
multi agent systems
database applications
software systems
process model
database design
reverse engineering
design methodology
software testing
specification language
specification languages