数学的な定量的アプローチの講義準備
| 固定リンク
先日、講演で『表明とタイプ置換原理のモジュラー推論を利用したミッションクリティカルシステムのための開発アプローチの提案』をしました。
この講演のベースになっているのは、『科学的モデリング』と『ソフトウエアPlug&Play』および『』科学的モデリングツールHOPE』です。
また、『多品種変量開発』と『科学的プロダクトラインエンジニアリング』に対応する『ソフトウエアPlug&Play』を理解するには、演繹推論とタイプシステムとオブジェクト指向の継承の正しい理解が必要です。
時々、どのように理解したらいいかを聞かれるので、このことを解説する1つとして、『技術コラム』として、科学的モデリングを紹介しています。
| 固定リンク
最近のコメント