Software specification methods / (Record no. 11526)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 06939cam a2200805Ma 4500 |
| 001 - CONTROL NUMBER | |
| control field | ocn647847766 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | OCoLC |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20240523125532.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS | |
| fixed length control field | m o d |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr cn||||||||| |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 060317s2006 enka ob 001 0 eng d |
| 010 ## - LIBRARY OF CONGRESS CONTROL NUMBER | |
| Canceled/invalid LC control number | 2006009290 |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | E7B |
| Language of cataloging | eng |
| Description conventions | pn |
| Transcribing agency | E7B |
| Modifying agency | OCLCQ |
| -- | CAI |
| -- | IDEBK |
| -- | CSU |
| -- | OCLCQ |
| -- | DEBSZ |
| -- | OCLCQ |
| -- | OCLCO |
| -- | DG1 |
| -- | OCLCF |
| -- | YDXCP |
| -- | DEBBG |
| -- | OCLCQ |
| -- | COO |
| -- | OCLCQ |
| -- | LOA |
| -- | COCUF |
| -- | DG1 |
| -- | CNNOR |
| -- | MOR |
| -- | LIP |
| -- | PIFAG |
| -- | OCLCQ |
| -- | U3W |
| -- | OCLCQ |
| -- | BRL |
| -- | STF |
| -- | WRM |
| -- | NRAMU |
| -- | INT |
| -- | VT2 |
| -- | OCLCQ |
| -- | WYU |
| -- | OCLCQ |
| -- | A6Q |
| -- | OCLCQ |
| -- | UMK |
| -- | HS0 |
| -- | UKCRE |
| -- | INARC |
| -- | OCLCO |
| -- | OCLCQ |
| -- | OCLCO |
| -- | OCLCL |
| 019 ## - | |
| -- | 276938189 |
| -- | 501313839 |
| -- | 719419313 |
| -- | 740994537 |
| -- | 960206751 |
| -- | 961557171 |
| -- | 962558243 |
| -- | 988477865 |
| -- | 991953126 |
| -- | 1037425531 |
| -- | 1038682985 |
| -- | 1045540607 |
| -- | 1055392627 |
| -- | 1065034941 |
| -- | 1081233033 |
| -- | 1083585715 |
| -- | 1153495523 |
| -- | 1228578606 |
| -- | 1280730510 |
| -- | 1280846086 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9780470612514 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 0470612517 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| Canceled/invalid ISBN | 1905209347 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| Canceled/invalid ISBN | 9781905209347 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1002/9780470612514 |
| Source of number or code | doi |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | AU@ |
| System control number | 000061134276 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | CHNEW |
| System control number | 000636913 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | CHNEW |
| System control number | 000936132 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | CHVBK |
| System control number | 480164398 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | DEBBG |
| System control number | BV041906107 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | DEBBG |
| System control number | BV043391854 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | DEBSZ |
| System control number | 372598544 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | DEBSZ |
| System control number | 400436027 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | GBVCP |
| System control number | 777896761 |
| 029 1# - OTHER SYSTEM CONTROL NUMBER (OCLC) | |
| OCLC library identifier | NZ1 |
| System control number | 14242442 |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | (OCoLC)647847766 |
| Canceled/invalid control number | (OCoLC)276938189 |
| -- | (OCoLC)501313839 |
| -- | (OCoLC)719419313 |
| -- | (OCoLC)740994537 |
| -- | (OCoLC)960206751 |
| -- | (OCoLC)961557171 |
| -- | (OCoLC)962558243 |
| -- | (OCoLC)988477865 |
| -- | (OCoLC)991953126 |
| -- | (OCoLC)1037425531 |
| -- | (OCoLC)1038682985 |
| -- | (OCoLC)1045540607 |
| -- | (OCoLC)1055392627 |
| -- | (OCoLC)1065034941 |
| -- | (OCoLC)1081233033 |
| -- | (OCoLC)1083585715 |
| -- | (OCoLC)1153495523 |
| -- | (OCoLC)1228578606 |
| -- | (OCoLC)1280730510 |
| -- | (OCoLC)1280846086 |
| 037 ## - SOURCE OF ACQUISITION | |
| Stock number | 10.1002/9780470612514 |
| Source of stock number/acquisition | Wiley InterScience |
| Note | http://www3.interscience.wiley.com |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA76.9.F67 |
| Item number | S64 2006eb |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 004/.01/51 |
| Edition number | 22 |
| 049 ## - LOCAL HOLDINGS (OCLC) | |
| Holding library | MAIN |
| 245 00 - TITLE STATEMENT | |
| Title | Software specification methods / |
| Statement of responsibility, etc. | edited by Henri Habrias, Marc Frappier. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 2nd ed. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | London ; |
| -- | Newport Beach, CA : |
| Name of publisher, distributor, etc. | ISTE Ltd., |
| Date of publication, distribution, etc. | 2006. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 1 online resource (xxv, 418 pages) : |
| Other physical details | illustrations |
| 336 ## - CONTENT TYPE | |
| Content type term | text |
| Content type code | txt |
| Source | rdacontent |
| 337 ## - MEDIA TYPE | |
| Media type term | computer |
| Media type code | c |
| Source | rdamedia |
| 338 ## - CARRIER TYPE | |
| Carrier type term | online resource |
| Carrier type code | cr |
| Source | rdacarrier |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc. note | Includes bibliographical references and index. |
| 588 0# - SOURCE OF DESCRIPTION NOTE | |
| Source of description note | Print version record. |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Software Specification Methods; Preface; Contents; List of Contributors; Part I State-Based Approaches; 1 Z; 1.1 Overview of the Z notation; 1.1.1 The process of producing a Z specification; 1.2 Analysis and specification of case 1; 1.3 Analysis and specification of case 2; 1.4 Validation of the specification; 1.5 The natural language description of the specifications; 1.6 Conclusion; 2 SAZ; 2.1 Overview of the SAZ method; 2.2 Analysis and specification of case 1; 2.2.1 Z specification; 2.3 Analysis and specification of case 2; 2.4 Natural language description of the specifications |
| 505 8# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 2.4.1 Case 12.4.2 Case 2; 2.5 Conclusions; 3 B; 3.1 Overview of the B notation; 3.2 Analysis and specification of case 1; 3.2.1 Identifying operations; 3.2.2 Defining the state space; 3.2.3 Defining the behavior of the invoicing operation; 3.2.4 The Product1 machine; 3.3 Analysis and specification of case 2; 3.3.1 Identifying operations; 3.3.2 The Product2 machine; 3.3.3 The Invoicing2 machine; 3.4 Validation of the specification; 3.5 The natural language description of the specifications; 3.5.1 Case 1; 3.5.2 Case 2; 3.6 Conclusion; 4 From UML Diagrams to B Specifications |
| 505 8# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 4.1 Overview of the method4.1.1 Summaryof the B method; 4.1.2 Data specification; 4.1.3 Transaction specification; 4.2 Specification of case 1; 4.2.1 The class diagram and its B representation; 4.2.2 Transaction specification; 4.3 Specification of case 2; 4.3.1 Transactions specification; 4.3.2 The formal specification; 4.4 Validation; 4.5 The natural-language description of the specifications; 4.5.1 Case 1; 4.5.2 Case 2; 4.6 Conclusion; 5 UML+Z: Augmenting UML with Z; 5.1 Overview of UML+ Z; 5.2 Analysis and Specification of case 1; 5.2.1 UML class model; 5.2.2 UML state models |
| 505 8# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 5.2.3 The Z model5.2.4 Checking model consistency; 5.2.5 Validating the model; 5.3 Analysis and Specification of case 2; 5.3.1 Entries of new orders; 5.3.2 Cancellation of orders; 5.3.3 Entries of quantities into stock; 5.4 Natural language description of the specification; 5.4.1 Case 1; 5.4.2 Case 2; 5.5 Conclusion; 6 ASM; 6.1 Overview of the ASM; 6.2 Requirements capture and Specification of case 1; 6.2.1 Identifying the agents; 6.2.2 Identifying the states; 6.2.3 Identifying static and dynamic parts of the states; 6.2.4 Identifying the transitions |
| 505 8# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 6.2.5 Identifying the initial and final states6.2.6 Exceptions handling and robustness; 6.2.7 Identifying the desired properties (validation/verification); 6.3 Requirements capture and Specification of case 2; 6.4 The natural language description of the specification; 6.4.1 Case 1; 6.4.2 Case 2; 6.5 Conclusion; 7 TLA+; 7.1 Overview of TLA+; 7.1.1 TLA; 7.1.2 TLA+ versus Z; 7.2 A Specification of case 2; 7.3 The problematic case 1; 7.4 Validation of the specification; 7.5 Satisfying the specification; 7.6 The natural language description; 7.7 Conclusion; Part II Event-Based Approaches |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | This title provides a clear overview of the main methods, and has a practical focus that allows the reader to apply their knowledge to real-life situations. The following are just some of the techniques covered: UML, Z, TLA+, SAZ, B, OMT, VHDL, Estelle, SDL and LOTOS. |
| 590 ## - LOCAL NOTE (RLIN) | |
| Local note | John Wiley and Sons |
| Provenance (VM) [OBSOLETE] | Wiley Online Library: Complete oBooks |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Formal methods (Computer science) |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer software |
| Form subdivision | Specifications. |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | M�ethodes formelles (Informatique) |
| 650 #6 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Logiciels |
| Form subdivision | Sp�ecifications. |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer software |
| Source of heading or term | fast |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Formal methods (Computer science) |
| Source of heading or term | fast |
| 655 #7 - INDEX TERM--GENRE/FORM | |
| Genre/form data or focus term | Specifications |
| Source of term | fast |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Habrias, Henri. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Frappier, Marc, |
| Dates associated with a name | 1965- |
| Real World Object URI | https://id.oclc.org/worldcat/entity/E39PCjKTPXrVc4qbkHkgBKkFKd |
| 758 ## - RESOURCE IDENTIFIER | |
| Relationship information | has work: |
| Label | Software specification methods (Text) |
| Real World Object URI | https://id.oclc.org/worldcat/entity/E39PCGM3cDmPtrhMwT7wtJ8MxC |
| Relationship | https://id.oclc.org/worldcat/ontology/hasWork |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Print version: |
| Title | Software specification methods. |
| Edition | 2nd ed. |
| Place, publisher, and date of publication | London ; Newport Beach, CA : ISTE Ltd., 2006 |
| Record control number | (DLC) 2006009290 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9780470612514">https://onlinelibrary.wiley.com/doi/book/10.1002/9780470612514</a> |
| 938 ## - | |
| -- | ebrary |
| -- | EBRY |
| -- | ebr10360912 |
| 938 ## - | |
| -- | ProQuest MyiLibrary Digital eBook Collection |
| -- | IDEB |
| -- | 51062 |
| 938 ## - | |
| -- | YBP Library Services |
| -- | YANK |
| -- | 2600249 |
| 938 ## - | |
| -- | YBP Library Services |
| -- | YANK |
| -- | 3134158 |
| 938 ## - | |
| -- | YBP Library Services |
| -- | YANK |
| -- | 3161109 |
| 938 ## - | |
| -- | Internet Archive |
| -- | INAR |
| -- | softwarespecific0000unse_b0c1 |
| 994 ## - | |
| -- | 92 |
| -- | INLUM |
No items available.
