Back to Results
First PageMeta Content
Ada programming language / AdaCore / GNAT / Ada / SPARK / A Sharp / Design by contract / Robert Dewar / Integrated development environment / Computing / Software engineering / Computer programming


insider an AdaCore Publication Spring 2008 www.adacore.com
Add to Reading List

Document Date: 2011-12-16 12:50:07

Open Document

File Size: 107,67 KB

Share Result on Facebook

City

Ottawa / Paris / Emacs / Birmingham / New York / Venice / London / /

Company

Nashua / boston/ The GNAT Pro Company / Mentor Graphics / Freely-Licensed Open-Source 4 Software / AdaCore / Safety-Critical Systems / Las Vegas NV / HP / /

Continent

Europe / /

Country

France / United Kingdom / India / Italy / United States / /

/

Facility

Studio IDE / GNAT Pro Port / GNAT Programming Studio / /

/

IndustryTerm

security-critical applications / software safety / customer-relationship management / aerospace domain / larger infrastructure / nonintrusive technology / neural networks / distinguished / language technology / software development capabilities / version control systems / user interface software / add-on tools / target hardware / web page interactivity / improved builder / avionics systems / technology corner / coverage analysis tool / web-oriented functionality / real-time systems / software engineers / web technology / project management / customers’ systems / gcc-based gcov tool / released products / web servers / technology-bridging applications / input to proof tools / real-time support / build tool / software development approach / web-based customer interface / highintegrity software / verification tool / web services / /

NaturalFeature

Wind River / /

OperatingSystem

Windows XP / Solaris / Microsoft Windows / OpenVMS / Linux / Integrity / /

Organization

Safety-Critical Systems Club / /

Person

Arnaud Charlet / Greg Gicca / Bertrand Meyer / Ben Brosgol / Cyrille Comar / Emmanuel Briot / Robert Dewar / Ada-Java Interfacing Suite / /

/

Position

contractor / designer / Major / Manager / Information Systems Technology / editor / languagesensitive editor / Project Manager / Information Systems / good software engineer / /

Product

OpenVMS platform / GPRbuild / Tracker / Ada / Eclipse / OpenVMS / /

ProgrammingLanguage

Java / Lisp / XML / PHP / C / HTML / Ada / ML / C++ / /

ProvinceOrState

New York / /

Technology

Object-Oriented Programming / XML / Linux / programming language technology / JTAG / 2nd-generation web technology / operating system / HTML / Java / virtual machine / PHP / CRM / 3 Technology / GPS / GNAT Pro technology / ARM processors / Boyer-Moore algorithm / GCC Back-End technology / /

URL

www.adacore.com / www.gccsummit.org/2008 / www.adacore.com/home/gnatpro/webinars / www.embedded.com/esc/boston / www.stsc.hill.af.mil/crosstalk/2008/01/0801DewarSchonberg.html / www.cmp-egevents.com/web/esv/home / www.math.unipd.it/ae2008 / slashdot.org / www.sstc-online.org / www.adacore.com/home/ada_answers/lectures / www.adacore.com/2007/12/10/gps-420 / /

SocialTag