• Home

  • Technology

  • GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Development Process
19

GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Development Process

  • Upload
    adacore

  • View
    711

  • Download
    7

Embed Size (px)

DESCRIPTION

From a presentation given at GNAT Pro User Day about Leveraging AdaCore Tool to Support Rigorous Software Development Process

Citation preview

Page 1: GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Development Process
Page 2: GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Development Process
Page 3: GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Development Process
Page 4: GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Development Process
Page 5: GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Development Process
Page 6: GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Development Process
Page 7: GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Development Process
Page 8: GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Development Process
Page 9: GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Development Process
Page 10: GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Development Process
Page 11: GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Development Process
Page 12: GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Development Process
Page 13: GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Development Process
Page 14: GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Development Process
Page 15: GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Development Process
Page 16: GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Development Process
Page 17: GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Development Process
Page 18: GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Development Process
Page 19: GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Development Process

AdaCore technologies - Newcastle University

AdaCore technologies - Newcastle University

Documents
gnatpro news us 0405 p1 - AdaCore · Integrated into the GNAT Pro toolset, gnatmetric calculates a set of commonly used industry metrics that allow you to better understand the structure

gnatpro news us 0405 p1 - AdaCore · Integrated into the GNAT Pro toolset, gnatmetric calculates a set of commonly used industry metrics that allow you to better understand the structure

Documents
Ro Treat Cmd Gnat Nmd Chan 2003

Ro Treat Cmd Gnat Nmd Chan 2003

Documents
GNAT Pro User Day: New and Upcoming Developments in the AdaCore Technology

GNAT Pro User Day: New and Upcoming Developments in the AdaCore Technology

Technology
adacore gnat pro us p1 · Boeing 7E7 Dreamliner Program. The Wind River Platform with AdaCore’s technology will be used on the 7E7’s Common Core System, provided by Smiths Aerospace,

adacore gnat pro us p1 · Boeing 7E7 Dreamliner Program. The Wind River Platform with AdaCore’s technology will be used on the 7E7’s Common Core System, provided by Smiths Aerospace,

Documents
GNAT User’s Guide for Native Platforms - GNU Project

GNAT User’s Guide for Native Platforms - GNU Project

Documents
GNAT GPL For Mindstorms

GNAT GPL For Mindstorms

Technology
AdaCore Paris Tech Day 2016: Eric Perlade - Verification Solutions

AdaCore Paris Tech Day 2016: Eric Perlade - Verification Solutions

Business
GNAT Pro User Day: AdaCore University

GNAT Pro User Day: AdaCore University

Technology
GNAT User's Guide - GCC

GNAT User's Guide - GCC

Documents
GNAT Pro User Day: Ada Factory

GNAT Pro User Day: Ada Factory

Technology
GNAT Coding Style: A Guide for GNAT Developers · Most of GNAT is written in Ada using a consistent style to ensure readability of the code. This document has been written to help

GNAT Coding Style: A Guide for GNAT Developers · Most of GNAT is written in Ada using a consistent style to ensure readability of the code. This document has been written to help

Documents
GNAT Pro User Day: Latest Advances in AdaCore Static Analysis Tools

GNAT Pro User Day: Latest Advances in AdaCore Static Analysis Tools

Technology
calendar highlights / May–November 2015 Inside AdaCore · Atlantic during Autumn 2015. At these AdaCore Tech Days com - pany staff will present the latest news about current products

calendar highlights / May–November 2015 Inside AdaCore · Atlantic during Autumn 2015. At these AdaCore Tech Days com - pany staff will present the latest news about current products

Documents
AWS Documentation - AdaCore

AWS Documentation - AdaCore

Documents
Abb Gnat Review

Abb Gnat Review

Documents
Ada for the C++ or Java Developer - AdaCore

Ada for the C++ or Java Developer - AdaCore

Documents
Tech Days 2015: AdaCore Directions

Tech Days 2015: AdaCore Directions

Software
GNAT Pro User Day: VISIUM™ and Ada

GNAT Pro User Day: VISIUM™ and Ada

Technology
Eye Gnat Report 2008

Eye Gnat Report 2008

Documents
Gnat Robots

Gnat Robots

Documents
Gnat Robots - Astrosurf...Gnat Robots (And How They Will Change Robotics) A.M. Flynn Abstract A new concept in mobile robots is proposed, namely that of a gnat-sized autonomous robot

Gnat Robots - Astrosurf...Gnat Robots (And How They Will Change Robotics) A.M. Flynn Abstract A new concept in mobile robots is proposed, namely that of a gnat-sized autonomous robot

Documents
Fungus gnat pest management Nursery production Plant

Fungus gnat pest management Nursery production Plant

Documents
AdaCore Paris Tech Day 2016: Jamie Ayre - Market Perspective

AdaCore Paris Tech Day 2016: Jamie Ayre - Market Perspective

Business
Slide: 1 Copyright © AdaCore Arrays Presented Quentin Ochem university.adacore.com

Slide: 1 Copyright © AdaCore Arrays Presented Quentin Ochem university.adacore.com

Documents
GNAT Pro User Day: AdaCore Insights

GNAT Pro User Day: AdaCore Insights

Technology
Tech Days 2015: AdaCore Roadmap

Tech Days 2015: AdaCore Roadmap

Software
Box the Gnat: A Call Explained

Box the Gnat: A Call Explained

Documents
OpenGL Gnat

OpenGL Gnat

Documents
DO-178C/ED-12C versus DO-178B/ED-12B - adacore.com · Contributions and Reviews Laurent Pomies DOSoft-Consulting Hervé Delseny Airbus Cyrille Comar AdaCore Ben Brosgol AdaCore Sept

DO-178C/ED-12C versus DO-178B/ED-12B - adacore.com · Contributions and Reviews Laurent Pomies DOSoft-Consulting Hervé Delseny Airbus Cyrille Comar AdaCore Ben Brosgol AdaCore Sept

Documents