Freely Licensed Open Source Software / BAE Systems / BAE Systems UK / The GNAT Pro Company / Embedded Systems / AdaCore Europe / HP / BAE Systems UK BAE Systems UK / Praxis High Integrity Systems / Wind River Systems / AdaCore EU / /
Continent
Asia / /
Country
France / United States / United Kingdom / / /
Event
Business Partnership / /
Facility
AdaCore’s GNAT Programming Studio / Technical College / Vermont Technical College / Randolph Center / / /
IndustryTerm
security-critical applications / software engineering / tool chain / software development principles / cross-language applications / highintegrity robotics systems / highassurance applications / space satellite / software technology / appropriate solutions / code analysis tool / verification tools / language tools / large software components / software methodology / integrity applications / deployed software / assurance applications / manufacturing industry / railway transportation / framework in which these tools / certifiable software / assurance software / technology corner / assurance systems / standalone product / cross-compiler technology / life-cycle management / aerospace / satellite network / /
NaturalFeature
Sea Ice Buoy / Arctic Ocean / /
OperatingSystem
OpenVMS / Mac OS X / GNU/Linux / VxWorks / Microsoft Windows / /
Organization
OPEES’s mission / Vermont Technical College / US National Security Agency / National Aeronautics and Space Administration / European Union / Randolph Center / /
Person
Professors Carl Brandon / Ada Gems / Ada Gem / Rod Chapman / Franco Gasperoni / Peter Chapin / Ada-Java Interfacing Suite / Carl Brandon / Bob Duff / Greg Gicca / / /
Position
Michaël Friess Technical Sales Manager / Eclipse Model Development Tools / Professor / Managing Director / conference chair / /
Product
Itanium OpenVMS / SPARK / VxWorks 6 Cert operating system / SPARK language tools / SPARK tools / Component Collection (GNATcoll) / a set of reusable packages and utilities / Component Collection (GNATcoll) / VxWorks 6 Cert / /
ProgrammingLanguage
Java / Ada / Simulink / C++ / /
ProvinceOrState
Vermont / /
Region
Middle East / /
Technology
Alpha / Object-Oriented Programming / Virtual Machine / cross-compiler technology / software technology / embedded systems programming / Linux / API / VxWorks / GPS / operating system / html / ARM7 processor / Java / engineering technologies / /