« 講演『表明とタイプ置換原理のモジュラー推論を利用したミッションクリティカルシステムのための開発アプローチの提案』の資料公開の案内 | トップページ | 『科学的モデリング』とSAT in Alloy »

2016年2月10日 (水)

『科学的モデリング』と『ソフトウエアPlug&Play』

先日、講演で『表明とタイプ置換原理のモジュラー推論を利用したミッションクリティカルシステムのための開発アプローチの提案』をしました。

この講演のベースになっているのは、『科学的モデリング』と『ソフトウエアPlug&Play』および『』科学的モデリングツールHOPE』です。

また、『多品種変量開発』と『科学的プロダクトラインエンジニアリング』に対応する『ソフトウエアPlug&Play』を理解するには、演繹推論とタイプシステムとオブジェクト指向の継承の正しい理解が必要です。

時々、どのように理解したらいいかを聞かれるので、このことを解説する1つとして、『技術コラム』として、科学的モデリングを紹介しています。

http://hsc-i.com/TechnologyColumn.html

|

« 講演『表明とタイプ置換原理のモジュラー推論を利用したミッションクリティカルシステムのための開発アプローチの提案』の資料公開の案内 | トップページ | 『科学的モデリング』とSAT in Alloy »

「パソコン・インターネット」カテゴリの記事