Vor Ort
Merkzettel Warenkorb
  • Produktbild: Abstract State Machines, B and Z
  • Produktbild: Abstract State Machines, B and Z

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

08.09.2008

Herausgeber

Egon Börger + weitere

Verlag

Springer Berlin

Seitenzahl

384

Maße (L/B/H)

23,5/15,5/2,2 cm

Gewicht

611 g

Auflage

2008

Sprache

Englisch

ISBN

978-3-540-87602-1

Beschreibung

Portrait

Egon Börger ist Professor für Informatik an der Universität Pisa (Italien) und Alexander-von-Humboldt-Forschungspreisträger.

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

08.09.2008

Herausgeber

Verlag

Springer Berlin

Seitenzahl

384

Maße (L/B/H)

23,5/15,5/2,2 cm

Gewicht

611 g

Auflage

2008

Sprache

Englisch

ISBN

978-3-540-87602-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Abstract State Machines, B and Z
  • Produktbild: Abstract State Machines, B and Z
  • 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.