Automatic Analysis of Requirements Model with Algebraic Specification Techniques
| Project/Area Number |
20500042
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Software
|
|---|
| Research Institution | National Institute of Informatics |
|---|
Principal Investigator |
NAKAJIMA Shin National Institute of Informatics, アーキテクチャ科学研究系, 教授 (60350211)
|
|---|
| Project Period (FY) |
2008 – 2010
|
| Project Status |
Completed (Fiscal Year 2010)
|
| Budget Amount *help |
¥4,550,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥1,050,000)
Fiscal Year 2010: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2009: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
Fiscal Year 2008: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
|
|---|
| Keywords | ソフトウェア工学 / ソフトウェア開発効率化・安定化 / 仕様記述・仕様検証 |
|---|
| Research Abstract |
Since it is said that even misusage of clients is what developers should be responsible for, the task of specifying what features the system provides becomes a major issue. According to Software Engineering, such a problem is to be resolved by checking of rigorous requirements models constructed at early stages of the development. In this research project, we investigated a new method of automated analysis of requirements models written in Event-B. The proposed method makes use of abstraction techniques, and provides a new correctness criteria complementary to existing methods,
|
Report
(4 results)
Research Products
(23 results)
