■SPEC L-PERFECTの特長

• SPEC L-PERFECTは論理的に無矛盾な仕様書を作るツールです。
• 自然言語に近い記法で記述できるため、習得が容易で、自然に読み書きできます。
• 矛盾、冗長性、表記の揺れ、条件の漏れを自動的に検査します。

■プログラムダウンロード

SPEC L-PERFECT Ver.1.0.4101 (ZIPファイル/3740KB)

• 100日間試用できます。
• zipファイルを展開後、setup.exeからインストールして下さい。
• リリースノート

■詳しく知りたい方へ

パンフレット 両面印刷用(4P/921KB)

プレゼンデータ(32P/2549KB)

Q & A

取扱説明書「はじめにお読み下さい〜SLPの基本的考え」編 (9P/275KB)

取扱説明書「操作編」 (102P/1557KB)

■発表資料

第8回クリティカルソフトウェアワークショップ (WOCS2011) での発表資料です。産業技術総合研究所 研究員の 水口大知氏 にご協力いただきました。

	[ハンドアウト] 簡易な形式仕様記述と状態遷移表を併用した要求仕様書のレビュー方法(6P/405KB)
	[プレゼンテーション] 簡易な形式仕様記述と状態遷移表を併用した要求仕様書のレビュー方法(27P/1636KB)

■評価とサンプルデータ

産業技術総合研究所 研究員の 水口大知氏 にご協力いただきました。

SLPを利用した要求仕様書のレビュー (73P/570KB)
話題沸騰ポット第7版レビュー前SLPソース(173KB)
話題沸騰ポット第7版レビュー後SLPソース(186KB)
話題沸騰ポット第7版レビュー前デシジョンテーブル(8KB)
話題沸騰ポット第7版レビュー後デシジョンテーブル(8KB)
（ものづくり中小企業製品開発等支援補助金による委託研究）

■チュートリアルムービー

SLPは直接仕様記述ができますが、このムービーでは、SLPの使い方を具体的に示すために、SLPの評価に用いた仕様書「話題沸騰ポット第7版」を、SLPで記述してみたものです。
※ 音声はついておりません。画面は720pでご覧になることをおすすめします。

■関連ページ

• Modeling in Event-B 日本語訳
• 要求仕様の第三者評価体制のおすすめ
  SLPの応用 New!

本ソフトウェアの開発は平成21年度ものづくり中小企業製品開発等支援補助金（試作開発等支援事業）を活用しています。