年 〜
年

検索結果 3 件

VDM++(ブイディーエムプラスプラス)によるオブジェクト指向システムの高品質設計と検証 : 仕様の品質を飛躍的に高める手法 : ソフトウェア開発の実践 (IT architects' archive)

VDM++(ブイディーエムプラスプラス)によるオブジェクト指向システムの高品質設計と検証 : 仕様の品質を飛躍的に高める手法 : ソフトウェア開発の実践 (IT architects' archive)
紙図書
ジョン・フィッツジェラルド, ピーター・ゴルム・ラーセン, ポール・マッカージー, ニコ・プラット, マーセル・バーホフ 著, 酒匂寛 訳翔泳社2010.8<M159-J1039>
国立国会図書館全国の図書館
  • 著者標目Fitzgerald, John, 1965- Larsen, Peter Gorm, 1964- Mukherjee, Paul 酒匂, 寛, 1958-

ソフトウェア開発のモデル化技法

ソフトウェア開発のモデル化技法
紙マイクロ図書
J.フィッツジェラルド, P.G.ラーセン 著, 荒木啓二郎 [ほか]訳岩波書店2003.2<YU7-H366>
国立国会図書館全国の図書館
  • 著者標目Fitzgerald, John, 1965- Larsen, Peter Gorm, 1964- 荒木, 啓二郎, 1954-

FME '93 : industrial-strength formal methods : first International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 : proceedings / J.C.P. Woodcock, P.G. Larsen (eds.). (Lecture notes in computer science)

FME '93 : industrial-strength formal methods : first International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 : proceedings / J.C.P. Woodcock, P.G. Larsen (eds.). (Lecture notes in computer science)
紙図書
Springer-Verlagc1993.<M15-A8719>
国立国会図書館
  • 著者標目...Woodcock, Jim. Larsen, Peter Gorm, 1964-

検索結果は以上です。