通信キャリア向けサービス制御ノードの開発における形式仕様策定

• Item type: SIG Technical Reports(1)
• 公開日: 2014-11-06
• タイトル: 通信キャリア向けサービス制御ノードの開発における形式仕様策定
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: モデル
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 九州大学大学院システム情報科学府
• 著者所属: 九州大学大学院システム情報科学研究院
• 著者所属: 九州大学大学院システム情報科学研究院
• 著者所属: 九州大学大学院システム情報科学研究院
• 著者所属: 九州大学大学院システム情報科学研究院
• 著者所属: 富士通九州ネットワークテクノロジーズ株式会社
• 著者所属: 富士通九州ネットワークテクノロジーズ株式会社
• 著者所属: 富士通九州ネットワークテクノロジーズ株式会社
• 著者所属: 富士通九州ネットワークテクノロジーズ株式会社
• 著者所属: 富士通九州ネットワークテクノロジーズ株式会社
• 著者所属(英): en
• 著者所属(英): Graduate Schoold of Information Science and Electrical Engineering, Kyushu University
• 著者所属(英): en
• 著者所属(英): Faculty of Information Science and Electrical Engineering, Kyushu University
• 著者所属(英): en
• 著者所属(英): Faculty of Information Science and Electrical Engineering, Kyushu University
• 著者所属(英): en
• 著者所属(英): Faculty of Information Science and Electrical Engineering, Kyushu University
• 著者所属(英): en
• 著者所属(英): Faculty of Information Science and Electrical Engineering, Kyushu University
• 著者所属(英): en
• 著者所属(英): FUJITSU Kyushu Network Technologies Limited
• 著者所属(英): en
• 著者所属(英): FUJITSU Kyushu Network Technologies Limited
• 著者所属(英): en
• 著者所属(英): FUJITSU Kyushu Network Technologies Limited
• 著者所属(英): en
• 著者所属(英): FUJITSU Kyushu Network Technologies Limited
• 著者所属(英): en
• 著者所属(英): FUJITSU Kyushu Network Technologies Limited
• 著者名: 馬庚元; 林信宏; 大森洋一; 日下部茂; 荒木啓二郎; 吉武浩; 古賀昭男; 原田英治; 杜翔; 井上康生
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本稿では、情報処理推進機構 (IPA) がリリースした形式手法適用手順 (VDM++ 編) に基づいて通信キャリア向けサービス制御ノードの開発における要求から形式仕様 (VDM++ モデル) の策定まで行うべき手順や中間生産物を検討し，形式仕様策定法を提案する．この策定法を適用する対象として，簡単化した SBC(Session Border Controller) の要求を使って形式仕様策定の試行を行い，結果を報告する．
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112981
• 書誌情報: 研究報告ソフトウェア工学（SE）; 巻 2014-SE-186, 号 14, p. 1-8, 発行日 2014-11-06
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会