オブジェクト指向設計におけるクリーンルーム手法

参考文献11件

書誌事項

タイトル別名
  • An Extension of the Cleanroom Method for Object-Oriented Design

この論文をさがす

説明

クリーンルーム手法は手続き型プログラムを対象としており、オブジェクト指向プログラムにそのまま適用することはできない。オブジェクト指向プログラムでは手続きとデータが一体化しており、手続き(メソッド)に対してだけでなく、データ的側面であるクラスに対しても、クリーンルーム手法の中心的枠組みである段階的詳細化と等価性検証が必要となる。本稿では、この点を踏まえて、オブジェクト指向設計に適したクリーンルーム手法を提案する腺提案手法では、クラス構成の表現としてクラスグラフを導入し、クラスグラフに対する詳細化オペレータを定義して、詳細化前後での振る舞い等価性を検証する。これにより、クラスおよびメソッドの双方を段階的に詳細化しながら、検証レビューを行うことが可能になる。

収録刊行物

参考文献 (11)*注記

もっと見る

詳細情報 詳細情報について

  • CRID
    1571417127176981376
  • NII論文ID
    110002931762
  • NII書誌ID
    AN10112981
  • ISSN
    09196072
  • 本文言語コード
    ja
  • データソース種別
    • CiNii Articles

問題の指摘

ページトップへ