• Home
  • Ada Advantages
  • Learn Ada
  • Resources
  • ARA Community
Site Map | Contact Us

Ada Resource Association

News and resource for the Ada programming language

  • Blog Sep 3 '15

    New SPARK 2014 Book Available

    by brukardt
    The all-new SPARK book by John McCormick and Peter Chapin, “Building High Integrity Applications with SPARK”, was recently published. The book will allow developers to master the basic concepts for building systems with SPARK 2014.
    Read Blog Entry
  • Blog Apr 8 '13

    Ada inflitrates strongSwan

    by brukardt

    The popular strongSwan open source IPsec VPN project now makes use of Ada.

    The latest strongSwan release 5.0.3 [1] contains support for the Trusted Key Manager (TKM), which is a separate process providing security critical operations of the IKEv2 protocol. The TKM has been implemented from scratch in Ada, using some of the new Ada 2012 contract features for added confidence of meeting the specification.

    For more, see the project website at http://www.codelabs.ch/tkm/.

    Read Blog Entry
  • Blog May 31 '11

    SPARK Pro Demo – An Introduction t...

    by AdaCore
    The third in a series of 5 SPARK Pro demos that will present a practical, hands-on introduction on using the most important features of the SPARK programming language. This demo covers advanced data and control coupling. We’ll present a new demo in the series every Monday.

    Read Blog Entry
  • Blog May 26 '11

    SPARK Pro Demo – An Introduction t...

    by AdaCore
    The second in a series of 5 SPARK Pro demos that will present a practical, hands-on introduction on using the most important features of the SPARK programming language. This demo covers basic data and control coupling. We’ll present a new demo in the series every Monday.

    Read Blog Entry
  • Blog May 16 '11

    SPARK Pro Demo – An Introduction t...

    by AdaCore
    The first in a series of 5 SPARK Pro demos that will present a practical, hands-on introduction on using the most important features of the SPARK programming language. We’ll present a new demo in the series every Monday.

    Read Blog Entry
  • Blog Apr 7 '11

    SPARK Developers Janet Barnes and Rod Ch...

    by jayre

    At the 3rd International Conference on Verified Software: Theories, Tools and Experiments (VSTTE 2010), it was announced that Microsoft Research would sponsor an award that recognises significant technological advances towards the goals of the Verified Software Initiative (VSI).

    From the announcement:
    We are delighted to announce that the recipients of the inaugural Microsoft Research Verified Software Milestone Award are Janet Barnes and Rod Chapman for the Tokeneer Project (http://www.altran-praxis.com/security.aspx).

    The formal presentation of the Award will be made to Janet and Rod at AVoCS 2011 (http://conferences.ncl.ac.uk/AVoCS2011/), which is being hosted by Newcastle University this September.

    The full award citation is provided along with further details of the award process at the VSI website, i.e. http://dream.inf.ed.ac.uk/vsi

    Read Blog Entry
  • Blog Jan 10 '11

    Designing a High Assurance Workstation (...

    by jayre
    In this video of a talk given at the SPARK User Group 2010 High Assurance Software Symposium, Alex Senier from secunet talks about their experiences building High Assurance workstations.
    Read Blog Entry
  • Press
  • Articles
  • Events
ARA Sponsor Spotlight
PTC Logo View All Sponsors

Upcoming Events

  • Ada-Europe 2023
    Jun 13-16, 2023 Lisbon, Portugal

View All Events



AdaCore PTC Logo

Ada Advantages

  • Ada 202x
  • Ada Overview
  • More Topics of Interest
  • Features & Benefits
  • Ada Comparison Chart
  • Ada 2012
  • Ada 2005
  • SPARK Ada
  • Ada and Multicore
  • Case Studies
  • Ada Projects

Ada Projects

Learn Ada

  • Learning Materials
  • Professional Training
  • Ada in Academia

Resources

  • Ada Standards
  • Free Tools & Libraries
  • Professional Tools and Services
  • Associations
  • Ada on the Web

ARA Community

  • Sponsors
  • Compilers and Conformity
  • Join the ARA
  • ARA Press Releases

Copyright © 2009-2023 Ada Resource Association Site Map | Contact Us