Model-based software testing and analysis with C# / (Record no. 962)

MARC details
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 090622s2008 nyua b 001 0 eng
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 2007027740
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0521687616
035 ## - SYSTEM CONTROL NUMBER
System control number (Sirsi) u1882
040 ## - CATALOGING SOURCE
Original cataloging agency EG-CaNU
Transcribing agency EG-CaNU
Modifying agency EG-CaNU
042 ## - AUTHENTICATION CODE
Authentication code ncode
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.133
Edition number 22
245 00 - TITLE STATEMENT
Title Model-based software testing and analysis with C# /
Statement of responsibility, etc. Jonathan Jacky ... [et al.].
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. New York :
Name of publisher, distributor, etc. Cambridge University Press,
Date of publication, distribution, etc. 2008.
300 ## - PHYSICAL DESCRIPTION
Extent xvi, 349 p. :
Other physical details ill. ;
Dimensions 25 cm.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes bibliographical references (p. 333-339) and index.
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Part I. Overview: 1. Describe, analyze, test; -- 2. Why we need model-based testing; -- 3. Why we need model-based analysis; -- 4. Further reading; Part II. Systems with Finite Models: -- 5. Model programs; -- 6. Exploring and analyzing finite models; -- 7. Structuring model programs with features and composition; -- 8. Testing closed systems; -- 9. Further reading; Part III. Systems with Complex States: --10. Modeling systems with structured state; -- 11. Analyzing systems with complex state; -- 12. Testing systems with complex state; -- 13. Further reading; Part IV. Advanced Topics: -- 14. Compositional modeling; -- 15. Modeling objects; -- 16. Reactive systems; -- 17. Further reading
520 ## - SUMMARY, ETC.
Summary, etc. This title teaches model-based analysis and model-based testing, with ways to write and analyze software specifications and designs, generate test cases and check the results of test runs. These methods increase the automation in each of these steps, making them more timely, thorough and effective.
596 ## -
-- 1
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer software
General subdivision Testing.
9 (RLIN) 2935
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer software
General subdivision Quality control.
9 (RLIN) 2936
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element C# (Computer program language)
9 (RLIN) 101
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Jacky, Jonathan.
9 (RLIN) 2937
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Home library Current library Shelving location Date acquired Source of acquisition Total Checkouts Full call number Barcode Date last seen Copy number Price effective from Koha item type
    Dewey Decimal Classification     Main library Main library General Stacks 01/26/2020 PURCHASE   005.133 / JA.M 2008 001983 11/24/2019 1 11/24/2019 Books