| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| CQ (第二種研究会) |
2017-01-21 12:30 |
大阪 | 大阪大学中之島センター | ［ポスター講演］障害発生スイッチとその障害箇所を推定する計測パスの統合・分割技術 ○堤 陽祐・渡部康平（長岡技科大）・井上 武・水谷后宏・間野 暢・明石 修（NTT）・中川健治（長岡技科大） |
我々はこれまで，ネットワークを通過するパケットのパスを統合・分割することによりMeasurement Unit（MU）を... [more] | |
| SS, KBSE (共催) |
2013-07-26 13:40 |
北海道 | 北海道立道民活動センター [かでる2.7] 710会議室（7階） | UML要求分析モデルへのモデル検査技術適用による実現可能性の検証 ○青木善貴（日本ユニシス）・小形真平（信州大）・松浦佐江子（芝浦工大）  SS2013-29 KBSE2013-29 |
高品質なソフトウェアを開発するためには，顧客による妥当性が確認された要求仕様を少ない手戻りで実装できるように，要求仕様の... [more] | SS2013-29 KBSE2013-29 pp.97-102 |
| SWIM | 2011-11-18 10:30 |
東京 | 東海大学 高輪キャンパス | 上流設計からモデル検査プロセスまでの一貫設計検証環境 ～ UML記述からSPINモデル検査器用プロセス定義及び線形時相論理式への自動変換手法 ～ ○宮本直樹・和崎克己（信州大） SWIM2011-19 |
SPIN モデル検査器を実行するには，専用の仕様記述言語 PROMELA で対象モデルを記述する．また，検査対象の仕様の... [more] | SWIM2011-19 pp.7-12 |
| KBSE | 2011-09-21 15:30 |
海外 | オーシャングランドホテル済州 | 要求オントロジーを用いた要求仕様の検証手法 近藤剛生・○大西 淳（立命館大） KBSE2011-29 |
あるドメインに属するシステムの(1)機能要求と(2)機能要求の属性（4W1H情報，非機能要求），(3)機能要求間の関係（... [more] | KBSE2011-29 pp.31-36 |
| VLD, CPSY, RECONF, IPSJ-SLDM (共催) |
2009-01-30 09:05 |
神奈川 | 慶応義塾大学(日吉) | 仕様から自動生成されたプロパティによるプロトコル変換機の形式的検証手法 ○高 飛・西原 佑・松本剛史・藤田昌宏（東大） VLD2008-110 CPSY2008-72 RECONF2008-74 |
近年、設計期間を短縮するために設計資産の再利用がよく行われている。その際、異なるインタフェースを持つ設計同士を接続する場... [more] | VLD2008-110 CPSY2008-72 RECONF2008-74 pp.111-116 |
| SWIM | 2008-11-21 14:20 |
東京 | 東京国際フォーラム | SOAにおけるサービス記述の形式化 ○岡田 祥・新川芳行（龍谷大） SWIM2008-22 |
SOAの基盤技術の一つであるWebサービスにおける記述言語WSDLを用いることによって、提供するサービスのインタフェース... [more] | SWIM2008-22 pp.35-40 |
| SS | 2006-06-22 13:30 |
岡山 | 岡山大学創立五十周年記念館 | OTS/CafeOBJからOTS/Maudeへの仕様変換の研究 ○中村正樹・孔 維強・緒方和博・二木厚吉（北陸先端大） |
代数仕様言語を用いて状態遷移機械を記述する手法に，振舞仕様に基づく観測遷移機械（OTS）による手法と書き換え論理に基づく... [more] | SS2006-13 pp.1-6 |
| SS | 2006-04-20 15:40 |
新潟 | 新潟大学五十嵐キャンパス | リアルタイムステートチャートによる形式的手法 徳田 学・○山根 智（金沢大） |
近年，時間的な制約が厳しいリアルタイムシステムは多くの分野に用いられ， 大規模化が進んでおり，仕様記述手法と形式的検証... [more] |
SS2006-5 pp.25-30 |
| KBSE | 2005-07-25 15:30 |
愛媛 | 愛媛大学総合情報メディアセンター会議室 | SPINによる仕様記述言語の検証 ○堂園隼人・橋本正明・鵜林尚靖・片峯恵一（九工大） |
本稿では，ソフトウェア仕様設定の信頼性向上のため，仕様記述言語e-PSDLを用いて記述された仕様から状態遷移図を抽出し，... [more] | KBSE2005-8 pp.19-24 |
| MSS | 2005-01-27 10:50 |
東京 | 電気通信大学 | SDLプロセスごとのペトリネット変換による仕様検証 ○長谷川晴朗（OKI）・茂呂征一郎（福井大）・松本 忠（福井工大） |
交換システムのように複数の端末が接続される情報通信システムをITU-T勧告の仕様記述言語SDLで記述する時には，端末の仕... [more] | CST2004-41 pp.13-18 |
| SS | 2004-11-25 13:00 |
山梨 | 山梨大学 甲府(武田)キャンパス | オートマトンモデルに基づいたディジタルロジックの仕様化と検証 ○山中一宏・和泉 諭・加藤 靖・高橋 薫（仙台電波高専） |
形式手法の応用として，仕様記述言語E-LOTOS，SDLに基づいたディジタルロジックの仕様化に関する研究がこれまでに行わ... [more] | SS2004-26 pp.1-6 |
| MSS, CAS (共催) |
2004-11-04 09:55 |
愛知 | 愛知県立大学 | 確率線形ハイブリッドオートマトンの記号的到達可能性解析手法 ○陸田陽介・山根 智（金沢大） |
組込みシステムをはじめ，アナログ・デジタル混成のハイブリッドシステムとしてモデル化できるものは多い． 加えて，それらは... [more] |
CAS2004-43 CST2004-22 pp.7-12 |
[研究会発表申込システムのトップページに戻る]