我々が開発したソフトウェアは,こちらから入手できます.
iArch-U
iArch-U は,不確かさを包容するソフトウェア開発を支援する統合開発環境 (IDE) です. その中心機構として,不確かさを記述できるインターフェース機構 Archface-U を用いています. Eclipse のプラグインとして公式サイトで配布しています.