Ada Passion

Dear Ada/SPARK Community members,

Due to the changing nature of social media platforms, we are no longer updating this Ada Passion page and have therefore decided to close it indefinitely. Fortunately, there are many other platforms available which provide Ada/SPARK learning resources and showcase the latest technological enhancements within the community. Please find here a non-exhaustive list of these resources:

- @adaprogrammers on Twitter...
- The Ada Programming Language on LinkedIn - https://www.linkedin.com/groups/114211/
- Ada reddit thread - https://www.reddit.com/r/ada/
- Ada on Stack Overflow - https://stackoverflow.com/questions/tagged/ada
- Ada on Telegram - https://t.me/ada_lang
- Learn.adacore.com
- The AdaCore blog - blog.adacore.com

Thanks for your continued support of Ada/SPARK, come and find us elsewhere!

Zobacz więcej

Ada Passion

AdaCore Senior Software Engineer Yannick Moy provides a scientific overview of software security.

https://saemobilus.sae.org/…/software-security-a-scientific…

Software needs security. That's a consequence of using software to control critical systems. It's difficult because software is inherently a complex artifact, even when the code just consists of a single sequential program in a single programming language, with well-defined inputs and outputs. Of co...

saemobilus.sae.org

Software security, a scientific overview

Software needs security. That's a consequence of using software to control critical systems. It's difficult because software is inherently a complex artifact, even when the code just consists of a single sequential program in a single programming language, with well-defined inputs and outputs. Of co...Software needs security. That's a consequence of using software to control critical systems. It's difficult because software is inherently a complex artifact, even when the code just consists of a single sequential program in a single programming language, with well-defined inputs and outputs. Of co...

Ada Passion

NVIDIA is joining the Ada and SPARK adopter wave

NVIDIA is joining the Ada and SPARK adopter wave by Quentin Ochem – Feb 05, 2019 Over the past several years, a great number of public announcements have been made about companies that are either studying or adopting the Ada and SPARK programming languages. Noteworthy examples include Dolby, Denso...

blog.adacore.com

NVIDIA is joining the Ada and SPARK adopter wave - The AdaCore Blog

NVIDIA is joining the Ada and SPARK adopter wave by Quentin Ochem – Feb 05, 2019 Over the past several years, a great number of public announcements have been made about companies that are either studying or adopting the Ada and SPARK programming languages. Noteworthy examples include Dolby, Denso...NVIDIA is joining the Ada and SPARK adopter wave by Quentin Ochem – Feb 05, 2019 Over the past several years, a great number of public announcements have been made about companies that are either studying or adopting the Ada and SPARK programming languages. Noteworthy examples include Dolby, Denso...

Ada Passion

Calling all Ada and SPARK advocates! We're excited to announce that the GNAT community 2018 download has arrived! For more info on updates and to download, check out our new blog here https://blog.adacore.com/gnat-community-2018

GNAT Community 2018 is here! by Emma Adby, Fabien Chouteau – Jun 26, 2018 Calling all members of the Ada and SPARK community, we are pleased to announce that GNAT Community 2018 is here! adacore.com/download What’s new? BBC micro:bit first class support We decided to adopt the micro:bit as our r...

blog.adacore.com

GNAT Community 2018 is here! - The AdaCore Blog

GNAT Community 2018 is here! by Emma Adby, Fabien Chouteau – Jun 26, 2018 Calling all members of the Ada and SPARK community, we are pleased to announce that GNAT Community 2018 is here! adacore.com/download What’s new? BBC micro:bit first class support We decided to adopt the micro:bit as our r...GNAT Community 2018 is here! by Emma Adby, Fabien Chouteau – Jun 26, 2018 Calling all members of the Ada and SPARK community, we are pleased to announce that GNAT Community 2018 is here! adacore.com/download What’s new? BBC micro:bit first class support We decided to adopt the micro:bit as our r...

Ada Passion

AdaCore has been working with CEA Paris-Saclay, Inria & NIST to organise a two day event dedicated to sound static analysis techniques and tools! To find out more and register click here: https://www.adacore.com/sound-static-analysis-workshop

