| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| NS, IN (併催) |
2016-03-04 14:45 |
宮崎 | フェニックス・シーガイア・リゾート（宮崎） (宮崎県) | 単一カラーペトリネットモデルによるGoogle App Engineデータ整合性および性能の同時評価 西田紗知・○新川芳行（龍谷大）  IN2015-151 |
Google App Engine (GAE)などに代表されるPaaS型クラウドサービスは，アプリケーションの柔軟性とシ... [more] | IN2015-151 pp.253-258 |
| SWIM | 2015-12-05 14:50 |
東京 | 東京工芸大学 中野キャンパス (東京都) | UPPAALによるGAEの性能評価 ○西田紗知・新川芳行（龍谷大） SWIM2015-15 |
近年，Google App Engine (GAE) などの PAAS 型クラウドが，企業情報システム実行基盤の選択肢と... [more] | SWIM2015-15 pp.19-24 |
| SC | 2015-03-27 15:05 |
福島 | 会津大学UBIC (福島県) | VDM++によるBASEトランザクションのデータ整合性評価 ○西田紗知・新川芳行（龍谷大） SC2014-18 |
クラウドコンピューティング環境，特にパブリッククラウドでのトランザクション処理におけるデータ整合性維持は，並行処理におけ... [more] | SC2014-18 pp.25-30 |
| SWIM | 2014-08-21 14:35 |
京都 | 龍谷大学 (京都府) | 時間オートマトンによるUMLタイミング図の検証 ○梶村賢吾・新川芳行（龍谷大） SWIM2014-11 |
従来、UMLは業務系システムのモデリングに適したモデル記述言語として、情報システムの分析・設計・製作・評価の各工程で幅広... [more] | SWIM2014-11 pp.17-21 |
| SWIM | 2014-08-21 15:00 |
京都 | 龍谷大学 (京都府) | VDM++とCPNによるUMLクラス図-アクティビティ図間の整合性検証 ○小原正義・新川芳行（龍谷大） SWIM2014-12 |
統一モデリング言語であるUML(Unified Modeling Language)は大規模ソフトウェア開発の標準手法と... [more] | SWIM2014-12 pp.23-28 |
| SWIM | 2014-08-21 15:40 |
京都 | 龍谷大学 (京都府) | BASEトランザクション評価ワークベンチ ○西田紗知・新川芳行（龍谷大） SWIM2014-13 |
クラウドコンピューティングで，トランザクション処理を行うことは困難だと考えられてきた．その主な理由は，クラウド環境で採用... [more] | SWIM2014-13 pp.29-34 |
| SWIM | 2014-08-21 16:05 |
京都 | 龍谷大学 (京都府) | 待ち行列と実測データに基づくGAE性能予測モデル ○西田紗知・新川芳行（龍谷大） SWIM2014-14 |
Google App Engine (GAE) は低コスト・高品質なデータベーストランザクション処理システムを効率的に開... [more] | SWIM2014-14 pp.35-39 |
| SWIM | 2013-08-21 14:00 |
宮城 | 宮城大学 仙台駅前AER (アエル) サテライトキャンパス (宮城県) | クラウド環境におけるトランザクション処理の性能評価 ○國枝秀行・新川芳行（龍谷大） SWIM2013-6 |
近年，普及が進んでいるクラウドコンピューティングは高度な分散化，多重化，仮想化により，性能予測が従来のネットワークシステ... [more] | SWIM2013-6 pp.1-7 |
| SWIM | 2013-08-21 14:30 |
宮城 | 宮城大学 仙台駅前AER (アエル) サテライトキャンパス (宮城県) | CPNによるUMLクラス図とステートマシン図間の整合性検証 ○小原正義・新川芳行（龍谷大） SWIM2013-7 |
統一モデリング言語であるUML(Unified Modeling Language)は大規模ソフトウェア開発の標準手法と... [more] | SWIM2013-7 pp.9-13 |
| SWIM | 2013-08-21 15:00 |
宮城 | 宮城大学 仙台駅前AER (アエル) サテライトキャンパス (宮城県) | BASEトランザクションにおけるデータ整合性 ○西田紗知・新川芳行（龍谷大） SWIM2013-8 |
クラウドコンピューティング環境におけるトランザクション処理では，可用性と拡張性を重視されるため，従来よりデータ整合性の基... [more] | SWIM2013-8 pp.15-20 |
| SWIM | 2012-11-30 10:35 |
東京 | 東海大学（高輪） (東京都) | CPNによるクラウドトランザクションの等価性評価 ○田中一樹・新川芳行（龍谷大） SWIM2012-15 |
クラウドコンピューティング環境でのトランザクション処理では，基盤となるシステムが従来と大きく異なるため，データ整合性に関... [more] | SWIM2012-15 pp.1-6 |
| SWIM | 2012-11-30 11:00 |
東京 | 東海大学（高輪） (東京都) | Event-Bによるモデル駆動モバイルアプリケーション開発 ○越賀 準・新川芳行（龍谷大） SWIM2012-16 |
近年，ソフトウェアの複雑化にともない，従来の手法ではソフトウェアの信頼性や開発生産性の向上に限界が見えてきたため，上流工... [more] | SWIM2012-16 pp.7-12 |
| SWIM | 2012-05-26 13:05 |
東京 | 機械振興会館 (東京都) | インタプライズ改革の基底 ～ ひとつのビュー ～ ○松本正雄（ソリューション総研）・片岡信弘（東海大）・新川芳行（龍谷大） SWIM2012-1 |
直近の20年間はインタプライズにとって険しかった。浮上への転換点を得る業の基底を探索する． [more] | SWIM2012-1 pp.1-8 |
| SWIM | 2011-11-18 16:25 |
東京 | 東海大学 高輪キャンパス (東京都) | UMLステートマシン-アクティビティ図間の整合性分析 ○野村将人・新川芳行（龍谷大） SWIM2011-29 |
UMLアクティビティ図は複数のオブジェクト間の相互作用を含むプロセスの進行を体系的に記述する。一方、UMLステートマシン... [more] | SWIM2011-29 pp.65-70 |
| SWIM | 2011-06-17 16:25 |
東京 | 機械振興会館 (東京都) | Event-BモデルのHaskellによる実装 ○越賀 準・新川芳行（龍谷大） SWIM2011-7 |
近年，ソフトウェアの複雑化にともない，従来の手法ではソフトウェアの信頼性や開発生産性の向上に限界が見えてきたため，上流工... [more] | SWIM2011-7 pp.31-36 |
| SWIM | 2011-06-17 16:50 |
東京 | 機械振興会館 (東京都) | CPNによるGoogle App Engineのモデル化と検証 ○國枝秀行・新川芳行（龍谷大） SWIM2011-8 |
クラウドコンピューティングは分散システムの規模を拡大させ、従来のリレーショナルデータベース(RDB)では扱えないほどの大... [more] | SWIM2011-8 pp.37-42 |
| SWIM | 2011-06-17 17:15 |
東京 | 機械振興会館 (東京都) | CPNによるデータベース整合性検証 ○田中一樹・新川芳行（龍谷大） SWIM2011-9 |
クラウドコンピューティング環境でのトランザクション処理には，これまでのACIDトランザクションにはない様々な制約が存在し... [more] | SWIM2011-9 pp.43-48 |
| SWIM | 2011-02-25 15:05 |
東京 | 機械振興会館 (東京都) | CPNによるUMLモデル間整合性検証 ○野村将人・安田佳宏・新川芳行（龍谷大） SWIM2010-31 |
UMLによりシステムの動的側面をモデル化する場合、一般にステートマシン図、シーケンス図、アクティビティ図などを組み合わせ... [more] | SWIM2010-31 pp.33-38 |
| SWIM | 2011-02-25 15:30 |
東京 | 機械振興会館 (東京都) | CPNによるトランザクションモデルの表現と検証 田中一樹・○山内一馬・新川芳行（龍谷大） SWIM2010-32 |
従来のACIDトランザクションをクラウドに移行する際，データベース構造や整合性に関する制約の違いから起こるさまざまな問題... [more] | SWIM2010-32 pp.39-44 |
| SWIM | 2010-11-19 15:25 |
東京 | 東海大学（高輪） (東京都) | 時間制約を含むUMLシーケンス図の検証手法 ○安田佳宏・新川芳行（龍谷大） SWIM2010-23 |
ソフトウェアの仕様検証は，構造や機能に焦点を当てた静的検証，振る舞いに焦点を当てた動的検証，そして時間制約の検証が独立に... [more] | SWIM2010-23 pp.39-44 |
[研究会発表申込システムのトップページに戻る]