2024-03-29T18:39:39Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:000904932024-03-29T05:26:34Z01164:01384:07092:07093
規範的チーム開発プロセスTSPiに基づく産学連携PBLの事例報告―OpenFlowコントローラ開発への形式手法導入―Case Report of Collaboration PBL between Industry and Academia Based on TSPi ―Introduction of Formal Methods to OpenFlow Software―jpnプロジェクト管理http://id.nii.ac.jp/1001/00090476/Technical Reporthttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=90493&item_no=1&attribute_id=1&file_no=1Copyright (c) 2013 by the Information Processing Society of Japan現在,九州大学大学院システム情報科学府現在,九州大学大学院システム情報科学府現在,九州大学大学院システム情報科学府現在,九州大学大学院システム情報科学府現在,九州大学工学部現在,九州大学工学部九州大学システム情報科学研究院九州大学システム情報科学研究院九州大学システム情報科学研究院富士通九州ネットワークテクノロジーズ株式会社富士通九州ネットワークテクノロジーズ株式会社富士通九州ネットワークテクノロジーズ株式会社富士通九州ネットワークテクノロジーズ株式会社富士通九州ネットワークテクノロジーズ株式会社金丸将平岡部正臣山本大輔三善浩司青山慎二松村成樹荒木啓二郎日下部茂大森洋一吉武浩岩崎孝司佐藤義治山田浩日下部雄三本稿では形式手法を用いて OpenFlow コントローラ開発の信頼性を高めることをテーマとした産学連携 PBL について述べる。特に、企業側の関心事のひとつである形式手法の開発プロセスへの円滑な導入事例の実施と、大学側の関心事のひとつであるチーム開発プロジェクトの教育を両立させるためのアプローチに焦点を当てて報告する。具体的には、開発プロセスとしてはカーネギーメロン大学より提供されているチーム開発プロセスの学生版である TSPi、形式手法にはモデル指向型言語であり要求分析工程に組み込みやすいと思われる VDM++ と Alloy を用いて PBL を実施した。その結果、開発プロセスに対して形式手法を導入する知見を得られたほか、チーム開発プロセスに関する教育的な知見を得ることができた。AN10112981研究報告ソフトウェア工学(SE)2013-SE-17926182013-03-042013-02-22