Ada Passion

New blog up "Cross-referencing Ada with Libadalang" an excellent follow on from our "Highlighting Ada with Libadalang" blog! Give that a read before if you haven't already! http://blog.adacore.com/cross-referencing-ada-with-libadala…

Cross-referencing Ada with Libadalang by Pierre-Marie de Rodat, Raphaël Amiard – Dec 18, 2017 Libadalang has come a long way since the last time we blogged about it. In the past 6 months, we have been working tirelessly on name resolution, a pretty complicated topic in Ada, and it is finally read...

blog.adacore.com

Cross-referencing Ada with Libadalang - The AdaCore Blog

Cross-referencing Ada with Libadalang by Pierre-Marie de Rodat, Raphaël Amiard – Dec 18, 2017 Libadalang has come a long way since the last time we blogged about it. In the past 6 months, we have been working tirelessly on name resolution, a pretty complicated topic in Ada, and it is finally read...Cross-referencing Ada with Libadalang by Pierre-Marie de Rodat, Raphaël Amiard – Dec 18, 2017 Libadalang has come a long way since the last time we blogged about it. In the past 6 months, we have been working tirelessly on name resolution, a pretty complicated topic in Ada, and it is finally read...

Ada Passion

We are delighted to announce our Make with Ada competitions winners!

In 3rd place is Manuel Iglesias Abbatemarco with his Ada IoT Stack
This year's runner up is German Rivera who was also MWA 2016's second prize winner with a Smartwatch
And our Make with Ada 2017 winner is Jonas Attertun who developed the software for a brushless DC motor controller!

...

You can find all of their project logs with this link: http://adaco.re/jm

A massive well done to our prize winners and everyone else who took part!

Zobacz więcej

makewithada.org

Make with Ada

The 1st place prize of €5000/$5500 was awarded to Jonas Attertun from Sweden for his Ada Motorcontrol. The project involved the design of a software platform for developing a brushless DC motor controller (BLDC/PMSM). He used a custom, open-source board with an STM32F446 microprocessor, a sensored f...The 1st place prize of €5000/$5500 was awarded to Jonas Attertun from Sweden for his Ada Motorcontrol. The project involved the design of a software platform for developing a brushless DC motor controller (BLDC/PMSM). He used a custom, open-source board with an STM32F446 microprocessor, a sensored f...

Ada Passion

We are so very excited to announce that AdaCore will be hosting its first public SPARK training in Paris this December! To ensure you don't miss out click this link to register now! http://adaco.re/ja

adacore.com

Public SPARK Training | AdaCore

This training course is for project managers and software engineers required to be operational on projects using the SPARK language. This course will provide delegates with the necessary set of competencies to master the language and the formal verification tools that form the SPARK solution. It doe...This training course is for project managers and software engineers required to be operational on projects using the SPARK language. This course will provide delegates with the necessary set of competencies to master the language and the formal verification tools that form the SPARK solution. It doe...

Ada Passion

Make sure you keep 27th September open so you can tune into our "Developing embedded systems in Ada - a C programmer's guide to safe, secure software" webinar! 15:00 CEST/ 8:00 CDT register yourself here now! http://adaco.re/j6

electronics-know-how.com

Electronics-Know-How.com

Developing embedded systems in Ada - a C programmer's guide to safe, secure software The easiest bugs to correct are the ones that are not inserted in the first place. This webinar will show how the Ada language can help you design, implement and verify embedded software that will be reliable, safe…Developing embedded systems in Ada - a C programmer's guide to safe, secure software The easiest bugs to correct are the ones that are not inserted in the first place. This webinar will show how the Ada language can help you design, implement and verify embedded software that will be reliable, safe…

Ada Passion

We have both our EU and US tech days coming up in the next two months in Paris and Boston! You can register for them here: Paris:http://adaco.re/a1 Boston: http://adaco.re/a2

adacore.com

AdaCore Tech Days - Paris, France | AdaCore Tech Days | AdaCore

