紹介文 :
「一般的な言語 対 ドメイン特化言語」、「上流での実装詳細の捨象の程度」など、記述方式の特化性はソフトウェア開発における難しい問題です。本論文は、フレームワークを用いた開発における形式仕様記述の活用に関し、この問題について様々な観点からの試行と議論を試みています。

紹介文 :
HTMLで作成されたモック（サンプル）画面を使って、コメントを追加する方式で、画面仕様書、テスト仕様書を生成する自動ツール開発とその効果が報告されている。ツールによる仕様書生成手順は次のとおり。
①モックにある種のタグと定められた構文に従って記述されたコメント追記することにより画面仕様書のHTMLファイルを生成する。②ツールの画面仕様書生成機能にこのHTMLを入力して、画面仕様書のCSVファイルを生成する。③CSVファイルをツールのテスト仕様書生成機能にインプットしてテスト仕様書のXLSファイルを生成する。