Vor Ort
Merkzettel Warenkorb
  • Produktbild: Fundamental Approaches to Software Engineering
  • Produktbild: Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

17.03.2014

Abbildungen

XVI, 103 illus., schwarz-weiss Illustrationen

Herausgeber

Stefania Gnesi + weitere

Verlag

Springer Berlin

Seitenzahl

432

Maße (L/B/H)

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

Gewicht

675 g

Auflage

2014

Sprache

Englisch

ISBN

978-3-642-54803-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

17.03.2014

Abbildungen

XVI, 103 illus., schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer Berlin

Seitenzahl

432

Maße (L/B/H)

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

Gewicht

675 g

Auflage

2014

Sprache

Englisch

ISBN

978-3-642-54803-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)
Die Leseprobe wird geladen.
  • Produktbild: Fundamental Approaches to Software Engineering
  • Produktbild: Fundamental Approaches to Software Engineering
  • Probabilistic Model Checking and Non-standard Multi-objective Reasoning.- Target Oriented Relational Model Finding.- Splitting Models Using Information Retrieval and Model Crawling Techniques.- Sound Merging and Differencing for Class Diagrams.- Heterogeneous and Asynchronous Networks of Timed Systems.- Family-Based Performance Analysis of Variant-Rich Software Systems.- Touch Cost: Cost Analysis of Touch Develop Scripts.- Efficient Incremental Static Analysis Using Path Abstraction.- Type-Based Taint Analysis for Java Web Applications.- Mining the Categorized Software Repositories to Improve the Analysis of Security Vulnerabilities.- Modularizing Early Architectural Assumptions in Scenario-Based Requirements.- Semantically Configurable Analysis of Scenario-Based Specifications.- Formal Verification of Medical Device User Interfaces Using PVS.- Sound Control Flow Graph Extraction from Incomplete Java Bytecode Programs.- Verifying Class Invariants in Concurrent Programs.- Automatic Program Repair by Fixing Contracts.- Dynamic Package Interfaces.- SMT-Based Checking of SOLOIST over Sparse Traces.- An Online Validator for Provenance: Algorithmic Design, Testing and API.- Comparator: A Tool for Quantifying Behavioural Compatibility.- Transformation of Attributed Structures with Cloning.- Implementing Graph Transformations in the Bulk Synchronous Parallel Model.- Modularizing Triple Graph Grammars Using Rule Refinement.- Polymorphic Single-Pushout Graph Transformation.- Causal-Consistent Reversible Debugging.- An Expressive Semantics of Mocking.- Integration Testing in the Test Template Framework.- Data Flow Coverage for Circus-Based Testing.