Reading view
The Online Public Ada Training will take place on May 3 - 7. Learn how to use the #Adaprogramming language for sequential and concurrent applications, through a combination of live lectures from experts and hands-on workshops! Visit adacore.com/events/public-… for more info!
Today at 2 pm ET, Ben Brosgol and other #FACE™️ members and #avionics software experts will get together to discuss porting safety-certified software and the Future Airborne Capability Environment (FACE™)Technical Standard. Register here: r.adaco.re/kp pic.twitter.com/lSvvsKqanx
Ada has a concurrency construct known as “entry families” that, in some cases, is just what we need to express a concise, clear solution.
Check out our latest blog post to learn more about it: blog.adacore.com/on-the-benefit…
#adaprogramming
Check out our latest blog post "From #Rust to SPARK: Formally Proven Bip-Buffers" a formally proven Ada/SPARK implementation.
blog.adacore.com/from-rust-to-s…
@DesChips #Adaprogramming
We are sponsors of the 25th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2021) which will be held online from the 7th to the 10th of June, 2021. Register today:
registration.ada-europe.org/index.html
#Adaprogramming
The Ada 202x draft defines a new tasking profile named Jorvik, based directly on the standard Ravenscar profile. Jorvik relaxes certain restrictions in order to increase expressive power for real-time/embedded Ada and SPARK applications. blog.adacore.com/introduction-t…
#Adaprogramming
The 13th @NASA Formal Methods Symposium took place this week & our very own @yannick_moy gave the talk "How the Analyzer can Help the User Help the Analyzer". Watch the replay here by skipping to 3:26:00 #formalmethods #Adaprogramming r.adaco.re/kr
We are happy to announce that the GNAT Community 2021 release is now available! Check out the release highlights and new features:
blog.adacore.com/gnat-community…
#Adaprogramming
ScaleUp360° OSS.5 Europe - the digital event on functional, operational, and systems safety of #autonomousdriving will take place on June 16-17. Quentin Ochem will present the keynote Self-Verified Software on June 16 at 2:30P.M CEST. Register today:
r.adaco.re/ks pic.twitter.com/StKGVHjJqp
Formal program proof, a promising market according to @LesEchos! This article (French only) features @yannick_moy and other experts discussing Why3, the french platform for #softwareverification. r.adaco.re/kt
#SoftwareEngineering #Softwaretesting #Softwaredevelopment
You’ve probably heard about #Ada but discounted it because, well, it isn't C. And why would you need to consider learning another #programminglanguage anyway? We'll bring you an article series that dives into Ada—from @AdaCoreCompany. bit.ly/3ibyYWd
Our @ADSgroupUK ADVANCE feature highlights the role of #OSS in supply chain management security - "#Opensource ecosystems foster a culture for transparency, where issues & vulnerabilities are discussed in the open, rather than hidden from view", p30-31 r.adaco.re/ku
#wearehiring ! Would you like to join the AdaCore team? Check out our open job positions: adacore.com/company/careers
#developer #programmer #crossengineer #embeddedsoftware #softwareengineer #devsecops #softwareengineering
Join us today for the #AdaEurope Conference #AEic2021! We'll be part of "Technical Session 6: Emerging applications with reliability requirements" at 2:45PM and Tucker Taft will present the keynote "A sampling of Ada 2022" at 3:30PM (CEST)
istr.unican.es/ae2021/
#Adaprogramming
Join us today at 2:30 PM CEST for the digital keynote "Engineering: Self-Verified Software" by Quentin Ochem at ScaleUp 360° OSS.5 Europe - the event on functional, operational, and systems safety of #autonomousdriving.
scale-up-360.com/en/oss5/
#softwareverification pic.twitter.com/p2pnA4iEKO
🏆🤩Bienvenue & Bravo au 1er #Champion2021_Systematic !
👉🏆@AdaCoreCompany membre du @HubOpenSource du @Pole_Systematic
Le jury a été impressionné notamment par leur expertise des logiciels critiques #opensource et leur capacité d'autofinancement ! pic.twitter.com/yA5f5fZNmh
When did you last look at Ada? Check out this thought-provoking blog post by Chris Hobbs, a reluctant Ada user who was asked this same question and for whom Ada is now his language of choice.
devblog.blackberry.com/en/2021/05/lea…
#Adaprogramming #programminglanguage
Download this report from @Gartner_inc to gain insight into the growing importance of application security testing and why it is becoming so critical. We support this by providing security-oriented features such as #fuzzing, static and dynamic analysis r.adaco.re/kv pic.twitter.com/v4zPNrFMKH
#Ada addresses one of the most vexing issues with #hardware updates: Creating portable code that can define data structures with a specific physical layout, insulated from problems caused by endianness differences.
@AdaCoreCompany bit.ly/3wAx0Tv