すべてのオプション
stretch  ]
[ ソース: spark  ]

パッケージ: spark (2012.0.deb-11 など)

spark に関するリンク

Screenshot

Debian の資源:

spark ソースパッケージをダウンロード:

メンテナ:

外部の資源:

類似のパッケージ:

SPARK プログラミング言語ツールセット

SPARK は、Ada プログラミング言語を基に形式的に定義されたコンピュータ・ プログラミング言語であり、安全であることと、アプリケーションとシステムで 使われる高整合性ソフトウェアの開発をサポートすることを目的としています。 予測可能で信頼性の高い操作は、安全のためまたはビジネスの整合性のために不 可欠です。

このパッケージには、プログラムが SPARK ルールに準拠していることをチェッ クするために必要なツールと、それらのプログラムで実行時例外の自由度を表示 するためのツールが含まれています。コンパイルするために SPARK プログラム は GNAT のような任意の標準準拠 Ada コンパイラを使用します。

タグ: ソフトウェア開発: Ada での開発, 実装言語: Ada, ユーザインタフェース: interface::commandline, role::program, 取り扱い対象: ソースコード

その他の spark 関連パッケージ

  • 依存
  • 推奨
  • 提案
  • enhances

spark のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ バージョン パッケージサイズ インストールサイズ ファイル
i386 2012.0.deb-11+b2 2,445.8 kB10,482.0 kB [ファイル一覧]