Recent Papers
Browse by Technology
Dev Log Archives
Developer Center |
|
AdaCore Development Log
Monday November 17, 2008
Gem #53: Safe and Secure Software: Chapter 12: Conclusion
Gem #53 is the concluding chapter of John Barnes’ new booklet:
Safe and Secure Software: An Introduction to Ada 2005.
We hope you have enjoyed this series. In the attachment at the bottom of Gem #30 you can access the contents and bibliography for the entire booklet.
Read the rest of this entry »
 652.5Kb |
Posted in Ada / Ada 2005, Development Log, Devt log - Gem of the Week
Monday November 10, 2008
Gem #52: Scripting Capabilities in GNAT (Part 1)
Ada Gem #52 — Programming languages are, at least in the mind of most programmers, divided into two categories: scripting languages and others. The dividing line is not always obvious, and generally has to do with the size of the application, whether the language is interpreted or compiled, and whether doing operations such as manipulating external processes is easy.
It’s safe to say, though, that Ada is almost never classified as a scripting language. This Gem demonstrates a few of the packages that are part of the GNAT distribution and that provide helpful scripting features to accomplish tasks that would often be thought to be in the domain of languages specialized for scripting. Portability is of course a major advantage of choosing Ada!
Read the rest of this entry »
Posted in Ada / Ada 2005, Development Log, Devt log - Gem of the Week
Wednesday November 5, 2008
Reminder - GPS 4.3 webinar
The GNAT Pro InSight webinar series continues this fall with a presentation of the new features that will be introduced in the latest GPS release:
- Easy configuration of dual compilation.
- Enhanced support for gcov (code coverage), gnatcheck (coding standard checker) and compiler switches.
- A redesigned and fully customizable builder module.
- New plug-ins.
- Improved code completion.
- Improved documentation generator.
Posted in Development Log, GPS
Tuesday November 4, 2008
[AWS] Add support for HTTP headers on client API
The GET/PUT/POST/HEAD AWS.Client services are now passed an header list parameter. This makes it possible to send some specific headers to the server.
Posted in AWS, Development Log
Tuesday November 4, 2008
[AWS] Add support for HTTP headers on client API
The GET/PUT/POST/HEAD AWS.Client services are now passed an header list parameter. This makes it possible to send some specific headers to the server.
Posted in AWS, Development Log
Tuesday November 4, 2008
[AWS] Add support for HTTP headers on client API
The GET/PUT/POST/HEAD AWS.Client services are now passed an header list parameter. This makes it possible to send some specific headers to the server.
Posted in AWS, Development Log
Tuesday November 4, 2008
[AWS] Add support for HTTP headers on client API
The GET/PUT/POST/HEAD AWS.Client services are now passed an header list parameter. This makes it possible to send some specific headers to the server.
Posted in AWS, Development Log
Tuesday November 4, 2008
[AWS] Add support for HTTP headers on client API
The GET/PUT/POST/HEAD AWS.Client services are now passed an header list parameter. This makes it possible to send some specific headers to the server.
Posted in AWS, Development Log
Tuesday November 4, 2008
[AWS] Add support for HTTP headers on client API
The GET/PUT/POST/HEAD AWS.Client services are now passed an header list parameter. This makes it possible to send some specific headers to the server.
Posted in AWS, Development Log
Tuesday November 4, 2008
[AWS] Add support for HTTP headers on client API
The GET/PUT/POST/HEAD AWS.Client services are now passed an header list parameter. This makes it possible to send some specific headers to the server.
Posted in AWS, Development Log