Abstract並行システムの本質とは何か、どのような「発展」は並行システムの発展と言えるか、並行システムの「発展」を如何に計測するか、どうすれば並行システムは「発展」になるかなど一連の基本問題を考察し、並行システムの設計、開発、保守と進化に関する以下の三つの基本原理を提唱した。大規模な並行システムの設計と開発において、不完全な、矛盾し得る初期の要求定義と設計仕様から、システムの挙動に関する性質を予測的で発見的に推論するための論理基礎として時制相関論理を提案した。時制相関論理は、我々が従来提案した強相関論理に時制演算子を導入したものである。強相関論理は、含意に関するパラドックスを含んでいなくて、与えられた前提が全て妥当なものであれば、充分条件(帰結)関係を含む結論の妥当性および結論と前提との間の相関性を保証することができる。時制演算子の導入によって、時制相関論理は、真理値が時間の推移に伴って変化する命題を記述し、拡充的で発見的に推論するための論理基礎とすることができる。)および手続き(関数)呼び出し関係や引数の受け渡し関係を明示的に表現する有向グラフである。並行プログラムにおけるそれぞれの手続きや関数におけるプログラム従属性を明示的に表現するプロセス従属ネットを、手続き・関数呼び出し枝と変数入出力枝でつないだものである。本研究においては、既存ソフトウェアシステムを対象として、特に複雑で大規模な並行システムの開発に実際に応用されており、ISOによって国際標準化されたオブジェクト指向プログラミング言語Ada95で書かれた並行プログラムを対象として、そのプログラム従属性解析技法を開発しその応用を示した。Ada95プログラムのためのシステム従属ネット生成ツールを開発した。