業務ロジック設計における表表現仕様とそのテスト方法
書誌事項
- タイトル別名
-
- Free-format Table Specification and its Verification in User Specific Logic Design
この論文をさがす
説明
システムの開発において、上流工程での誤りを下流工程に引き継がないことの重要は、良く認識され強調されている。そのための誤解され難い、視覚的プログラミングを適用した仕様記述方法も多く提案され、開発されている。しかし、いずれも記述形式が固定的であり、記述及び読解に難点がある。我々は、自由な発想で解法を思考し、その仕様を任意の形式の表表現に記述する方法と、それからのソースコードを生成するツールTableSpecを開発し、先に報告した。今回、このTableSpecと、IntelligentPadとを連携することにより、ユーザ固有業務ロジックの仕様を、テスト・検証しながら作成して行く環境を実現したので、それを報告する。
収録刊行物
-
- 全国大会講演論文集
-
全国大会講演論文集 第50回 (ソフトウェア工学), 291-292, 1995-03-15
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1050011097174911744
-
- NII論文ID
- 110002876645
-
- NII書誌ID
- AN00349328
-
- Web Site
- http://id.nii.ac.jp/1001/00128140/
-
- 本文言語コード
- ja
-
- 資料種別
- conference paper
-
- データソース種別
-
- IRDB
- CiNii Articles