お知らせ 2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ 技術研究報告と和文論文誌Cの同時投稿施策(掲載料1割引き)について
お知らせ 電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について
電子情報通信学会 研究会発表申込システム
研究会 開催スケジュール
技報閲覧サービス
[ログイン]
技報アーカイブ
    [Japanese] / [English] 
研究会名/開催地/テーマ  )→
 
講演検索  検索語:  /  範囲:題目 著者 所属 抄録 キーワード )→

すべての研究会開催スケジュール  (検索条件: すべての年度)

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 7件中 1~7件目  /   
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
KBSE, SS
(共催)
IPSJ-SE
(連催) [詳細]
2015-07-24
11:40
北海道 札幌市教育文化会館 SPINを用いたVDM仕様に対するモデル検査適用手法
林 信宏大森洋一日下部 茂荒木啓二郎九大SS2015-34 KBSE2015-27
VDM (Vienna Development Method)は、形式手法の一つで,ソフトウェア開発の要求に対して様々な... [more] SS2015-34 KBSE2015-27
pp.173-178
SS 2014-05-08
16:05
三重 いせ市民活動センター VDM仕様のモデル検査法の提案
林 信宏大森洋一日下部 茂荒木啓二郎九大SS2014-4
形式仕様記述言語VDM (Vienna Development Method)は、ソフトウェア開発の要求に対して様々な抽... [more] SS2014-4
pp.19-24
SS 2011-06-30
11:30
海外 高麗大(韓国) An Introduction of a Formal Method in PBL: A Case Report
Shinya YamadaTomohiro IwamotoTsunayuki ShinozawaMitsuhide HondaRyo MiyashitaKyushu Univ.)・Takashi IwasakiYasuo InoueFUJITSU QNET)・Keijiro ArakiShigeru KusakabeYoichi OmoriKyushu Univ.SS2011-3
 [more] SS2011-3
pp.11-16
MSS 2008-01-29
10:55
徳島 徳島大学 多重同時最適制御に解放する方式の実装
ひめねす・せらのえりざー荒木啓二郎九大CST2007-49
 [more] CST2007-49
pp.17-22
SS 2007-10-22
16:15
宮城 宮城大学 ロボット制御ソフトウェアの形式的モデル検証
大森洋一井ノ口裕也荒木啓二郎九大SS2007-33
産業用ロボットの分野に対して形式仕様記述を適用し,ロボットおよびその動作環境の数学的なモデルを記述する.
得られた数学... [more]
SS2007-33
pp.19-24
SS 2006-12-14
17:05
福岡 九州大学(伊都キャンパス) 背表紙画像を用いたネットワーク透過な仮想書架
宮川拓也山口恭平・○大森洋一池田大輔荒木啓二郎九大
 [more] SS2006-64
pp.49-54
SS 2005-12-20
14:00
高知 高知女子大 形式仕様記述における階層アーキテクチャ
張 暁晶大森洋一荒木啓二郎九大
ソフトウェア・プロダクトラインという手法を用いると,ファミリー製品の共通部を抽出するため,ある製品の仕様が少ない変更で同... [more] SS2005-70
pp.43-48
 7件中 1~7件目  /   
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式
著作権について : 以上の論文すべての著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


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

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


IEICE / 電子情報通信学会