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

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

講演検索結果
 登録講演(開催プログラムが公開されているもの)  (日付・降順)
 4件中 1~4件目  /   
研究会 発表日時 開催地 タイトル・著者 抄録 資料番号
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 2007-06-21
14:25
石川 北陸先端科学技術大学院大学 [口頭発表] コーディネータによるコンポーネントの協調とその検証
林 信宏片山卓也北陸先端大
 [more]
SS 2005-10-14
11:45
埼玉 十文字学園 6号館 特徴イベント列によるステートチャート間の通信モデル
林 信宏片山卓也北陸先端大
 [more] SS2005-53
pp.31-36
 4件中 1~4件目  /   
ダウンロード書式の初期値を指定してください NEW!!
テキスト形式 pLaTeX形式 CSV形式 BibTeX形式
著作権について : 以上の論文すべての著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


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

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


IEICE / 電子情報通信学会