Building High Integrity Applications with SPARK (e-bok)
Fler böcker inom
Format
E-bok
Filformat
PDF med LCP-kryptering (0.0 MB)
Om LCP-kryptering
PDF-böcker lämpar sig inte för läsning på små skärmar, t ex mobiler.
Nedladdning
Kan laddas ned under 24 månader, dock max 6 gånger.
Språk
Engelska
Utgivningsdatum
2015-08-31
Förlag
Cambridge University Press
ISBN
9781316371381

Building High Integrity Applications with SPARK E-bok

av John W McCormick, Peter C Chapin
E-bok (PDF, LCP),  Engelska, 2015-08-31
779
Ladda ned
Spara som favorit
Läs i Bokus Reader för iOS och Android
Finns även som
Visa alla 3 format & utgåvor
Software is pervasive in our lives. We are accustomed to dealing with the failures of much of that software - restarting an application is a very familiar solution. Such solutions are unacceptable when the software controls our cars, airplanes and medical devices or manages our private information. These applications must run without error. SPARK provides a means, based on mathematical proof, to guarantee that a program has no errors. SPARK is a formally defined programming language and a set of verification tools specifically designed to support the development of software used in high integrity applications. Using SPARK, developers can formally verify properties of their code such as information flow, freedom from runtime errors, functional correctness, security properties and safety properties. Written by two SPARK experts, this is the first introduction to the just-released 2014 version. It will help students and developers alike master the basic concepts for building systems with SPARK.
Visa hela texten

Kundrecensioner

Har du läst boken? Sätt ditt betyg »

Fler böcker av författarna

  • Building Parallel, Embedded, and Real-Time Applications with Ada

    Building Parallel, Embedded, and Real-Time Applications with Ada

    John W McCormick

    The arrival and popularity of multi-core processors has sparked a renewed interest in the development of parallel programs. Similarly, the availability of low-cost microprocessors and sensors has generated a great interest in embedded real-time pr...

    1345
    Köp
    Skickas inom vardagar.
  • Programming and Problem Solving with Ada 95

    Programming and Problem Solving with Ada 95

    Nell Dale, Chip Weems, John W McCormick

    Programming and Problem Solving with Ada 95 provides a solid introduction to programming while introducing the capabilities of Ada 95 and its syntax without overwhelming the student. The book focuses on the development of good programming habits. ...

    3314
    Köp
    Skickas inom vardagar.

Du kanske gillar