実践！
組込みエンジニアのためのUML
システム設計に活かせるUMLモデリング

【目次】

【参考文献】

• 菊池誠, 佐野勝彦, 倉橋太志, 数学における証明と真理: 様相論理と数学基礎論, 共立出版, 2016.
• 鹿島亮, コンピュータサイエンスにおける様相論理, 森北出版, 2022.
• 平石邦彦, 形式的モデル化: 離散事象/実時間/ハイブリッドシステムのモデル化と解析, 森北出版, 2019.
• 結城浩, Java 言語で学ぶデザインパターン入門第3 版, SB クリエイティブ, 2021.
• Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides (著), 本 位田真一, 吉田和樹(訳), オブジェクト指向における再利用のためのデザインパターン改訂版, SB クリエイティブ, 1999.
• Dan Pilone, Neil Pitman(著), 原隆文(訳), UML2.0 クイックリファレンス, オライリージャパン, 2006.
• SESSAME WG2, 組込みソフトウェア開発のための構造化モデリング, 翔泳社, 2006.
• 尾崎惇史, 図解即戦力UML のしくみと実装がこれ1 冊でしっかりわかる教科書, 技術評論社, 2022.
• 竹政昭利, 林田幸司, 大西洋平, かんたんUML 入門[改訂2 版], 技術評論社, 2017.
• Object Management Group(著), 西原裕善(訳), UML2.0 仕様書: 2.1対応, オーム社, 2006.
• 久保孝行, 組込みエンジニアのための状態遷移設計手法, TechShare, 2012.
• Roger S. Pressman, Bruce R. Maxim (著), SEPA 翻訳プロジェクト(訳), 実践ソフトウェアエンジニアリング(第9 版), オーム社, 2021.
• Martin Fowler, Kendall Scott(著), 羽生田栄一(訳), UML モデリングのエッセンス第2 版: 標準オブジェクトモデリング言語入門, 翔泳社, 2000.
• 出口雄一, 現場がわかる組込みソフトウェア開発, オーム社, 2014.
• Edmund M. Clarke Jr. and Orna Grumberg and Daniel Kroening, Model Checking, second edition, The MIT Press, 2018.

【口コミ】