抽象によるソフトウェア設計−Alloyではじめる形式手法− Daniel Jackson, 中島 震, 今井 健男, 酒井 政裕, 遠藤 侑介, 片岡 欣夫 ソフトウェア工学 ソフトウェア設計 モデリング +1 1 218
かんたん UML入門 [改訂2版] (プログラミングの教科書) 竹政 昭利, 林田 幸司, 大西 洋平, 三村 次朗, 藤本 陽啓, 伊藤 宏幸 UML システム開発 ソフトウェア設計 +2 1 172
SysML/UMLによるシステムエンジニアリング入門[オンデマンド改装版]: モデリング・分析・設計 (iMAtecアーカイブ 1) ティム・ワイルキエンス, 今関 剛, 貝瀬康利 UML システムエンジニアリング システム設計 +1 1 70