ZUM '98: The Z Formal Specification Notation (Record no. 189397)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 05587nam a22006015i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-540-49676-2 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20240423132602.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 121227s1998 gw | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783540496762 |
| -- | 978-3-540-49676-2 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1007/b68208 |
| Source of number or code | doi |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA76.758 |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UMZ |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | COM051230 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UMZ |
| Source | thema |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 005.1 |
| Edition number | 23 |
| 245 10 - TITLE STATEMENT | |
| Title | ZUM '98: The Z Formal Specification Notation |
| Medium | [electronic resource] : |
| Remainder of title | 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings / |
| Statement of responsibility, etc | edited by Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. 1998. |
| 264 #1 - | |
| -- | Berlin, Heidelberg : |
| -- | Springer Berlin Heidelberg : |
| -- | Imprint: Springer, |
| -- | 1998. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | XVI, 424 p. |
| Other physical details | online resource. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 490 1# - SERIES STATEMENT | |
| Series statement | Lecture Notes in Computer Science, |
| International Standard Serial Number | 1611-3349 ; |
| Volume number/sequential designation | 1493 |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Industrial Issues -- Industrial Requirements for the Efficient Development of Reliable Embedded Systems -- Concurrency -- How to Combine Z with a Process Algebra -- The Specification and Refinement of an Environmental Model -- Formal Derivation of Finite State Machines for Class Testing -- Tools -- Using B to Specify, Verify and Design Hardware Circuits -- Z on the Web Using Java -- Visualizing Z Notation in HTML Documents -- Z and HOL -- On the Semantic Relation of Z and HOL -- HOL-Z in the UniForM-Workbench – A Case Study in Tool Integration for Z -- Safety-Critical and Real-Time Systems -- Designing a Requirements Specification Language for Reactive Systems -- Analyzing a Real-Time Program with Z -- Semantic Theory -- Recursive Definitions in Z -- A Logic for the Schema Calculus -- Theory and Standards -- Combining Specification Techniques for Processes, Data and Time -- Innovations in the Notation of Standard Z -- Reasoning and Consistency Issues -- Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space -- Inconsistency and Undefinedness in Z – A Practical Guide -- Refinement -- Compositional Specification of Controllers for Batch Process Operations -- Testing Refinements by Refining Tests -- More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement -- Object Orientation -- Network Topology and a Case Study in TCOZ -- Object-Oriented Specification of Hybrid Systems Using UML h and ZimOO -- Translating the OMT Dynamic Model into Object-Z -- Appendices -- Select Z Bibliography -- Comp.specification.z and Z FORUM Frequently Asked Questions. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | 1 In a number of recent presentations – most notably at FME’96 –oneofthe foremost scientists in the ?eld of formal methods, C.A.R. Hoare,has highlighted the fact that formal methods are not the only technique for producing reliable software. This seems to have caused some controversy,not least amongst formal methods practitioners. How can one of the founding fathers of formal methods seemingly denounce the ?eld of research after over a quarter of a century of support? This is a question that has been posed recently by some formal methods skeptics. However, Prof. Hoare has not abandoned formal methods. He is reiterating, 2 albeitmoreradically,his1987view thatmorethanonetoolandnotationwillbe requiredinthepractical,industrialdevelopmentoflarge-scalecomplexcomputer systems; and not all of these tools and notations will be, or even need be, formal in nature. Formalmethods arenotasolution,butratheroneofaselectionoftechniques that have proven to be useful in the development of reliable complex systems, and to result in hardware and software systems that can be produced on-time and within a budget, while satisfying the stated requirements. After almostthree decades,the time has come to view formalmethods in the context of overall industrial-scale system development, and their relationship to othertechniquesandmethods.Weshouldnolongerconsidertheissueofwhether we are “pro-formal” or “anti-formal”, but rather the degree of formality (if any) that we need to support in system development. This is a goal of ZUM’98, the 11th International Conference of Z Users, held for the ?rst time within continental Europe in the city of Berlin, Germany. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Software engineering. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer science. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer programming. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Machine theory. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Software Engineering. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computer Science Logic and Foundations of Programming. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Programming Techniques. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Formal Languages and Automata Theory. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Bowen, Jonathan P. |
| Relator term | editor. |
| Relator code | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Fett, Andreas. |
| Relator term | editor. |
| Relator code | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Hinchey, Michael G. |
| Relator term | editor. |
| Relator code | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY | |
| Title | Springer Nature eBook |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Display text | Printed edition: |
| International Standard Book Number | 9783540650706 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Display text | Printed edition: |
| International Standard Book Number | 9783662177235 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Lecture Notes in Computer Science, |
| -- | 1611-3349 ; |
| Volume number/sequential designation | 1493 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://doi.org/10.1007/b68208">https://doi.org/10.1007/b68208</a> |
| 912 ## - | |
| -- | ZDB-2-SCS |
| 912 ## - | |
| -- | ZDB-2-SXCS |
| 912 ## - | |
| -- | ZDB-2-LNC |
| 912 ## - | |
| -- | ZDB-2-BAE |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | eBooks-CSE-Springer |
No items available.