ダウンロードリスト

Sponsored link

プロジェクト概要

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

システム要件

システム要件が設定されていません
プロジェクトのリリース情報やプロジェクトリソースの情報です。
注: プロジェクトリソースの情報は Freecode.com ページからの引用です。ダウンロードそのものは、OSDNにホスティングされているものではありません。

プロジェクトリソース