ソフトウェア仕様書間の関係記述の一手法
スポンサーリンク
概要
- 論文の詳細を見る
ソフトウェア開発の際に作成される要求仕様書や設計仕様書など、異なる仕様書の記述間の"関係"を定式的に記述する方法を述べる。ここでは、要求仕様と設計仕様の対応をとりながら進める設計プロセスについて考える。仕様書間の関係を定式的に記述することによって、設計者はミスを減らすことができ、また要求仕様の変更に伴う波及効果の追跡も容易に行なえるようになる。また、同様に設計仕様から要求仕様へのフィードバックも容易に行なえる。
- 一般社団法人情報処理学会の論文
- 1990-09-04
著者
関連論文
- MVCフレームワークに基づくウェブアプリケーションの構造改善における依存性注入パターンの適用支援
- Webサービスにおけるオブジェクト送受のためのコード自動作成
- ソフトウェアの精密分析/設計へのプロローグ
- 二相XSLT構造を用いたWebボードゲームの設計と実装
- 設計パターンを用いたUML構造モデルからのステートチャート自動生成手法
- センサ情報共有のためのアーキテクチャとデータ形式標準(センシングウェブ)
- 4M-7 ルールセットの類似性を用いたCSSリファクタリング手法の提案(リーディングプロジェクト e-society:高信頼ソフトウェア・WebWare開発支援システム,一般セッション,リーディングプロジェクト e-society)
- ページ滞留時間を考慮し行動意図を推定するアクセスログ解析手法の提案
- プログラム解析における細粒度の構文情報と意味情報の連係に向けて
- リッチクライアントに適したWebアプリケーションフレームワークの提案と実装
- クライアントサイドログとファジィクラスタリングを用いたWeb検索時における推薦手法 : 志望大学検索時を事例として
- 「都市のイメージ」を利用した Web サイトにおける情報設計方法の提案
- プログラム解析における細粒度の構文情報と意味情報の連係に向けて
- 共同利用型電子データ交換サービスの運用最適化に向けた業務知識の体系化
- ソフトウェア設計自動化のための仕様記述言語 F
- 関数スキーマベースを用いたソフトウェア設計自動化
- 要求の割付先としてのITと運用の選択基準(一般セッション)
- 要求の割付先としてのITと運用の選択基準(一般セッション,一般,フレッシャーズセッション)
- 事例分析に基づく組込みシステムに適したソフトウェアアーキテクチャの提案
- 事例分析に基づく組込みシステムに適したソフトウェアアーキテクチャの提案
- XSLTを用いたモジュール性の高いWEBアプリケーションの開発手法とフレームワークの提案(Web(学生セッション))
- ユースケースにおけるシナリオ記述の構造化と操作モデルの導出
- Emeraude PCTE (ソフトウェア生産環境)
- 要求工学国際会議(RE'04)の開催を振り返って(要求工学・ドメイン分析)
- OO'97オブジェクト指向モデリングワークショップ報告
- オブジェクトシステムの形式的仕様記述に向けて
- アクタの相互作用に基づく要求抽出の完全性確認手法
- センサ情報のオープン化に向けたデータ記述・問い合わせ手法
- 情報システムが観測すべき事象に基づく要求割付手法の課題
- 情報システムが観測すべき事象の検討に基づく要求割付に関する考察
- ソフトウェア意味モデルの要素構成に関する考察
- 「世紀末討論会 : 20世紀, コンピュータ・サイエンスは何の役に立ったか? : 」
- ソフトウエア仕様記述におけるカテゴリ論の応用について
- 部分計算を用いた等式仕様の変換と実行
- 分散仮想オフィスのための通信サービス群の検討
- 事例分析に基づく組込みシステムに適したソフトウェアアーキテクチャの提案
- 事例分析に基づく組込みシステムに適したソフトウェアアーキテクチャの提案
- プロセス統合に用いられるユーザインタフェースの設計
- 実体・関連モデルへの意味的制約の統合とPCTEデータモデルへの展開
- 実体・関連モデルへの意味的制約の統合とPCTEデ-タモデルへの展開 (ソフトウェア工学)
- 大規模データベースを用いた計画問題とその並列処理方式
- データベースを用いた計画作成における並列処理方式
- PCTEスキーマから導出されるデータ操作プログラムについて
- ソフトウェア設計方法論に関する一考察 (日本のソフトウェア開発方法)
- システムインテグレーション技術の展望
- 大規模データベースを用いた戦略的計画の作成方式
- ソフトウェアエンジニアリング・データベースKyotoDB の設計と実現
- ソフトウェア科学とソフトウェア工学
- 圏と射によるソフトウェア設計プロセスの表現
- ソフトウェア仕様書間の関係記述の一手法
- ソフトウェアエンジニアリングデータベースKyotoDBにおけるユーザインタフェースと協調活動支援機能の実現
- ソフトウェアエンジニアリングデータベースKyotoDB核のプロトタイピング
- 2.CASE 環境の基礎技術 (CASE環境)
- ソフトウェアエンジニアリングデータベースSEDB/OKBLのデータモデルについて
- 制御用マルチコンピュ-タの一方式における応答性改善について
- シミュレーションによる制御用計算機の性能予測
- 圏論的結合子の操作的意味について
- 特集「産学連携論文」・「社会人学生論文」の編集にあたって
- 特集「産学連携論文」・「社会人学生論文」の編集にあたって
- ソフトウェア適応ライフサイクルとその支援手法の提案
- 教育は芸
- 特集「産学連携論文」の編集にあたって(産学連携論文)
- 組合せ要素パターンを用いたXMLにおける文書型定義からのデータベーススキーマの導出
- 計測と制御用ソフトウェアのためのCASE環境 (計測と制御におけるソフトウェアの開発環境)
- 組合せ要素パターンを用いたXM Lにおける文書型定義からのデータべーススキーマの導出
- 実務応用の動機に対応した簡潔なITスキル標準の策定について
- 情報相分割に基づくユーザインタフェース設計
- 操作情報を中心としたユーザインタフェース設計法
- リポジトリを利用した設計情報の変化の分析と発展支援
- 操作情報を中心としたユーザインタフェース設計法
- リポジトリを利用した設計情報の変化の分析と発展支援
- 操作情報を中心としたユーザインタフェース設計法
- ソフトウェアの意味情報階層に基づくミドルウェアの体系
- ソフトウェアの意味情報階層に基づくミドルウェアの体系
- ソフトウェアの意味情報階層に基づくミドルウェアの体系
- リポジトリを利用した設計情報の変化の分析と発展支援
- ソフトウェアの意味情報階層に基づくミドルウェアの体系
- ソフトウェアリポジトリにおける意味制約の管理
- 新工法モデルからみたドメイン分析・モデリング
- Cプログラムに対するカプセル発見手法とその支援ツール
- Cプログラムに対するカプセル発見手法とその支援ツールについて
- ソフトウェアプロセスに連係するユーザインタフェースの組み立て
- 5.インドにおけるソフトウェア技術開発の展望 (アジア・太平洋のソフトウェア技術)
- サービス需給スキーマに基づく情報システム開発手法の提案
- 言語理論の話をしよう
- 操作情報を中心としたユーザインタフェース設計法
- ソフトウェアプロセスガイトツールのための拡張ワークフロー表現とその実現
- CSCW チュートリアル '94パネルディスカッション
- ソフトウェア工学四半世紀
- 欧州ソフトウェア工学事情
- 開放型CASEプラットフォーム (ソフトウェア生産環境)
- ソフトウェア・プロセスの変化に適応するCASEアーキテクチャに関する代数的考察
- センサデータサーバのための分散データベースの構築・運用に関する考察