Software Verification and Validation An Engineering and Scientific Approach /

• Κύριος συγγραφέας: Fisher, Marcus S. (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Boston, MA : Springer US, 2007.
• Θέματα: Computer science.; Computer software > Reusability.; Software engineering.; Computer programming.; Artificial intelligence.; Computer Science.; Software Engineering/Programming and Operating Systems.; Programming Techniques.; Performance and Reliability.; Artificial Intelligence (incl. Robotics).; Software Engineering.

The World is lacking an in-depth technical book describing the methods and techniques used to provide confidence in our system software. Not only is the U.S. government more focused on software safety in today's market, but private industry and academia are as well. The methods and techniques t...