WOCS

クリティカルソフトウェアワークショップ(WOCS2: Workshop Of Critical Software System)は、独立行政法人宇宙航空研究開発機構（JAXA）が始め、第7回から独立行政法人情報処理推進機構（IPA）が共催するワークショップである。 JAXAの持っている技術を広く普及させることと、JAXAが利用するシステムの市場等における技術状況を確認することの二つの面がある。 IPAが共催するようになってからは、作業標準、セキュリティなどIPAの強みを活かして、より産業界に近い、現実にすぐに利用できるような面が強くなっている。

第二回

開催日：平成15年3月17日(月) ・3月18日(火)　
場所：NASDA 筑波宇宙センター茨城県つくば市千現2-1-1
大西淳　立命館大学・教授高信頼性ソフトウェアと要求仕様化技術
横森励士, 山本哲男, 松下誠, 楠本真二, 井上克郎利用実績に基づくソフトウェア部品検索システムSPARS-J

第四回　

井上克郎，松本健一，鳥居宏次，“実証的ソフトウェア工学環境とEASEプロジェクトについて，” クリティカルソフトウェアワークショップ2004，March 2004.
肥後芳樹, 神谷年洋, 楠本真二, 井上克郎, "コードクローン解析に基づくリファクタリング支援", 第4回クリティカルソフトウェアワークショップ（WOCS）予稿集, pp.13-14, 2005年1月.

第五回

開催日：2005年1月27日（木）28日（金）
場所：宇宙航空研究開発機構　筑波宇宙センター　総合開発推進棟１階
テーマ：　モデル検証、モデルベース開発、V&V、テスト、プロセス改善
基調講演：Alan Davis （Colorado Univ）
鶴保征城　IPA ソフトウェアエンジニアリングセンター所長「“ものづくり”としての高品質なソフトウェア開発を目指して」
肥後芳樹, 楠本真二, 井上克郎, "コードクローン分析ツール Gemini を用いたコードクローン分析手順", 第5回クリティカルソフトウェアワークショップ（WOCS）予稿集, pp.211-218, 2005年11月.

参考文献

第12回クリティカルソフトウェアワークショップ(12thWOCS²)開催報告, 大久保梨思子. 荒川明夫.,SEC journal, 情報処理推進機構技術本部ソフトウェア・エンジニアリング・センター, 10(6)=43:2015.3,ページ 36-39,ISSN 1349-8622
第11回クリティカルソフトウェアワークショップ(11thWOCS²)開催報告, 大久保梨思子. 氏家亮. 荒川明夫.,SEC journal, 情報処理推進機構技術本部ソフトウェア・エンジニアリング・センター, 10(1)=38:2014.3,ページ 49-51,ISSN 1349-8622
クリティカルソフトウェアに対するIV&V:Independent Verification and Validation, 加藤淳. 星野伸行. 片平真史,ソフトウェア工学 ,情報処理学会研究報告,2007(33) 2007.3.22・23,ページ 81～87, ISSN 0919-6072

外部リンク

https://stage.tksc.jaxa.jp/jedi/event/20160119.html 第13回

脚注