お知らせ 研究会の開催と会場に参加される皆様へのお願い(2020年10月開催~)
電子情報通信学会 研究会発表申込システム
研究会 開催スケジュール
技報閲覧サービス
[ログイン]
技報アーカイブ
    [Japanese] / [English] 
研究会名/開催地/テーマ  )→
 
講演検索  検索語:  /  範囲:題目 著者 所属 抄録 キーワード )→

すべての研究会開催スケジュール  (すべての年度)

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 4件中 1~4件目  /   
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
KBSE 2021-03-05
14:05
ONLINE オンライン開催 ネットワークシミュレータを組み込んだモデルベーステスト環境
福田昂祐東大)・田辺良則鶴見大)・萩谷昌己東大KBSE2020-36
IoTデバイスの応用が広がっている。環境内の振る舞いをテストするモデルベーステストはIoTデバイスに適したテスト手法のひ... [more] KBSE2020-36
pp.13-18
KBSE 2021-03-06
11:05
ONLINE オンライン開催 試験問題の自動採点が行えるプログラミング言語の検討
田辺良則鶴見大)・萩谷昌己東大KBSE2020-42
多人数が受験する試験でプログラミングの問題を出題する時,
自動採点が行えると便利である.
入力とその正解を多数用意し... [more]
KBSE2020-42
pp.48-53
KBSE 2020-01-25
15:25
東京 機械振興会館 仮想時間とデバイスの状態分布によるIoTソフトウェアのためのモデルベーステストの高速化
田辺弘太郎東大)・田辺良則鶴見大)・萩谷昌己東大KBSE2019-44
Modbatはモデルベーステストを行うツールであり、拡張有限状態オートマトンを用いてモデリングを行う。本研究では、Mod... [more] KBSE2019-44
pp.37-42
KBSE 2019-01-26
10:05
東京 国立情報学研究所 モデルベーステストツールModbatによるIoTソフトウェア検証に向けて
田辺弘太郎東大)・田辺良則鶴見大)・萩谷昌己東大KBSE2018-44
Modbatは,モデルベーステストを行うツールであり,拡張有限状態オートマトンを用いてモデリングを行う.
Modbat... [more]
KBSE2018-44
pp.9-14
 4件中 1~4件目  /   
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式
著作権について : 以上の論文すべての著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会