つれづれなる技術屋日記

しがない技術屋。専門は情報工学で、「つれづれ技術屋」って呼んで。

2015-01-20から1日間の記事一覧

第12回クリティカルソフトウェアワークショップ GSNやIV&Vケースなど

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

©2005-2022 ほんだ事務所(honda-jimusyo) All rights reserved.