High Integrity Object Oriented Programming in Ada

Author	: Inc. AdaCore Technologies, Inc.
Publisher	:
Total Pages	: 56
Release	: 2013-04-05
ISBN-10	: 1483979717
ISBN-13	: 9781483979717
Rating	: 4/5 (717 Downloads)

DOWNLOAD EBOOK

Book Synopsis High Integrity Object Oriented Programming in Ada by : Inc. AdaCore Technologies, Inc.

Download or read book High Integrity Object Oriented Programming in Ada written by Inc. AdaCore Technologies, Inc. and published by . This book was released on 2013-04-05 with total page 56 pages. Available in PDF, EPUB and Kindle. Book excerpt: High Integrity Object Oriented Programming in Ada.

High Integrity Object Oriented Programming in Ada Related Books

Language: en
Pages: 56

High Integrity Object Oriented Programming in Ada

Authors: Inc. AdaCore Technologies, Inc.

Categories:

Type: BOOK - Published: 2013-04-05 - Publisher:

DOWNLOAD EBOOK

High Integrity Object Oriented Programming in Ada.

Language: en
Pages: 392

High Integrity Ada

Authors: John Gilbert Presslie Barnes

Categories: Computers

Type: BOOK - Published: 1997 - Publisher: Addison-Wesley Professional

DOWNLOAD EBOOK

This pack introduces the SPARK language and its associated tools and teaches the principles of writing safety-critical software using SPARK, a subset of the Ada

Language: en
Pages: 70

A High Integrity Subset of Ada

Authors: D. T. Jordan

Categories: Ada (Computer program language)

Type: BOOK - Published: 1993 - Publisher:

DOWNLOAD EBOOK

Abstract: "Ada is a large, modern imperative programming language designed for the programming of embedded computer systems, that is systems which control or mo

Language: en
Pages: 383

Building High Integrity Applications with SPARK

Authors: John W. McCormick

Categories: Computers

Type: BOOK - Published: 2015-08-31 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

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 solut

Language: en
Pages: 369

High-Integrity Software

Authors: C.T. Sennett

Categories: Computers

Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

4. 3 The Gypsy language 72 4. 4 The Gypsy Verification Environment 73 4. 5 A simple example 81 4. 6 Specification data types 91 4. 7 Future directions 95 100 4.