抽象によるソフトウェア設計−Alloyではじめる形式手法− Daniel Jackson, 中島 震, 今井 健男, 酒井 政裕, 遠藤 侑介, 片岡 欣夫 Alloy ソフトウェア工学 ソフトウェア設計 +2 1 218
SysML/UMLによるシステムエンジニアリング入門[オンデマンド改装版]: モデリング・分析・設計 (iMAtecアーカイブ 1) ティム・ワイルキエンス, 今関 剛, 貝瀬康利 SYSMOD SysML UML +3 1 70
![コンピュータグラフィックス [改訂新版]の表紙](https://m.media-amazon.com/images/I/81lOUmLQ4NL._SY522_.jpg)
![SysML/UMLによるシステムエンジニアリング入門[オンデマンド改装版]: モデリング・分析・設計 (iMAtecアーカイブ 1)の表紙](https://m.media-amazon.com/images/I/01MKUOLsA5L._SY522_.jpg)