ソフトウェア開発のモデル化技法 / J. フィッツジェラルド, P. G. ラーセン 著 ; 荒木啓二郎 [ほか]訳