libre.adacore.com
Documentation | Developers | Libre
http://libre.adacore.com/developers/documentation
GNAT Programming Studio (GPS). GNAT Component Collection (GNATcoll). Ada Web Server (AWS). GNAT Ada-Java Interfacing Suite (AJIS). GNAT GPL for LEGO MINDSTORMS. Ocarina AADL tool suite. Link to this entry. This is a short guide for using the AUnit test framework. AUnit is an adaptation of the Java JUnit (Kent Beck, Erich Gamma) and C CppUnit (M. Feathers, J. Lacoste, E. Sommerlade, B. Lepilleur, B. Bakker, S. Robbins) unit test frameworks for Ada code. GNATbench for WRS Workbench User’s Guide. This User&...
libre.adacore.com
Technical Papers | Developers | Libre
http://libre.adacore.com/developers/technical-papers
GNAT Programming Studio (GPS). GNAT Component Collection (GNATcoll). Ada Web Server (AWS). GNAT Ada-Java Interfacing Suite (AJIS). GNAT GPL for LEGO MINDSTORMS. Ocarina AADL tool suite. AdaCore Technologies for CENELEC EN 50128:2011 ». Safe and Secure Software - An Invitation to Ada 2012 ». Dissimilar tools: Use cases and impact on tool qualification level ». Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Trans ». Ada 2012 Rationale ». Ada 2005 / 95 / 83.
adacore.com
Ada Answers | AdaCore
http://www.adacore.com/adaanswers
Learn about GNAT Tracker 3. Introducing the AdaCore Blog. We’re pleased to announce the launch of the AdaCore Blog providing an insight into the AdaCore Ecosystem. Continue Reading ». Ada is a modern programming language designed for large, long-lived applications – and embedded systems in particular – where reliability and efficiency are essential. The Next Generation of Ada – Ada 2012. Learn about the key new language features introduced with Ada 2005. Read More ». The Ada Programming Language. Thanks ...
www1.adacore.com
AdaCore Tech Days | AdaCore
http://www1.adacore.com/techdays
Learn about GNAT Tracker 3. AdaCore is hosting two customer-oriented events this year, providing an opportunity to learn more about our products, meet other AdaCore users, and for the Boston event to get hands-on training from the company's technical experts. View a selection of video presentations from last year's event.
libre.adacore.com
Select Configurations | Download GNAT GPL and SPARK GPL Editions | Libre
http://libre.adacore.com/download/configurations
GNAT Programming Studio (GPS). GNAT Component Collection (GNATcoll). Ada Web Server (AWS). GNAT Ada-Java Interfacing Suite (AJIS). GNAT GPL for LEGO MINDSTORMS. Ocarina AADL tool suite. Download GNAT GPL and SPARK GPL Editions. The GNAT GPL and SPARK GPL Editions are made available to the free software developers by AdaCore. They are not intended for professional development, and AdaCore makes NO WARRANTY on them. Select "tar" format, and extract using:. Select "zip" format, and extract using the. Libico...
libre.adacore.com
GAP Package | Academia | Libre
http://libre.adacore.com/academia/gap
GNAT Programming Studio (GPS). GNAT Component Collection (GNATcoll). Ada Web Server (AWS). GNAT Ada-Java Interfacing Suite (AJIS). GNAT GPL for LEGO MINDSTORMS. Ocarina AADL tool suite. AdaCore provides educators with the GAP Package at no cost. This comprehensive toolset and support package is designed to give educators the tools they need to teach Ada. The package includes an integrated binary distribution of the GNAT tool set and a variety of add-ons and libraries. The GAP Package includes:.
libre.adacore.com
GNAT for LEGO MINDSTORMS NXT Ravenscar Edition | Academia | Libre
http://libre.adacore.com/academia/mindstorms
GNAT Programming Studio (GPS). GNAT Component Collection (GNATcoll). Ada Web Server (AWS). GNAT Ada-Java Interfacing Suite (AJIS). GNAT GPL for LEGO MINDSTORMS. Ocarina AADL tool suite. GNAT for LEGO MINDSTORMS. NXT – Ravenscar Edition. GNAT for the LEGO MINDSTORMS NXT – Ravenscar Edition. Brings the possibility of experimenting with real-time embedded systems development using the Ada 2005, Ada 2012 and SPARK. Here’s what’s included:. Support for Ada 2005 and a preview of Ada 2012.
libre.adacore.com
Lecture Series | Libre
http://libre.adacore.com/adaanswers/lectures
GNAT Programming Studio (GPS). GNAT Component Collection (GNATcoll). Ada Web Server (AWS). GNAT Ada-Java Interfacing Suite (AJIS). GNAT GPL for LEGO MINDSTORMS. Ocarina AADL tool suite. The Ada Lecture Series. Learn more about Ada through this informative series of university lectures and conference presentations given by some of the foremost experts on the language. SPARK User Group 2012. See Videos ». The Ada Connection 2011. See Videos ». SPARK User Group 2010. AdaCore’s partner Altran has traditional...
libre.adacore.com
Gem of the Week | Libre
http://libre.adacore.com/adaanswers/gems
GNAT Programming Studio (GPS). GNAT Component Collection (GNATcoll). Ada Web Server (AWS). GNAT Ada-Java Interfacing Suite (AJIS). GNAT GPL for LEGO MINDSTORMS. Ocarina AADL tool suite. Ada 2005 / 95 / 83. Introducing the AdaCore Blog. We’re pleased to announce the launch of the AdaCore Blog providing an insight into the AdaCore Ecosystem. Continue Reading ». Gem #161 : So long and thanks for all the memories! Gem #160 : Developing unit tests with GNATtest. Continue Reading ». GPRinstall is a tool recent...
libre.adacore.com
Resources and Links | Ada Answers | Libre
http://libre.adacore.com/adaanswers/resources
GNAT Programming Studio (GPS). GNAT Component Collection (GNATcoll). Ada Web Server (AWS). GNAT Ada-Java Interfacing Suite (AJIS). GNAT GPL for LEGO MINDSTORMS. Ocarina AADL tool suite. Below you’ll find a short list of the best and most up-to-date Ada resources and links. A new community-based program created by AdaCore to encourage and support the use of Ada in Academia. Learning Ada: AdaCore University. The home page for the “Special Interest Group on Ada” with pointers to local chapters. Safe and Sec...
SOCIAL ENGAGEMENT