Vor Ort
Merkzettel Warenkorb
  • Produktbild: Abstract State Machines 2003: Advances in Theory and Practice
  • Produktbild: Abstract State Machines 2003: Advances in Theory and Practice
Band 2589

Abstract State Machines 2003: Advances in Theory and Practice 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

21.02.2003

Herausgeber

Egon Börger + weitere

Verlag

Springer Berlin

Seitenzahl

436

Maße (L/B/H)

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

Gewicht

626 g

Auflage

2003

Sprache

Englisch

ISBN

978-3-540-00624-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

21.02.2003

Herausgeber

Verlag

Springer Berlin

Seitenzahl

436

Maße (L/B/H)

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

Gewicht

626 g

Auflage

2003

Sprache

Englisch

ISBN

978-3-540-00624-4

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 2003: Advances in Theory and Practice
  • Produktbild: Abstract State Machines 2003: Advances in Theory and Practice
  • Invited Papers.- Software Testing Research and Practice.- Abstract State Processes.- Recent Advances in Refinement.- Partial Updates Exploration II.- Experiments with Test Case Generation and Runtime Analysis.- A Framework for Proving Contract-Equipped Classes.- Mobile UNITY Schemas for Agent Coordination.- UML and Concurrency.- Research Papers.- A Unified Formal Specification and Analysis of the New Java Memory Models.- Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines.- Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks.- Remarks on Turbo ASMs for Functional Equations and Recursion Schemes.- Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanism of UML State Machines.- The Hidden Computation Steps of Turbo Abstract State Machines.- Using Spin to Generate Tests from ASM Specifications.- Interfacing ASM with the MDG Tool.- ASMs versus Natural Semantics: A Comparison with New Insights.- Quantum Computing and Abstract State Machines.- Consistent Integration for Sequential Abstract State Machines.- Deciding the Verification Problem for Abstract State Machines.- An ASM Semantics of UML Derived from the Meta-model and Incorporating Actions.- Privacy, Abstract Encryption and Protocols: An ASM Model - Part I.- A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines.- Extended Abstracts.- Using AsmL for Runtime Verification.- Modeling Information Services on the Basis of ASM Semantics.- Designing the Parlay Call-Control Using ASMs.- Test Case Generation from AsmL Specifications.- Teaching ASMs, Teaching with ASMs: Opportunities in Undergraduate Education.- Using ASM Specifications for Compiler Testing.- ASMs as Integration Platform towards Verification and Validation of Distributed Production Control Systems at Multiple Levels of Abstraction.- AsmL Specification of a Ptolemy II Scheduler.- ASM Specification of Database Systems.- The Computable Kernel of ASM.- A Non-standard Approach to Operational Semantics for Timed Systems.- Parallelism versus Nondeterminism — On the Semantics of Abstract State Machines.