00000cmm a22000003i 4500 UP-1685594773862075176 Buklod 20170302140148.0 g||| | || || ta 170302s2007 pau u eng d 9781591408536 (eBook) 1591408539 (eBook) (iLib)UPBAG-00023453767 DLC DML BAG rda eng ML-ebook Verification, validation and testing in software engineering [electronic resource] Aristides Dasso, Ana Funes, [editors]. Hershey, Pennsylvania Idea Group Publishing [2007] 1 online resource (xi, 428 pages) illustrations text txt rdacontent computer rdamedia online resource cr rdacarrier Gale virtual reference library Preface -- Fault-based testing -- Validation and verification of software systems using virtual reality and coloured petri nets -- Integrating usability, semiotic, and software engineering into a method for evaluating user interfaces -- Automated software testing -- A formal verification and validation approach for real-time databases -- Requirements for the testable specifications and test case derivation in conformance testing -- Test-case mutation -- Discrete event simulation process validation, verification, and testing -- The STECC framework: an architecture for self-testable components -- Certifying properties of programs using theorem provers -- Static type systems: From specification to implementation -- Generic model of the business model and its formalization in Object-Z -- Efficient software quality assurance approaches oriented to UML models in real life -- Safecharts model checking for the verification of safety-critical systems -- About the authors -- Index. "This book explores different applications in V&V that spawn many areas of software development -including real time applications- where V&V techniques are required, providing in all cases examples of the applications"--GVRL description. Computer software Validation. Computer software Verification. Computer software Testing. Electronic books. Dasso, Aristides 1943- editor. Funes, Ana 1964- editor. Available for University of the Philippines Baguio with URL: http://go.galegroup.com/ps/i.do?id=GALE|9781591408536&v=2.1&u=phdiliman&it=aboutBook&p=GVRL&sw=w. Click here to request https://forms.gle/KZjBv7aRtY6jiL5E9 (viewed 5 February 2021) FO Monograph UPBAG UPBAG-MAIN ML-ebook Electronic Resource