AdaCore technical staff will present the latest news about the company's current and planned product offerings and activities including GNAT Pro, CodePeer, SPARK Pro, and QGen.AdaCore technical staff will present the latest news about the company's current and planned product offerings and activities including GNAT Pro, CodePeer, SPARK Pro, and QGen.

Ada Passion

Dear Ada/SPARK Community members,

Due to the changing nature of social media platforms, we are no longer updating this Ada Passion page and have therefore decided to close it indefinitely. Fortunately, there are many other platforms available which provide Ada/SPARK learning resources and showcase the latest technological enhancements within the community. Please find here a non-exhaustive list of these resources:

- @adaprogrammers on Twitter...
- The Ada Programming Language on LinkedIn - https://www.linkedin.com/groups/114211/
- Ada reddit thread - https://www.reddit.com/r/ada/
- Ada on Stack Overflow - https://stackoverflow.com/questions/tagged/ada
- Ada on Telegram - https://t.me/ada_lang
- Learn.adacore.com
- The AdaCore blog - blog.adacore.com

Thanks for your continued support of Ada/SPARK, come and find us elsewhere!

Zobacz więcej

Ada Passion

AdaCore Senior Software Engineer Yannick Moy provides a scientific overview of software security.

https://saemobilus.sae.org/…/software-security-a-scientific…

Software needs security. That's a consequence of using software to control critical systems. It's difficult because software is inherently a complex artifact, even when the code just consists of a single sequential program in a single programming language, with well-defined inputs and outputs. Of co...

saemobilus.sae.org

Software security, a scientific overview

Software needs security. That's a consequence of using software to control critical systems. It's difficult because software is inherently a complex artifact, even when the code just consists of a single sequential program in a single programming language, with well-defined inputs and outputs. Of co...Software needs security. That's a consequence of using software to control critical systems. It's difficult because software is inherently a complex artifact, even when the code just consists of a single sequential program in a single programming language, with well-defined inputs and outputs. Of co...

Ada Passion

NVIDIA is joining the Ada and SPARK adopter wave

NVIDIA is joining the Ada and SPARK adopter wave by Quentin Ochem – Feb 05, 2019 Over the past several years, a great number of public announcements have been made about companies that are either studying or adopting the Ada and SPARK programming languages. Noteworthy examples include Dolby, Denso...

blog.adacore.com

NVIDIA is joining the Ada and SPARK adopter wave - The AdaCore Blog

NVIDIA is joining the Ada and SPARK adopter wave by Quentin Ochem – Feb 05, 2019 Over the past several years, a great number of public announcements have been made about companies that are either studying or adopting the Ada and SPARK programming languages. Noteworthy examples include Dolby, Denso...NVIDIA is joining the Ada and SPARK adopter wave by Quentin Ochem – Feb 05, 2019 Over the past several years, a great number of public announcements have been made about companies that are either studying or adopting the Ada and SPARK programming languages. Noteworthy examples include Dolby, Denso...

Ada Passion

Calling all Ada and SPARK advocates! We're excited to announce that the GNAT community 2018 download has arrived! For more info on updates and to download, check out our new blog here https://blog.adacore.com/gnat-community-2018

GNAT Community 2018 is here! by Emma Adby, Fabien Chouteau – Jun 26, 2018 Calling all members of the Ada and SPARK community, we are pleased to announce that GNAT Community 2018 is here! adacore.com/download What’s new? BBC micro:bit first class support We decided to adopt the micro:bit as our r...

blog.adacore.com

GNAT Community 2018 is here! - The AdaCore Blog

GNAT Community 2018 is here! by Emma Adby, Fabien Chouteau – Jun 26, 2018 Calling all members of the Ada and SPARK community, we are pleased to announce that GNAT Community 2018 is here! adacore.com/download What’s new? BBC micro:bit first class support We decided to adopt the micro:bit as our r...GNAT Community 2018 is here! by Emma Adby, Fabien Chouteau – Jun 26, 2018 Calling all members of the Ada and SPARK community, we are pleased to announce that GNAT Community 2018 is here! adacore.com/download What’s new? BBC micro:bit first class support We decided to adopt the micro:bit as our r...

