000 -LEADER |
fixed length control field |
06156nam a22005655i 4500 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
ISBN |
9783540876038 |
-- |
978-3-540-87603-8 |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
005.1 |
245 10 - TITLE STATEMENT |
Title |
Abstract State Machines, B and Z |
Sub Title |
First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings / |
Statement of responsibility, etc |
edited by Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca. |
260 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
Place of publication |
Berlin, Heidelberg : |
Name of publisher |
Springer Berlin Heidelberg, |
Year of publication |
2008. |
300 ## - PHYSICAL DESCRIPTION |
Number of Pages |
XII, 384 p. |
Other physical details |
online resource. |
490 1# - SERIES STATEMENT |
Series statement |
Lecture Notes in Computer Science, |
505 0# - FORMATTED CONTENTS NOTE |
Formatted contents note |
1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without Sacrificing Productivity -- The High Road to Formal Validation: -- Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach -- Refinement of State-Based Systems: ASMs and Big Commuting Diagrams (Abstract) -- 2. ASM Papers -- Model Based Refinement and the Tools of Tomorrow -- A Concept-Driven Construction of the Mondex Protocol Using Three Refinements -- A Scenario-Based Validation Language for ASMs -- Data Flow Analysis and Testing of Abstract State Machines -- A Verified AsmL Implementation of Belief Revision -- Direct Support for Model Checking Abstract State Machines by Utilizing Simulation -- 3. B Papers -- On the Purpose of Event-B Proof Obligations -- Generating Tests from B Specifications and Test Purposes -- Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance -- UseCase-Wise Development: Retrenchment for Event-B -- Towards Modelling Obligations in Event-B -- A Practical Single Refinement Method for B -- The Composition of Event-B Models -- Reconciling Axiomatic and Model-Based Specifications Reprised -- A Verifiable Conformance Relationship between Smart Card Applets and B Security Models -- Modelling Attacker’s Knowledge for Cascade Cryptographic Protocols -- Using EventB to Create a Virtual Machine Instruction Set Architecture -- 4. Z Papers -- Z2SAL - Building a Model Checker for Z -- Formal Modeling and Analysis of a Flash Filesystem in Alloy -- Unit Testing of Z Specifications -- Autonomous Objects and Bottom-Up Composition in ZOO Applied to a Case Study of Biological Reactivity -- 5. ABZ Short Papers -- Integrating Z into Large Projects Tools and Techniques -- A First Attempt to Express KAOS Refinement Patterns with Event B -- Verification and Validation of Web Service Composition Using Event B Method -- Stability of Real-Time Abstract State Machines under Desynchronization -- XML Database Transformations with Tree Updates -- Dynamic Resource Configuration & Management for Distributed Information Fusion in Maritime Surveillance -- UML-B: A Plug-in for the Event-B Tool Set -- BART: A Tool for Automatic Refinement -- Model Checking Event-B by Encoding into Alloy -- A Roadmap for the Rodin Toolset -- Exploiting the ASM Method for Validation & Verification of Embedded Systems -- Tool Support for the Circus Refinement Calculus -- Separation of Z Operations -- BSmart: A Tool for the Development of Java Card Applications with the B Method -- From ABZ to Cryptography -- Using ASM to Achieve Executability within a Family of DSL -- Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract) -- Formal Verification of ASM Models Using TLA?+? -- DIR 41 Case Study -- FDIR Architectures for Autonomous Spacecraft: Specification and Assessment with Event-B -- Object Modelling in the SystemB Industrial Project -- 6. VSR Day -- Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification -- ABZ2008 VSR-Net Workshop. |
520 ## - SUMMARY, ETC. |
Summary, etc |
This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. The conference simultaneously incorporated the 15th International ASM Workshop, the 17th International Conference of Z Users and the 8th International Conference on the B Method. The 44 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from numerous submissions. The conference fosters the cross-fertilization of three rigorous methods for the design and analysis of hardware and software systems - both in academia and industry - namely Abstract State Machines, B, and Z. Covering a wide range of research spanning from theoretical and methodological foundations to tool support and practical applications, the contributions are organized in topical sections on abstract state machines, B papers, Z papers, ABZ short papers, and the papers of the Verified Software Repository Network (VSR-net) workshop. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Computer science. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Software engineering. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Logic design. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Database management. |
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Computer Science. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Software Engineering. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Logics and Meanings of Programs. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Mathematical Logic and Formal Languages. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Programming Languages, Compilers, Interpreters. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Database Management. |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Börger, Egon. |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Butler, Michael. |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Bowen, Jonathan P. |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Boca, Paul. |
856 40 - ELECTRONIC LOCATION AND ACCESS |
Uniform Resource Identifier |
http://dx.doi.org/10.1007/978-3-540-87603-8 |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Koha item type |
E-BOOKS |
264 #1 - |
-- |
Berlin, Heidelberg : |
-- |
Springer Berlin Heidelberg, |
-- |
2008. |
336 ## - |
-- |
text |
-- |
txt |
-- |
rdacontent |
337 ## - |
-- |
computer |
-- |
c |
-- |
rdamedia |
338 ## - |
-- |
online resource |
-- |
cr |
-- |
rdacarrier |
347 ## - |
-- |
text file |
-- |
PDF |
-- |
rda |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
-- |
0302-9743 ; |