Back to Results
First PageMeta Content
Object-oriented programming / Virtual method table / Ada / Dynamic dispatch / C++ / Objective-C / Pointer / Java / Thunk / Software engineering / Computing / Computer programming


17 8 Towards Certification of Object-Oriented Code with the GNAT Compiler Javier Miranda Instituto Universitario de Microelectrónica Aplicada. Universidad de Las Palmas de Gran Canaria, Canary
Add to Reading List

Document Date: 2011-08-29 18:36:08

Open Document

File Size: 133,11 KB

Share Result on Facebook

City

New York / /

Company

High-Integrity Software Systems / Airborne Systems / Boeing / High-Integrity Systems / /

Continent

Europe / /

Country

Spain / /

/

Event

FDA Phase / /

Facility

NYU Courant Institute / Courant Institute / New York University / /

IndustryTerm

software construction / post-processing part / software industry incorporating / certification tools / security systems / certifiable systems / generic algorithms / gnatstack tool / /

Organization

Federal Aviation Administration / New York University / Courant Institute / NYU Courant Institute / Universidad de Las Palmas de Gran Canaria / Computer Science Department / /

Person

Eric Botcazou / Edmond Schonberg / Franco Gasperoni / Robert Dewar / Richard Kenner / Cyrille Comar / /

/

Position

professor / mp / Minister of Education / programmer / /

Product

A380 / Boeing 777 / A400M / Boeing 787 / A340 / DO-178B / /

ProgrammingLanguage

Ada / Java / RC / J / C / C++ / /

ProvinceOrState

New York / /

Technology

object-oriented programming / Java / GNAT technology / Object-Oriented Technology / /

URL

http /

SocialTag