yr 〜
yr

Search results 3

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

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

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

ソフトウェア開発のモデル化技法
PaperMicroform図書
J.フィッツジェラルド, P.G.ラーセン 著, 荒木啓二郎 [ほか]訳岩波書店2003.2<YU7-H366>
National Diet LibraryOther Libraries in Japan
  • Author HeadingFitzgerald, 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)
Paper図書
Springer-Verlagc1993.<M15-A8719>
National Diet Library
  • Author Heading...Woodcock, Jim. Larsen, Peter Gorm, 1964-

Reached to the end of result.