Vor Ort
Merkzettel Warenkorb
Produktbild: Structured Object-Oriented Formal Language and Method
Band 12028

Structured Object-Oriented Formal Language and Method 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers

Aus der Reihe Theoretical Computer Science and General Issues

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

20.02.2020

Abbildungen

IX, 364 p. 174 illus., 64 illus. in color.

Herausgeber

Huaikou Miao + weitere

Verlag

Springer

Seitenzahl

364

Maße (L/B/H)

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

Gewicht

569 g

Auflage

1st ed. 2020

Sprache

Englisch

ISBN

978-3-030-41417-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

20.02.2020

Abbildungen

IX, 364 p. 174 illus., 64 illus. in color.

Herausgeber

Verlag

Springer

Seitenzahl

364

Maße (L/B/H)

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

Gewicht

569 g

Auflage

1st ed. 2020

Sprache

Englisch

ISBN

978-3-030-41417-7

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

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: Structured Object-Oriented Formal Language and Method

  • Testing and Debugging.-

    Analysis and remodeling of the DirtyCOW vulnerability by debugging and abstraction.- A Formal Technique for Concurrent Generation of Software Functional and Security Requirements in SOFL Specifications.- Distortion and Faults in Machine Learning Software.- A divide & conquer approach to testing concurrent Java programs with JPF and Maude.- Formal Verification
    .-
    An approach to modeling and verifying multi-level interrupt systems with TMSVL.- Towards Formal Verification of Neural Networks: A Temporal Logic Based Framework.- UMC4M: a Verification Tool via Program Execution.- Parallel Runtime Verification Approach for Alternate Execution of Multiple Threads.- A Planning Approach based on APTL.- Solving Constraint optimization Problems Based on Mathematica and Abstraction.- A Forward Chaining Heuristic Search with Spatio-Temporal Control Knowledge.- Formal Development and Verification of Reusable Component in PAR Platform.- Formal Specification & Modeling.- A New Mutant Generation Algorithm based on Basic Path Coverage for Mutant Reduction.- Formal Specification and Model Checking of a Ride-sharing System in Maude.- Model Checking Python Programs with MSVL.- Software Analysis and Evolution
    .-
    Prediction of Function Removal Propagation in Linux Evolution.- Regression Models for Performance Ranking of Configurable Systems: A Comparative Study.- Combining Model Learning and Model Checking to Analyze Java Libraries.- Data Provenance Based System for Classification and Linear Regression in Distributed Machine Learning.- Software Analysis and Testing.-

    Metamorphic Testing in Fault Localization of Model Transformations.- A Fault Localization Method Based on Dynamic Failed Execution Blocks.- Adaptive Random Testing by Bisection and Comprehensive Distance.- CMM: A Combination-based Mutation Method For SQL Injection.