| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2012-11-30 11:00 Event-Bによるモデル駆動モバイルアプリケーション開発 ○越賀 準・新川芳行（龍谷大）  SWIM2012-16 |
|
| 抄録 | （和） | 近年，ソフトウェアの複雑化にともない，従来の手法ではソフトウェアの信頼性や開発生産性の向上に限界が見えてきたため，上流工程で形式手法を用いることが注目されている．また，スマートフォンの急速な普及により，様々なプラットフォームに対応した効率的かつ信頼性の高いモバイルアプリケーション開発手法が求められている．本研究では，モデル指向型の仕様記述を用いた，上記の要件を満たすアプリケーション開発技法について述べる．形式仕様記述言語としてはEvent-Bを用い，モバイルアプリケーション開発におけるプラットフォームの対象には，iOS，Android，WindowsPhoneの３つを対象とした． |
| （英） | The recent increasing complexity of software limits the improvement of its reliability and productivity through the traditional development approaches. Many people focus on applying formal methods in the upper process of the software development cycle, in order to relieve this situation. On the other hand, the rapid spread of smartphones requires more reliable and efficient development ways for mobile applications, supporting various smartphone platforms. This paper presents a mobile application development process that satisfies the above requirements, which uses a model oriented specification language. The Event-B is used as a specification language, while iOS, Android, and Windows Phone are taken into account as the platforms. | |
| キーワード | （和） | 形式手法 / 形式仕様記述言語 / モバイルアプリケーション / / / / / |
| （英） | Formal methods / Formal specification language / Mobile Applications / / / / / | |
| 文献情報 | 信学技報, vol. 112, no. 331, SWIM2012-16, pp. 7-12, 2012年11月. | |
| 資料番号 | SWIM2012-16 | |
| 発行日 | 2012-11-23 (SWIM) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | SWIM2012-16 |
|
| 研究会情報 | |
| 研究会 | SWIM |
| 開催期間 | 2012-11-30 - 2012-11-30 |
| 開催地（和） | 東海大学（高輪） |
| 開催地（英） | Tokai Univ. Takanawa Campus(Tokyo) |
| テーマ（和） | ワークショップ(査読付き), 「インタプライズモデル化技術，一般」 |
| テーマ（英） | Workshop on Interpprise Modeling Technology |
| 講演論文情報の詳細 | |
| 申込み研究会 | SWIM |
| 会議コード | 2012-11-SWIM |
| 本文の言語 | 日本語 |
| タイトル（和） | Event-Bによるモデル駆動モバイルアプリケーション開発 |
| サブタイトル（和） | |
| タイトル（英） | Event-B Based Development for Mobile Applications |
| サブタイトル（英） | |
| キーワード(1)（和/英） | 形式手法 / Formal methods |
| キーワード(2)（和/英） | 形式仕様記述言語 / Formal specification language |
| キーワード(3)（和/英） | モバイルアプリケーション / Mobile Applications |
| キーワード(4)（和/英） | / |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 越賀 準 / Hitoshi Koshika / コシカ ヒトシ |
| 第1著者 所属（和/英） | 龍谷大学 (略称： 龍谷大) Ryukoku University (略称： Ryukoku Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 新川 芳行 / Yoshiyuki Shinkawa / シンカワ ヨシユキ |
| 第2著者 所属（和/英） | 龍谷大学 (略称： 龍谷大) Ryukoku University (略称： Ryukoku Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2012-11-30 11:00:00 |
| 発表時間 | 25分 |
| 申込先研究会 | SWIM |
| 資料番号 | SWIM2012-16 |
| 巻番号（vol） | vol.112 |
| 号番号（no） | no.331 |
| ページ範囲 | pp.7-12 |
| ページ数 | 6 |
| 発行日 | 2012-11-23 (SWIM) |
[研究会発表申込システムのトップページに戻る]