年 〜
年

検索結果 3 件

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

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

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

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

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>
国立国会図書館
  • 著者標目（識別子）00909505

検索結果は以上です。