Formal Techniques for Verification and Validation
Jean-Louis Boulanger · 2011
This chapter contains sections titled: Introduction Realization of a software application Characteristics of a software application Realization cycle Techniques, methods and practices New issues with verification and validation Conclusion Bibliography