横川智教

人物・団体ページへ

本

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

横川智教

☆
☆
☆
☆
☆
レビューを書く 

基本情報

ジャンル
：
物理・科学・医学
ISBN/カタログNo
：
ISBN 13 : 9784910558486
ISBN 10 : 4910558489
フォーマット
：
本
出版社
：
科学情報出版
発行年月
：
2025年07月
発売国
：
日本
共著・訳者・掲載人物など
:
横川智教 ,  
追加情報
:
確実に帯が付いた状態での出荷、また初版など版のご指定はお約束しておりません。

内容詳細

1章　はじめに ※一部抜粋


1 ? 1 本書の目的と対象読者

1 ? 1 ? 1 本書で解決を目指す課題

本書は，組込みシステムの設計と開発において，UML（統一モデリング言語）を活用する方法を体系的に解説し，効率的かつ高品質なシステム設計を実現することを目的としています．組込みシステムは，リアルタイム性，リソース制約，安全性，信頼性などの厳しい要件を満たす必要があり，従来のソフトウェア開発とは異なる特有の課題を抱えています．本書では，そのような課題に対してUML を活用し，以下の3 つの観点から問題の解決を目指します．


? 組込みシステムを効率的に設計するためにどうするか


? 組込みシステム設計においてUML をどう活用するか


? 組込みシステム設計の妥当性・整合性をどう保証するか


1 ? 1 ? 2 対象とする読者層とスキルセット

本書は，組込みシステムの設計・開発に関わるエンジニアを主な読者層として想定しています．特に，次のようなスキルセットを持つ読者にとって有益な内容となるよう構成されています．

? プログラミング：組込みシステムの開発には，C 言語やC++，Java やPython に加えて，ときにはアセンブリ言語などの低レベル言語を用います．本書では，UML を用いた設計を実装に落とし込むプロセスについても触れるため，プログラミング経験を有することを前提とします．

? オブジェクト指向設計：UML はオブジェクト指向設計と密接に関係しています．特に，クラス図やステートマシン図を適切に活用するためには，オブジェクト指向の基本概念（カプセル化，継承，ポリモーフィズム）についての理解が求められます．

? 離散数学：組込みシステムの振る舞いをモデル化する際には，状態機械などの形式的なフレームワークを用いることがあります．そのため，オートマトン理論や記号論理学の基本的な知識があると，より深く理解できる内容となっています．


1 ? 1 ? 3 本書の構成

本章では，UML と組込みシステム，そして形式的検証について概説します．
第2 章では組込みシステムの基本概念とUML の概要について説明し，第3 章で組込みシステムのモデリングでよく利用される4 つの図について詳しく説明します．
第4 章では実践的なモデリングためのアプローチについて説明し，第5 章ではUML による振る舞いモデリングを行う際に重要な概念である状態機械について解説します．
第6 章では形式的検証，特にモデル検査による自動検証技術と，UML を用いたモデリングに形式的検証を導入するための枠組みについて説明します．第7 章ではケーススタディとして，組込みシステムの設計にどのようにUML を活用するかについて例を用いて説明します．

ユーザーレビュー

総合評価

☆
☆
☆
☆
☆

0.0

★
★
★
★
★
 
0
★
★
★
★
☆
 
0
★
★
★
☆
☆
 
0
★
★
☆
☆
☆
 
0
★
☆
☆
☆
☆
 
0
レビューを書く

読書メーターレビュー

こちらは読書メーターで書かれたレビューとなります。

powered by

  • _ Nambu _ さん

    読了日：2025/10/23

    ざっと流し読みしての第1感想。ざっと流し読みしての第1感想。PlantUMLで作った図とTeXとかmarkdownみたいなtext-onlyで出力したPDFデータを印刷に回した感じで、つまり白い見開きに黒文字だけが並ぶページが大半。論文読める人じゃなきゃ、これで独習は厳しいだろう。説明も情報系向けではなく電気機械とかの制御系で必要に迫られてプログラムを組む人に初歩的知識を情報としてインプットするもので多分大学1〜2年生向け教科書として作られた感じ。ソフトウェア屋はターゲットじゃない。※良し悪しではない

レビューをもっと見る

(外部サイト)に移動します

物理・科学・医学 に関連する商品情報

おすすめの商品

CD・DVD・レコード・本・ゲームを売るなら
HMV宅配買取