Copyright © 2004 BSSE.
All rights reserved.
Impressum Legal Notice

Document: Down-scaling Generation, Verification and Validation of Software into the Range of Hours: The Benefits of Complete Formalisation and Automation

Down-scaling Generation, Verification and Validation of Software into the Range of Hours: The Benefits of Complete Formalisation and Automation [00012]
DateOct 2000
Files
Abstract
This paper discusses the advantages of formalisation and automation of software production and the challenges yet to master with current operation platforms.