第8回『科学的モデリング』技術コラム公開~クラスと型の違い&型の「論理状態空間」
------------------------------------------------------
第8回『科学的モデリング』技術コラム公開
-------------------------------------------------------
第8回『科学的モデリング』技術コラムを公開いたします。http://hsc-i.com/TechnologyColumn.html
■一流モデラーになるための必修知識
・継承関係の数学的設計アプローチ
・タイプ(型)の「論理状態空間」と継承
・タイプ(型)の「論理状態空間」の「同型」「拡張」「特殊化」
・『科学的インスペクション』&『科学的テスト』
分かり易い図と具体的なクラス図およびコードイメージをふんだんに使って”やさ~しく”解説しました。
サクサク読み進めることができるように解説しました。
*第0回~第7回までの技術コラムも公開中です。
| 固定リンク
「パソコン・インターネット」カテゴリの記事
- 6つのテーマを同時並行作業(2019.07.05)
- すっかりご無沙汰してしましました(2018.05.27)
- CCCC(C AND C++CODE COUNTER)GUIランチャーの公開(2017.04.13)
- 作成したYicesのGUIからオプションを変えSMTを行う(2017.01.19)
- 『Yices』によるSMTソルバ(2017.01.18)
最近のコメント