ログイン 新規登録
言語:

WEKO3

  • トップ
  • ランキング
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

  1. 研究報告
  2. ソフトウェア工学(SE)
  3. 2013
  4. 2013-SE-179

規範的チーム開発プロセスTSPiに基づく産学連携PBLの事例報告―OpenFlowコントローラ開発への形式手法導入―

https://ipsj.ixsq.nii.ac.jp/records/90493
https://ipsj.ixsq.nii.ac.jp/records/90493
09de38ab-4b27-4f82-93f3-631ebc833f39
名前 / ファイル ライセンス アクション
IPSJ-SE13179026.pdf IPSJ-SE13179026.pdf (2.0 MB)
Copyright (c) 2013 by the Information Processing Society of Japan
オープンアクセス
Item type SIG Technical Reports(1)
公開日 2013-03-04
タイトル
タイトル 規範的チーム開発プロセスTSPiに基づく産学連携PBLの事例報告―OpenFlowコントローラ開発への形式手法導入―
タイトル
言語 en
タイトル Case Report of Collaboration PBL between Industry and Academia Based on TSPi ―Introduction of Formal Methods to OpenFlow Software―
言語
言語 jpn
キーワード
主題Scheme Other
主題 プロジェクト管理
資源タイプ
資源タイプ識別子 http://purl.org/coar/resource_type/c_18gh
資源タイプ technical report
著者所属
現在,九州大学大学院システム情報科学府
著者所属
現在,九州大学大学院システム情報科学府
著者所属
現在,九州大学大学院システム情報科学府
著者所属
現在,九州大学大学院システム情報科学府
著者所属
現在,九州大学工学部
著者所属
現在,九州大学工学部
著者所属
九州大学システム情報科学研究院
著者所属
九州大学システム情報科学研究院
著者所属
九州大学システム情報科学研究院
著者所属
富士通九州ネットワークテクノロジーズ株式会社
著者所属
富士通九州ネットワークテクノロジーズ株式会社
著者所属
富士通九州ネットワークテクノロジーズ株式会社
著者所属
富士通九州ネットワークテクノロジーズ株式会社
著者所属
富士通九州ネットワークテクノロジーズ株式会社
著者名 金丸将平 岡部正臣 山本大輔 三善浩司 青山慎二 松村成樹 荒木啓二郎 日下部茂 大森洋一 吉武浩 岩崎孝司 佐藤義治 山田浩 日下部雄三

× 金丸将平 岡部正臣 山本大輔 三善浩司 青山慎二 松村成樹 荒木啓二郎 日下部茂 大森洋一 吉武浩 岩崎孝司 佐藤義治 山田浩 日下部雄三

金丸将平
岡部正臣
山本大輔
三善浩司
青山慎二
松村成樹
荒木啓二郎
日下部茂
大森洋一
吉武浩
岩崎孝司
佐藤義治
山田浩
日下部雄三

Search repository
論文抄録
内容記述タイプ Other
内容記述 本稿では形式手法を用いて OpenFlow コントローラ開発の信頼性を高めることをテーマとした産学連携 PBL について述べる。特に、企業側の関心事のひとつである形式手法の開発プロセスへの円滑な導入事例の実施と、大学側の関心事のひとつであるチーム開発プロジェクトの教育を両立させるためのアプローチに焦点を当てて報告する。具体的には、開発プロセスとしてはカーネギーメロン大学より提供されているチーム開発プロセスの学生版である TSPi、形式手法にはモデル指向型言語であり要求分析工程に組み込みやすいと思われる VDM++ と Alloy を用いて PBL を実施した。その結果、開発プロセスに対して形式手法を導入する知見を得られたほか、チーム開発プロセスに関する教育的な知見を得ることができた。
書誌レコードID
収録物識別子タイプ NCID
収録物識別子 AN10112981
書誌情報 研究報告ソフトウェア工学(SE)

巻 2013-SE-179, 号 26, p. 1-8, 発行日 2013-03-04
Notice
SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
出版者
言語 ja
出版者 情報処理学会
戻る
0
views
See details
Views

Versions

Ver.1 2025-01-21 15:58:56.085635
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3