参考にすべき要求仕様書のサンプル（曖昧さを含んだものと曖昧さを排除したもの）

以前に紹介した組込みソフトウェア開発のための構造化モデリングでも説明に使われている話題沸騰ポットの要求仕様書が、SESSAMEのサイトにてサンプルとして公開されています。

話題沸騰ポット 要求仕様書

セミナの教材用の資料となっており、曖昧さを含んだ版と清水さんのUSDMによって曖昧さを排除した版の両方が公開されています。具体例として非常に参考になりますので、要求を仕様化する技術・表現する技術 - 入門＋実践 仕様が書けていますか?と合わせて読むと良いと思います。