« 太陽の観測を見てきました | トップページ | 『科学的モデリング』と『ソフトウエアPlug&Play』 »

2016年1月22日 (金)

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

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

1

2_2

国立研究開発法人宇宙航空研究開発機構(JAXA)と独立行政法人情報処理推進機構(IPA)による共催で、2016年1月19日から21日にコングレスクエア日本橋で実施された

『第13回クリティカルソフトウェアワークショップ (13thWOCS2)』

で一般講演をしてきました。

抄録および講演資料は下記のURLからダウンロード可能です。

http://www.ipa.go.jp/sec/events/20160119.html

|

« 太陽の観測を見てきました | トップページ | 『科学的モデリング』と『ソフトウエアPlug&Play』 »

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