SQuBok(R)分類検索
3 件の資料が見つかりました。
ダウンロード数: 5186回
紹介文 :
仕様というソフトウェアの核となる成果物の品質向上については、様々なアプローチが議論されています。このため、それぞれの特徴や役割分担を明確に踏まえ、問題に応じて選択し、組み合わせ活用することが重要です。本論文は、形式仕様記述手法と要求記述手法に関し、この観点から位置づけの整理を試みています。
ダウンロード数: 975回
紹介文 :
「一般的な言語 対 ドメイン特化言語」、「上流での実装詳細の捨象の程度」など、記述方式の特化性はソフトウェア開発における難しい問題です。本論文は、フレームワークを用いた開発における形式仕様記述の活用に関し、この問題について様々な観点からの試行と議論を試みています。
ダウンロード数: 835回
紹介文 :
仕様というソフトウェアの核となる成果物の品質向上については,様々なアプローチが議論されています.このため,それぞれの特徴や役割分担を明確に踏まえ,問題に応じて選択し,組み合わせ活用することが重要です.本論文は,形式仕様記述手法と要求記述手法に関し,以前の位置づけ整理を踏まえ,具体的な手法確立に向けた試行を行っています.
↑