Upload File

gnat pro user day: leveraging adacore tool to support rigorous software development process

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

Upload: adacore

Post on 29-Nov-2014

711 views

Category:

Technology


7 download

Report

DESCRIPTION

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

TRANSCRIPT

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

AWS Documentation - AdaCore

Gnat Style

AdaCore Paris Tech Day 2016: Arnaud Chalet - GNAT Pro Roadmap

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

Eye Gnat Report 2008

Tech Days 2015: AdaCore Roadmap

AdaCore Technologies for DO-178C / ED-12C · Quentin Ochem is the Lead of Business Development and Technical Account Management at AdaCore, a role that entails expanding the company's

OpenGL Gnat

GNAT User’s Guide for Native Platforms - GNU Project

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

GNAT Pro User Day: AdaCore University

GNAT User's Guide - GCC

Box the Gnat: A Call Explained

GNAT Pro User Day: VISIUM™ and Ada

GNAT Pro User Day: Ada Factory

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

Ada for the C++ or Java Developer - AdaCore

AdaCore Paris Tech Day 2016: Cyrille Comar - Looking Ahead

for the Embedded C Developer - AdaCore

Gnat Brochure

GNAT Reference Manual - GCC

Gnat Ugn Unw

GNAT GPL For Mindstorms

Leuven Feb 23, 2010 Robert B K Dewar President AdaCore

2008-2009 Jacumba Eye Gnat Research Project 2008-2009 Jacumba Eye Gnat Research Project University of California Cooperative Extension San Diego County

b 6UfbYg - AdaCore...safe and secure foundations on which succeeding versions of the language have built. Franco Gasperoni Chief Executive Officer, AdaCore Paris, January 2013 iii

AdaCore Paris Tech Day 2016: Jamie Ayre - Market Perspective

Getting Started with GNAT/RTEMS

A Gnat So Small

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

Inside AdaCore...Inside AdaCore January–June 2019 V19 Product Release VDC Report: Ada Helps Reduce Costs AdaCore Awarded Air Force Research Contract for System-to-Software Integrity

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

Abb Gnat Review

Gnat Robots

Tech Days 2015: AdaCore Directions