A Development Method for Dependable WebService-ware
| Project/Area Number |
20300009
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (B)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Nagoya University |
|---|
Principal Investigator |
AGUSA Kiyoshi 名古屋大学, 情報科学研究科, 教授 (90026360)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
YUEN Shoji 名古屋大学, 大学院・情報科学研究科, 教授 (70230612)
KOBAYASHI Takashi 名古屋大学, 大学院・情報科学研究科, 准教授 (50345386)
HAMAGUCHI Takeshi 名古屋大学, 大学院・情報科学研究科, 助教 (90273284)
|
|---|
| Project Period (FY) |
2008 – 2011
|
| Project Status |
Completed (Fiscal Year 2011)
|
| Budget Amount *help |
¥18,460,000 (Direct Cost: ¥14,200,000、Indirect Cost: ¥4,260,000)
Fiscal Year 2011: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
Fiscal Year 2010: ¥3,250,000 (Direct Cost: ¥2,500,000、Indirect Cost: ¥750,000)
Fiscal Year 2009: ¥4,940,000 (Direct Cost: ¥3,800,000、Indirect Cost: ¥1,140,000)
Fiscal Year 2008: ¥8,580,000 (Direct Cost: ¥6,600,000、Indirect Cost: ¥1,980,000)
|
|---|
| Keywords | Webサービス / コレオグラフィー / プログラム解析 / 通信指向プログラミング / Web応用プログラム / コードマイニング / ソフトウェア再利用 / コードスニペット |
|---|
| Research Abstract |
We have investigated dependable developing method for' WebService-ware' that integrates WebServices over the Internet. We studied behavioral models for WebService-ware via communications with static analysis techniques such as a session type system. We proposed a code mining to reuse program codes for efficient construction of WebService-ware.
|
Report
(6 results)
Research Products
(99 results)
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[Presentation] Software Metrics based on Coding Standards Violations2011
Author(s)
Yasunari Takai, Takashi Kobayashi, Kiyoshi Agusa
Organizer
the Joint Conference of the 21th International Workshop on Software Measurement and the 6th International Conference on Software Process and Product Measurement(IWSM/MENSURA2011)
Place of Presentation
Nara, Japan
Related Report
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[Presentation] Session Type Inference in Haskell2010
Author(s)
Keigo Imai, Shoji Yuen, Kiyoshi Agusa
Organizer
PLACES' 10 : Programming Language Approaches to Concurrency and Communication-cEntric Software
Place of Presentation
Paphos, Cyprus
Year and Date
2010-03-21
Related Report
-
[Presentation] Session Type Inference in Haskell2010
Author(s)
今井敬吾, 結縁祥治, 阿草清滋
Organizer
PLACES '10 : Programming Language Approaches to Concurrency and Communication-cEntric Software
Place of Presentation
Coral Beach Hotel(Paphos, Cyprus)
Year and Date
2010-03-21
Related Report
-
-
-
-
-
-
-
-
-
[Presentation] Sequence Diagram Slicing2009
Author(s)
Kunihiro Noda, Takashi Kobayashi, Shinichiro Yamamoto, Kiyoshi Agusa
Organizer
Asia-Pacific Software Engineering Conference(APSEC) 2009
Place of Presentation
Penang, Malaysia
Year and Date
2009-12-01
Related Report
-
[Presentation] Sequence Diagram Slicing2009
Author(s)
Kunihiro Noda, Takashi Kobayashi, Shinichiro Yamamoto, Kiyoshi Agusa
Organizer
Asia-Pacific Software Engineering Conference(APSEC)2009
Place of Presentation
Bayview Beach Resort(Penang, Malaysia)
Year and Date
2009-12-01
Related Report
-
-
-
-
-
-
-
-
-
-
-
-
-
[Presentation] Image Semantic Search Engine2009
Author(s)
Chao-Qing Lv, Takashi Kobayashi, Kiyoshi Agusa, Wu Kun, Zhu Qing
Organizer
Intl Workshop on Database Technology and Applications(DBTA2009)
Place of Presentation
Wuhan University(Wuhan, China)
Year and Date
2009-04-25
Related Report
-
-
-
-
-
-
-
-
