• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

高度に柔軟なオブジェクト指向開発手法の開発とそれを支援する計算機環境の構築

研究課題

研究課題/領域番号 10480056
研究種目

基盤研究(B)

配分区分補助金
応募区分一般
研究分野 計算機科学
研究機関電気通信大学

研究代表者

前川 守  電気通信大学, 大学院・情報システム学研究科, 教授 (10126162)

研究分担者 中山 健  電気通信大学, 大学院・情報システム学研究科, 助手 (40296348)
前川 守  電気通信大学, 大学院・情報システム学研究科, 教授 (10126162)
河田 恭郎  電気通信大学, 大学院・情報システム学研究科, 助手
研究期間 (年度) 1998 – 2000
研究課題ステータス 完了 (2000年度)
配分額 *注記
7,200千円 (直接経費: 7,200千円)
2000年度: 2,500千円 (直接経費: 2,500千円)
1999年度: 2,300千円 (直接経費: 2,300千円)
1998年度: 2,400千円 (直接経費: 2,400千円)
キーワードEunice 97 / オブジェクト指向 / 並行プログラム / 継承異常 / ソフトウェア開発 / CASEツール / 要求仕様抽出 / 要求仕様検証 / Eunice97 / 電求仕様抽出
研究概要

ソフトウェア工学の目的は、情報システムの開発と保守をいかに正確にそして容易にするかという事である。従来のウォーターフォールモデルは、開発段階が明確に分けられるという前提にしており、各段階間で情報が誤る可能性が非常に高いという本質的な問題があった。本課題では、仕様記述から設計・実装までを一貫して支援する単一体系とツール群を提供し、さらに開発方法論についても検討を行った。
一般に情報システムは動的なものであり、時間的な知識を表現・推論できることが重要である。本課題の単一体系は拡張された時相論理を基礎としていて、複雑な時間的性質の記述と、検証・テストが容易に行なえる。
これに基づいて、次のようなものを含む開発支援ツール群を作成した。非瞬間イベントとその時間関係の表現が可能な拡張状態遷移図エディタは複数イベントの発生時刻の関係による状態の遷移を簡潔に記述できる。動的Fault Treeを用いた安全性検証ツールは、機能的仕様が安全性仕様を充足しているかを検証する。
開発方法論の面では、ソフトウェア開発の企業でヒアリングを行い、要求仕様の各部分の確実性を的確に評価する事が重要であるとの知見を得た。現実のシステム開発では、要求仕様は開発開始後であっても継続的に変化する。開発の極めて初期段階の支援では、発注者の各部署の安定性や力関係まで考慮し、個々の要求が最終的な要求仕様まで残る可能性を的確に評価し、確実性の高いものから具体化する事が有効である。

報告書

(4件)
  • 2000 実績報告書   研究成果報告書概要
  • 1999 実績報告書
  • 1998 実績報告書
  • 研究成果

    (22件)

すべて その他

すべて 文献書誌 (22件)

  • [文献書誌] 稲田 誠一: "UML-Statechartからの内部遷移に対応したテストケース生成"第60回(平成12年度)全国大会予稿集(情報処理学会). (2000)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] 佐藤 友隆: "プロセス移送を前提とした入出力管理の枠組み"第60回(平成12年度)全国大会予稿集(情報処理学会). (2000)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] 長谷部 達也: "移動しながら連続撮影した動画像による道案内システム"第60回(平成12年度)全国大会予稿集(情報処理学会). (2000)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] 黄 玉蓮: "ソフトウェア設計仕様書の正確さと安全性が同時に検証できるツール"第60回(平成12年度)全国大会予稿集(情報処理学会). (2000)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] 周 衛華: "A Tool For Automatically Creating Sequences Diagram From Usecases"第60回(平成12年度)全国大会予稿集(情報処理学会). (2000)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] 小林 篤: "要求定義の不確実性、多義性の管理"第60回(平成12年度)全国大会予稿集(情報処理学会). (2000)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] Seiichi Inada: "Test-case generation for internal state transitions of UML-statechart"IPSJ 60th National Convention. (2000)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] Tomotaka Sato: "I/O system framework for process migration"IPSJ 60th National Convention. (2000)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] Tatsuya Hasebe: "Course guidance based on a continuous moving shots"IPSJ 60th National Convention. (2000)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] Huang Yu Lian: "Safety/correctness verification tool for software specification"IPSJ 60th National Convention. (2000)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] Zhou Wei Hua: "A tool for automatically creating sequences diagrams from usecases"IPSJ 60th National Convention. (2000)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] Atsushi Kobayashi: "Uncertainty and ambiguity management of software requirements"IPSJ 60th National Convention. (2000)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2000 研究成果報告書概要
  • [文献書誌] Atsushi Kobayashi: "Need-Based Requirements Change Management"IEEE ECBS 2001. (2001)

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] Pathirage Gamini Wijayarathna: "Extending Fault Trees with an AND-THEN Gate"IEEE ISSRE 2000. 1. 283-292 (2000)

    • 関連する報告書
      2000 実績報告書
  • [文献書誌] 王 廓: "Specifying Spatio-Temporal Requirements with GSL"第59回(平成11年後期)全国大会予稿集(情報処理学会). 1. 283-284

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] 北村 孝明 他: "区間長制約付き正規表現を用いた時間軸を持つデータ編集環境"第59回(平成11年後期)全国大会予稿集(情報処理学会). 1.

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] 宮宗 正樹 他: "非瞬間イベントの時間関係による状態遷移可能な図式"第59回(平成11年後期)全国大会予稿集(情報処理学会). 1. 285-286

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] 向山 雅彦 他: "周辺装置の制約及び定義を簡単に行う制御システムについて"第59回(平成11年後期)全国大会予稿集(情報処理学会). 1. 241-242

    • 関連する報告書
      1999 実績報告書
  • [文献書誌] Andrew.Eduand Santosa他: "A solution to inheritance anomaly based on rensable behavior difinitions" PDCS′98. 586-589 (1998)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] Andrew.Eduand Santosa他: "A new analysis of inheritance anomaly in concurrent object-oriented programing lanquages." WEC13-Japan. (1999)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] 木南 毅 他: "ソフトウェア開発の分析段階における異なる複数視点の統合機構" 第57回 全国大会予稿集(情報処理学会). 1. 193-194 (1998)

    • 関連する報告書
      1998 実績報告書
  • [文献書誌] 水林誠司他: "要求の構造化を支援する要求抽出ツール" 第57回 全国大会予稿集(情報処理学会). 1. 189-190 (1998)

    • 関連する報告書
      1998 実績報告書

URL: 

公開日: 1998-04-01   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi