産業におけるシステム開発は,ライフサイクルプロセスの間で,あるいは開発 プロジェクトの間で作業結果を受け渡しながら進められる.仕様が誤解された り,仕様の中に曖昧さや不整合があると,この受け渡しがうまくいかない.そ のために起きる不具合も多くみられる.この種の不具合のうち典型的なものの 産業における実例を分析して事例を抽出し,不具合を予防あるいは回避する思 考実験を行い,数理的手法が果たしている効果を評価したので報告する.また, ライフサイクルプロセスに関する研究における方法に関する考察も行い,思考 実験の有効性を議論する.