Ada Passion

AdaCore has been working with CEA Paris-Saclay, Inria & NIST to organise a two day event dedicated to sound static analysis techniques and tools! To find out more and register click here: https://www.adacore.com/sound-static-analysis-workshop

Ada Passion

New blog up "Cross-referencing Ada with Libadalang" an excellent follow on from our "Highlighting Ada with Libadalang" blog! Give that a read before if you haven't already! http://blog.adacore.com/cross-referencing-ada-with-libadala…

Cross-referencing Ada with Libadalang by Pierre-Marie de Rodat, Raphaël Amiard – Dec 18, 2017 Libadalang has come a long way since the last time we blogged about it. In the past 6 months, we have been working tirelessly on name resolution, a pretty complicated topic in Ada, and it is finally read...

blog.adacore.com

Cross-referencing Ada with Libadalang - The AdaCore Blog

Cross-referencing Ada with Libadalang by Pierre-Marie de Rodat, Raphaël Amiard – Dec 18, 2017 Libadalang has come a long way since the last time we blogged about it. In the past 6 months, we have been working tirelessly on name resolution, a pretty complicated topic in Ada, and it is finally read...Cross-referencing Ada with Libadalang by Pierre-Marie de Rodat, Raphaël Amiard – Dec 18, 2017 Libadalang has come a long way since the last time we blogged about it. In the past 6 months, we have been working tirelessly on name resolution, a pretty complicated topic in Ada, and it is finally read...

Ada Passion

We are delighted to announce our Make with Ada competitions winners!

In 3rd place is Manuel Iglesias Abbatemarco with his Ada IoT Stack
This year's runner up is German Rivera who was also MWA 2016's second prize winner with a Smartwatch
And our Make with Ada 2017 winner is Jonas Attertun who developed the software for a brushless DC motor controller!

...

You can find all of their project logs with this link: http://adaco.re/jm

A massive well done to our prize winners and everyone else who took part!

Zobacz więcej

makewithada.org

Make with Ada

The 1st place prize of €5000/$5500 was awarded to Jonas Attertun from Sweden for his Ada Motorcontrol. The project involved the design of a software platform for developing a brushless DC motor controller (BLDC/PMSM). He used a custom, open-source board with an STM32F446 microprocessor, a sensored f...The 1st place prize of €5000/$5500 was awarded to Jonas Attertun from Sweden for his Ada Motorcontrol. The project involved the design of a software platform for developing a brushless DC motor controller (BLDC/PMSM). He used a custom, open-source board with an STM32F446 microprocessor, a sensored f...

Ada Passion

We are so very excited to announce that AdaCore will be hosting its first public SPARK training in Paris this December! To ensure you don't miss out click this link to register now! http://adaco.re/ja

adacore.com

Public SPARK Training | AdaCore

This training course is for project managers and software engineers required to be operational on projects using the SPARK language. This course will provide delegates with the necessary set of competencies to master the language and the formal verification tools that form the SPARK solution. It doe...This training course is for project managers and software engineers required to be operational on projects using the SPARK language. This course will provide delegates with the necessary set of competencies to master the language and the formal verification tools that form the SPARK solution. It doe...

Ada Passion

Make sure you keep 27th September open so you can tune into our "Developing embedded systems in Ada - a C programmer's guide to safe, secure software" webinar! 15:00 CEST/ 8:00 CDT register yourself here now! http://adaco.re/j6

electronics-know-how.com

Electronics-Know-How.com

Developing embedded systems in Ada - a C programmer's guide to safe, secure software The easiest bugs to correct are the ones that are not inserted in the first place. This webinar will show how the Ada language can help you design, implement and verify embedded software that will be reliable, safe…Developing embedded systems in Ada - a C programmer's guide to safe, secure software The easiest bugs to correct are the ones that are not inserted in the first place. This webinar will show how the Ada language can help you design, implement and verify embedded software that will be reliable, safe…