Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore’s flagship product is the GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology.
North American Office
104 Fifth Avenue, 15th floor
New York, NY 10011
Altran is a specialist systems and software house, focused on the engineering of systems with demanding safety, security or innovation requirements. Altran leads the world in specific areas of advanced systems engineering and innovation such as: ultra low defect software engineering, Human Machine Interface (HMI), safety engineering for complex or novel systems and tools (such as SPARK) /methods for systems engineering. Altran, in partnership with AdaCore, provides SPARK Pro – the foremost language, toolset and design discipline for the engineering of high-assurance software.
22 St. Lawrence Street
Bath BA1 1AN
Tel. +44 (0)1225 466991 Fax +44 (0)1225 469006
4 Battle Bridge Lane
London SE1 2HP
Atego is a world leading software tools and professional services company, focused on helping organizations engineer complex, mission- and safety-critical systems and software. With today’s systems and software engineering projects continually growing in complexity, Atego’s collaborative development tools, robust runtime environments, certification know-how and supporting services enable abstraction, optimization and automation – dramatically increasing quality, security and productivity.
Atego’s Ada products include the ObjectAda and ApexAda development systems.
5930 Cornerstone Court West, Suite 250
San Diego, CA 92121
Tel. 858-356-5446 Fax 858-824-0212
701 Eagle Tower, Montpellier Drive
Cheltenham, GL50 1TA