プロジェクトの説明

Votail は、比例代表 1 つ移動可能な投票 (PRSTV) によってアイルランドのメソッドの実装です。アイルランドの選挙の法律からの派生機能の要件は、ビジネス オブジェクト表記法 (ボン) と Java モデリング言語 (JML) で指定されます。形式的な方法は、ソフトウェアの正しさを確認する使用されています。

(このプロジェクト概要は機械翻訳されたものです) 翻訳してみる 原文を表示する

レビュー
あなたの評価
レビューする