ようこそ ゲスト様
取り寄せ不可
大規模システムのソフトウェアは、顧客の要求が多様で複雑なため、何度も大幅な手直しに迫られる。VDM-SLは、抽象性と厳密性を併せ持つ仕様記述言語で、モデル化に最適。実践例をもとにその記述を解説する。
よく利用するジャンルを設定できます。
≫ 設定
「+」ボタンからジャンル(検索条件)を絞って検索してください。 表示の並び替えができます。