Adaによるソフトウエア工学に基づく開発
Adaによる先進ソフトウエア開発
長い間Adaでハードリアルタイムの開発をしていた。
ハードリアルタイム仕様の言語であるAdaは:
・並列性
・正当性チェック
・ガーベージコレクション
・大規模開発対応
・例外処理
・オブジェクト指向
などの機能を備えている極めて厳しい型チェックがある。
「型安全がどういうのもか?」
というの明確に理解できる言語であり開発思想と開発環境を持つ。
逆にアマチュア受けする仕様は全くない、完全なプロ仕様の言語であった。
| 固定リンク
「パソコン・インターネット」カテゴリの記事
- 6つのテーマを同時並行作業(2019.07.05)
- すっかりご無沙汰してしましました(2018.05.27)
- CCCC(C AND C++CODE COUNTER)GUIランチャーの公開(2017.04.13)
- 作成したYicesのGUIからオプションを変えSMTを行う(2017.01.19)
- 『Yices』によるSMTソルバ(2017.01.18)
最近のコメント