Skip to content
Ada Japan
日本 Ada 協会
  • Home
  • Ada Info

Category: News

News

Functional Safety Conference

Posted on Sunday November 17th, 2019

We have a presentation about the formal verification feature of SPARK at the 7th functional safety conference....

News

ODC 2018 @ Tokyo

Posted on Monday August 6th, 2018

We will introduce SPARK/Ada in the Open Developers’ Conference Date:25/Aug/2018 11:15 – 12:00 Venu...

News

New community version released !

Posted on Monday August 6th, 2018

AdaCore announced the new community version release. The micro:bit becomes a new reference platform. I’l...

Language:

  • 日本語
  • English

Categories

  • Ada Japan について
  • make
  • News
  • Ada Language
  • SPARK Language

Warning: Uninitialized string offset 2 in /home/nil0/ada.jp/public_html/wp/wp-content/plugins/qtranslate-xt/qtranslate_utils.php on line 581

Recent Posts

  • Functional Safety Conference
  • (日本語) SPARK言語
  • (日本語) Ada言語の歴史
  • (日本語) Ada言語
  • ODC 2018 @ Tokyo

Archives

  • November 2019
  • August 2018
  • July 2018
  • June 2018