教授　田中武二

最近の研究活動

  1. 曖昧さがなく，整合性・完全性が保証されたソフトウェアの要件仕様の記述と，仕様 の詳細化と実装の過程での精確さを保証できるものとして，形式的方法論の研究を行っている．

  2. 形式的方法論の実際的な適用を可能とするものとして，Dijkstra の guarded command language に理論的基礎を置く Abstract Machine Notation (AMN) を用いた B-Method の適用上の問題を研究し，このシステムにおいて十分でない二つの機能

    を可能にする拡張を試みている．

このページの最初へ

研究発表

  1. 田中武二：B-Method 適用の実際−B-Toolkit，形式的方法論研究会（国際基督教大 学），1995年6月3日．
    "B-Toolkit" の Test Program Project に参画した報告を，実演を伴って行った．

このページの最初へ
理学研究科報告１９９５目次へ