| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| MSS, CAS (共催) IPSJ-AL (連催) [詳細] |
2018-11-13 15:15 |
静岡 | 熱海伊豆山温泉 ハートピア熱海 | 代数仕様を用いた数理計画モデルの形式的検証について ○中村正樹・榊原一紀（富山県立大）  CAS2018-76 MSS2018-52 |
最適化ソルバーを数理計画モデルに適用するためには，ソルバーが適用可能な形式にモデル化する必要がある．本研究では，与えられ... [more] | CAS2018-76 MSS2018-52 pp.127-130 |
| DC | 2012-12-14 17:00 |
福井 | アオッサ(福井) | SMTソルバによる単線自動閉そく装置の検証 ○寺田夏樹（鉄道総研） DC2012-79 |
形式手法によりプログラム仕様の品質を向上させることが期待されている．仕様の検証に関して，定理証明を使用する手法は，厳密な... [more] | DC2012-79 pp.31-36 |
| SWIM | 2012-11-30 11:00 |
東京 | 東海大学（高輪） | Event-Bによるモデル駆動モバイルアプリケーション開発 ○越賀 準・新川芳行（龍谷大） SWIM2012-16 |
近年，ソフトウェアの複雑化にともない，従来の手法ではソフトウェアの信頼性や開発生産性の向上に限界が見えてきたため，上流工... [more] | SWIM2012-16 pp.7-12 |
| MSS | 2012-03-09 13:00 |
東京 | JAIST東京サテライト | コンシェルジュサーバを持つ電話システムの形式的検証 黒野恵人・前田 彩・○河辺義信（愛知工大） MSS2011-84 |
電話による詐欺から身を守るには，発信者が詐欺師でないことを確認することが重要である． 山本らは，この確認作業を(半)自... [more] |
MSS2011-84 pp.61-66 |
| SWIM | 2011-06-17 16:25 |
東京 | 機械振興会館 | Event-BモデルのHaskellによる実装 ○越賀 準・新川芳行（龍谷大） SWIM2011-7 |
近年，ソフトウェアの複雑化にともない，従来の手法ではソフトウェアの信頼性や開発生産性の向上に限界が見えてきたため，上流工... [more] | SWIM2011-7 pp.31-36 |
| SS | 2010-10-14 14:00 |
岩手 | 岩手県立大学 | 要求フレームを利用した品質要求分析支援 ○海谷治彦（信州大）・大西 淳（立命館大） SS2010-28 |
要求定義において，半形式的な記法である要求フレームに基づく要求言語を採用し， 要求フレームの構成要素に従って定義すべき... [more] |
SS2010-28 pp.1-6 |
| MSS | 2010-08-02 14:25 |
石川 | 金沢学院大 サテライト教室 | OTS/CafeOBJ法に基づく並行システムの実装とテスト生成 ○清野貴博（産総研）・中村正樹（金沢大） CST2010-33 |
形式仕様によるシステムの記述と、プログラミング言語によるソフトウェアの実装には隔たりがあるが、これを克服するために、筆者... [more] | CST2010-33 pp.7-12 |
| KBSE | 2008-11-28 10:00 |
福岡 | 福岡工業大学 | アクタ関係行列によるVDM-SLを用いた仕様記述法の検討 井部己文（NTTデータ/九大）・○生田裕樹（九大）・山本修一郎（NTTデータ） KBSE2008-30 |
形式仕様記述が要求の追加・変更に柔軟に対応するためには要求と仕様記述との対応関係を明確にすることが重要である。本稿では要... [more] | KBSE2008-30 pp.43-48 |
| SWIM | 2008-11-21 14:20 |
東京 | 東京国際フォーラム | SOAにおけるサービス記述の形式化 ○岡田 祥・新川芳行（龍谷大） SWIM2008-22 |
SOAの基盤技術の一つであるWebサービスにおける記述言語WSDLを用いることによって、提供するサービスのインタフェース... [more] | SWIM2008-22 pp.35-40 |
| SS | 2007-12-17 11:15 |
島根 | 島根大学 | OTS/CafeOBJ法における証明譜からのテスト生成 ○中村正樹（北陸先端大）・清野貴博（産総研） SS2007-42 |
OTS/CafeOBJ法では，形式仕様言語CafeOBJで仕様を作成し， 証明譜と呼ばれる検証スクリプトにより仕様の形... [more] |
SS2007-42 pp.25-30 |
| SIP, ICD, IE, IPSJ-SLDM (共催) |
2005-10-21 15:30 |
宮城 | 作並温泉一の坊 | モニタベース形式検証のための入力制約を考慮したモニタ回路生成手法 ○垣内洋介（阪大）・北嶋 暁（阪電通大）・浜口清治・柏原敏伸（阪大） |
本論文では，ハードウェアインターフェース仕様全体をより包括的に検証することを目指し，正規表現ベースの仕様記述言語からモニ... [more] | SIP2005-127 ICD2005-146 IE2005-91 pp.73-78 |
[研究会発表申込システムのトップページに戻る]