| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| HCS | 2021-03-16 16:30 |
ONLINE | オンライン開催 | 二値と多値を想定する言語表現 ～ 「何なら」の典型用法と新用法の記述的考察 ～ ○坂本暁彦（東京電機大）  HCS2020-85 |
人のことばには，二値と多値を想定する言語表現が存在する．疑問文がその事例として挙げられる．Yes/No疑問文は基本的に，... [more] | HCS2020-85 pp.103-108 |
| KBSE | 2013-09-12 12:45 |
東京 | 電気通信大学 | UML/OCLアサーションのサーバサイドでの実装 ○田中聖一・小林 洋（東海大） KBSE2013-38 |
最近のソフトウェア開発においては，ソフトウェアの振る舞いの安全性の観点から表明(assertion)が重視されている．表... [more] | KBSE2013-38 pp.13-18 |
| VLD | 2012-03-07 11:10 |
大分 | ビーコンプラザ | パターン非依存正規表現マッチングエンジンに対する先読み演算の実現 ○若葉陽一・永山 忍・稲木雅人・若林真一（広島市大） VLD2011-136 |
本稿では，正規表現マッチングハードウェアエンジンにおける先読みのためのマッチング手法を示す．先読みはネットワーク侵入検知... [more] | VLD2011-136 pp.97-102 |
| VLD, IPSJ-SLDM (共催) |
2008-05-08 14:45 |
兵庫 | 神戸大学 | プロトタイプ検証におけるシステムVerilogアサーションの検査回路生成 ○王 夢茹・木村晋二（早大） VLD2008-2 |
[more] | VLD2008-2 pp.7-12 |
| VLD, IPSJ-SLDM (共催) |
2008-05-08 15:10 |
兵庫 | 神戸大学 | 局所変数を含むアサーションに対するモデルチェッキングのためのチェッカ生成 竹内 翔・○浜口清治・垣内洋介・柏原敏伸（阪大） |
機能検証のための手段としてアサーションを用いたモデルチェッキングが注 目されている．SVAでは，アサーション中に局... [more] |
VLD2008-3 pp.13-18 |
| AI, KBSE (共催) |
2007-03-28 10:00 |
東京 | 機械振興会館 | オブジェクトの参照構造を探索する単体テストのための表明機構 ○榊原正天・山崎雄大（芝浦工大）・櫻井孝平（東大）・古宮誠一（芝浦工大） |
オブジェクト指向プログラムのテストのためには，単体テストフレームワークを利用することでテスト実行の自動化が可能となるテス... [more] | AI2006-61 KBSE2006-69 pp.5-8 |
| CPSY, VLD, IPSJ-SLDM (共催) |
2005-01-25 13:30 |
神奈川 | 慶應義塾大学 日吉キャンパス | ［招待講演］IP再利用を容易化する検証IPとアサーション ～ 検証IPとSTARCにおける取り組み ～ ○今井正紀（半導体理工学研究センター） |
複雑化するSoCと製品サイクルの縮小に対応するため設計生産性向上への要求が増大している。IP再利用がその解決には必須であ... [more] | VLD2004-103 CPSY2004-69 pp.35-38 |
[研究会発表申込システムのトップページに戻る]