2015-01-20から1日間の記事一覧
今日は「第12回クリティカルソフトウェアワークショップ (12thWOCS2)」へ。ソフトウェアシステムでの信頼性・安全性の確保に関するもの。3日間のうちの1日のみ参加。 http://www.ipa.go.jp/sec/events/20150120.html ・アシュアランスケース入門 アシュア…
今日は「第12回クリティカルソフトウェアワークショップ (12thWOCS2)」へ。ソフトウェアシステムでの信頼性・安全性の確保に関するもの。3日間のうちの1日のみ参加。 http://www.ipa.go.jp/sec/events/20150120.html ・アシュアランスケース入門 アシュア…