Vor Ort
Merkzettel Warenkorb
  • Produktbild: Software Engineering and Formal Methods
  • Produktbild: Software Engineering and Formal Methods
Band 9276

Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

21.08.2015

Abbildungen

XI, 369 p. 84 illus.

Herausgeber

Radu Calinescu + weitere

Verlag

Springer

Seitenzahl

369

Maße (L/B/H)

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

Gewicht

581 g

Auflage

1st ed. 2015

Sprache

Englisch

ISBN

978-3-319-22968-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

21.08.2015

Abbildungen

XI, 369 p. 84 illus.

Herausgeber

Verlag

Springer

Seitenzahl

369

Maße (L/B/H)

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

Gewicht

581 g

Auflage

1st ed. 2015

Sprache

Englisch

ISBN

978-3-319-22968-3

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

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: Software Engineering and Formal Methods
  • Produktbild: Software Engineering and Formal Methods
  • Invited Papers.- Reasoning about Separation using Abstraction and Reification.- An Interface Theory for the Internet of Things.- Program Verification.- Learning Assertions to Verify Linked-List Programs.- Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries with Specifications.- Specification and Verification of Atomic Operations in GPGPU Programs.- History-based Verification of Functional Behaviour of Concurrent Programs.- Investigating Instrumentation Techniques for ESB Runtime Verification.- Towards Domain Refinement for UML/OCL Bounded Verification.- Testing.- Efficient Testing of Different Loop Paths.- Model-Based Robustness Testing in Event-B using Mutation.- On the Testability of Properties Patterns.- Certification.- Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning.- Formal Analysis of Proactive, Distributed Routing.- Certification of Distributed Algorithms Solving Problems with Optimal Substructure.- Formal Specification and Proof.- From Failure to Proof: The ProB Disprover for B and Event-B.- Formalizing a Secure Foreign Function Interface.- A Formal Study of Backward Compatible Dynamic Software Updates.- Testing and Model Checking.- Memory Management Test-Case Generation of C Programs using Bounded Model Checking.- Techniques for Memory-Efficient Model Checking of C and C++ Code.- NAT2TEST Tool: from Natural Language Requirements to Test Cases based on CSP.- Planning.- Task Planning of Cyber-Human Systems.- Generating None-Plans in Order to Find Plans.- Modelling and Model Transformation Twitlang(er): interactions modeling language (and interpreter) for Twitter.- From Featured Transition Systems to Modal Transition Systems with Variability Constraints.- An extensible operational semantics for UML activity diagrams.