Merkzettel Warenkorb
Produktbild: Formal Methods and Software Engineering
Band 5256

Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

08.10.2008

Herausgeber

Shaoying Liu + weitere

Verlag

Springer Berlin

Seitenzahl

397

Maße (L/B/H)

24,1/15,7/2,8 cm

Gewicht

622 g

Auflage

2008

Sprache

Englisch

ISBN

978-3-540-88193-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

08.10.2008

Herausgeber

Verlag

Springer Berlin

Seitenzahl

397

Maße (L/B/H)

24,1/15,7/2,8 cm

Gewicht

622 g

Auflage

2008

Sprache

Englisch

ISBN

978-3-540-88193-3

Herstelleradresse

Springer-Verlag GmbH
Heidelberger Platz 3
14197 Berlin
Deutschland
Email: sdc-bookservice@springer.com
Url: www.springer.com
Telephone: +49 30 827870
Fax: +49 30 8214091

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: Formal Methods and Software Engineering
  • Invited Talks.- How Can We Make Industry Adopt Formal Methods?.- Programmers Ain’t Mathematicians, and Neither Are Testers.- Contract-Based Reasoning for Verification and Certification of Secure Information Flow Policies in Industrial Workflows.- Specification and Verification.- Specifying and Verifying Event-Based Fairness Enhanced Systems.- Modelling and Proof of a Tree-Structured File System in Event-B and Rodin.- Testing.- Conformance Testing Based on UML State Machines.- An Approach to Testing with Embedded Context Using Model Checker.- Requirements Coverage as an Adequacy Measure for Conformance Testing.- Verification 1.- Decomposition for Compositional Verification.- A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm.- Program Models for Compositional Verification.- Model Checking and Analysis.- A Unified Model Checking Approach with Projection Temporal Logic.- Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes.- Towards Abstraction for DynAlloy Specifications.- Verification 2.- Partial Translation Verification for Untrusted Code-Generators.- A Practical Approach to Partiality – A Proof Based Approach.- A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking.- Tools.- Probing the Depths of CSP-M: A New fdr-Compliant Validation Tool.- Practical Automated Partial Verification of Multi-paradigm Real-Time Models.- Application of Formal Methods.- Specifying and Verifying Sensor Networks: An Experiment of Formal Methods.- Correct Channel Passing by Construction.- Semantics.- A Process Semantics for BPMN.- A Formal Descriptive Semantics of UML.