ソフトウェア仕様記述システムの評価(3) : 評価のプロセスおよび評価結果
スポンサーリンク
概要
- 論文の詳細を見る
協同システム開発株式会社(JSD)では、通商産業省、情報処理振興事業協会(IPA)の指導の下に、ソフトウェア環境統合化技術開発計画(FASETプロジェクト)を推進している。このプロジェクトは、ユーザーの要求に基づいてフォーマル仕様を作成し、そのフォーマル仕様を詳細化して支援することにより、ほぼ自動的にソース・プログラムを生成するシステムを開発しようとするものである。 現在、このプロジェクトでは、7種類の仕様記述法に基づく自動化ツールの開発を進めているが、筆者らは、それらの技法およびツールを対象とした評価技術を開発して、実際に評価を試みた。本稿はその報告の第三部として、評価のプロセスおよび評価結果について述べる。
- 一般社団法人情報処理学会の論文
- 1988-09-12
著者
関連論文
- 5N-2 適合性フィードバックを利用した映画推薦システムの研究(推薦,学生セッション,データベースとメディア)
- D-5-7 飲食店選定のためのブログ記事収集支援に関する研究(D-5.言語理解とコミュニケーション,一般セッション)
- D-4-5 人気キーワードを利用したスパムブログ判定手法に関する研究(D-4.データ工学,一般セッション)
- D-5-1 演算子及び検索オプションを用いた検索式作成支援(D-5.言語理解とコミュニケーション,一般セッション)
- D-5-2 論文キーワードの表記と使い分けに着目した論文検索支援の研究(D-5.言語理解とコミュニケーション,一般セッション)
- エンドユーザのためのカスタマイズ支援システム
- ソフトウェア開発における品質プロセスのコスト最適化のためのモデルとシミュレーションツール(ソフトウェア工学)
- ビジネスオブジェクトを用いた業務モデル記述支援手法
- 未熟練者のためのシステム分析手法支援
- 2P-5 ニュース記事の主題に着目したニュース収集・理解支援に関する研究(Webマイニング,学生セッション,データベースとメディア)
- 4U-6 ユーザに適合した匿名掲示板スレッドの提示システム(文書の分類と検索,学生セッション,人工知能と認知科学)
- 5S-7 評判情報検索のための意見文収集に関する研究(知識発見・検索,学生セッション,データベースとメディア)
- 3R-3 ユーザのニーズに適合した検索語支援システム(情報検索,学生セッション,データベースとメディア)
- 3R-1 引用情報を考慮した論文検索支援システムの研究(情報検索,学生セッション,データベースとメディア)
- 2R-5 Web検索結果におけるランキング変動に着目したキーワード支援システム(Web検索,学生セッション,データベースとメディア)
- 画面仕様書に基づく対話型ソフトウェアの複雑度重みつき機能規模の測定技法(次世代移動通信ネットワークとその応用)
- XForms形式の画面仕様書を用いた対話型ソフトウェアの機能規模計測
- 画面仕様書に基づく対話型ソフトウェアの機能規模と複雑度の測定技法
- 2J-3 ユーザビリティ評価支援システムDRESSを用いた操作過程の分類に基づく操作履歴解析法
- 3C-9 オブジェクト指向ソフトウエアのメソッド分布モデルの分析
- PSP課題プログラムの実践 : プロセス成熟に伴う工数配分と欠陥数の変化
- PSP課題プログラムの実践 : 見積もり結果とその考察
- 情報技術者自己診断システム : 能力モデルと診断の枠組み
- 分散環境におけるプロトタイプ評価支援システム
- タスク実施プロセスの構築および記述方法
- 適応型システムのソフトウェアアーキテクチャと支援サービス
- 適応型ユーザインタフェースを実現するシステムの構築
- 分散・適応型システム実現のフレームワークと目標 : 今後のソフトウエア工学研究とDAISYプロジェクト
- システムの適応を支援するソフトウェアエンジニアリング環境 : プロダクト評価フレームワーク
- ソフトウェア操作効率の分析によるユーザ習熟度測定
- ソフトウェア開発プセロスの品質管理 : ユーザインタフェース設計プロセスを対象として
- 再利用性を重視したオブジェクト指向環境
- ソフトウエアプロジェクト要員割当支援システム
- 成長型ハイパーテキストのためのニュース情報処理機能の提案
- ハイパーカードを使用したプロトタイピング型要求支援環境
- ソフトウェア工学の課題と経営工学的アプローチ(ソフトウェアの生産をめぐって)
- 4. ソフトウェア工学における標準化動向 4.1 今後の課題 (ソフトウェア工学における標準化動向)
- 2J-6 2つのレベルのユーザ操作履歴を獲得するための環境 : その構築及び実験による検証
- 1C-4 ソフトウェア開発システムにおける人的資源の質の改善について : 初級プログラマの作業中における学習と知識のモデル化
- 1C-3 ソフトウェア開発システムにおける人的資源の質の改善について : 初級プログラマの傾向の一般化と問題点の明確化
- タスク実施支援システムの構築
- マニュアル制作におけるユーザインタフェースに関する一考察 : ユーザの操作履歴の発問法プロトコル分析結果
- ダイアログボツクス使用状況の視覚的提示ツール
- AUIのためのプロセスを中心としたユーザ習熟度判定 : 実験とその評価
- 適応型ユーザインタフエース(AUI)の構築 : タスク事例によるオンラインヘルプ
- 適応型ユーザインタフェース(AUI)の構築 : 既存の環境からメソッドを柚出する際の方法と課題
- 適応型ユーザインタフェース(AUI)の構築 : オブジェクト指向タスクアナリシス
- 異なった形式的仕様記述間の変換について : FASET(9)ツールゲート
- Formal Approachに基づくFASETプロジェクトFASET(1)ソフトウェア環境統合化技術開発計画
- JTC 1/SC 7のソフトウェア(品質)工学標準化とともに30余年(標準化よもやま話)
- インターネットを利用したグループ型学習のためのグループによる教材開発支援 : システム分析演習を事例として
- ハイパードキュメントによるグループウェア環境OpenMedia : OpenMediaを用いたCAI構築システム
- ハイパードキュメントグループウエア環境OpenMedia : OpenMediaを用いた要求分析支援ツールに関する研究
- ハイパードキュメントによるグループウェア環境 : OpenMedia
- 最適なアイコンサイズ及び個数に関する実験とその評価
- 進化・適応型プロセス支援環境の構築 : プロセスオブジェクト管理サブシステム
- 進化・適応型プロセス支援環境の構築 : アーキテクチャとその利用
- 進化・適応型プロセス支援環境の構築 : DREAMパラダイム
- ハイパーテキスト構築支援環境の研究
- ソフトウェアの品質定量評価とテスト管理 (ソフトウェアマネジメント)
- 特集「ソフトウェアマネジメント」の編集にあたって
- 知識、抽象部品を利用した潜在的なニーズ発見と形式的仕様化に基づくソフトウエアパラダイムの提案(I)
- ソフトウェア仕様記述システムの評価(3) : 評価のプロセスおよび評価結果
- ソフトウェア仕様記述システムの評価(2) : 品質特性とその構造
- ソフトウェア仕様記述システムの評価(1) : 評価のメタモデル
- 3. 標準化の状況 3.4 プログラム構成要素及びその表記法 (ソフトウェア工学における標準化動向)
- 適応型ユーザインタフェース(AUI)の構築 : AUIシステムの概念モデル
- 情報技術者自己診断システム : システムのアーキテクチャーとその利用
- 情報技術者自己診断システム : 人間要素診断"ペンタラム(Pentalum)"
- ソフトウェアマネジメント概説 (ソフトウェアマネジメント)
- Kappa-Pの中間言語処理部
- 2J-2 ユーザビリティ評価支援システムDRESSによるインタビュー支援 : 変更要求を含む操作履歴の分析
- 2J-1 操作履歴を用いた分散非同期プロトタイプ評価支援システムDRESS
- 1G-1 効率的なタスク実施の為の最適プロセス共有化に関する研究
- ユーザ習熟度判定のための情報の記述と解析
- 適応型ユーザインタフェース(AUI)の構築 : ユーザ習熟度判定
- UNIX環境におけるヘルプシステムの提案 : より良いユーザインタフェースを目指して