商品詳細 | Knowledge Worker

丸善のおすすめ度

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers '18

Przigoda, Nils, Wille, Robert, Przigoda, Judith, Drechsler, Rolf 　著

在庫状況海外在庫有り	お届け予定日 1ヶ月	数量冊
価格 \32,910（税込）

この商品について問合せる

発行年月	2018年01月
出版社／提供元	Springer International Publishing
出版国	スイス
言語	英語
媒体	冊子
装丁	hardcover
ページ数／巻数	XII, 255 p. 16 illus., 5 illus. in color.
ジャンル	洋書／理工学／電気電子工学／電子デバイス・回路・システム
ISBN	9783319728131
商品コード	1026281790
本の性格	学術書
新刊案内掲載月	2018年02月
商品URL	https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=1026281790

1. Introduction2. A Formal Interpretation of UML/OCL3 A Symbolic Formulation for Models4 Structural Aspects5 Behavioral Aspects6 Timing Aspects7 Reducing Instance Sizes with Ground Setting Properties8 Re-utilizing Verification Results of UML/OCL Models9 ConclusionNomenclatureA Class InheritanceB An SMT Instance with an unknown ResultC Contradictory XOR definitionsIndex

カート

カートに商品は入っていません。

前のページに戻る