Definition and Realization of Software Accountability Functions of Law-Enforcing Information Systems
| Project/Area Number |
21500034
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Software
|
|---|
| Research Institution | Japan Advanced Institute of Science and Technology |
|---|
Principal Investigator |
OCHIMIZU Koichiro 北陸先端科学技術大学院大学, 情報科学研究科, 教授 (10022310)
|
|---|
| Project Period (FY) |
2009 – 2011
|
| Project Status |
Completed (Fiscal Year 2011)
|
| Budget Amount *help |
¥4,290,000 (Direct Cost: ¥3,300,000、Indirect Cost: ¥990,000)
Fiscal Year 2011: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2010: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2009: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
|
|---|
| Keywords | 情報システム / 安心性要件 / 説明責任 / ソフトウェア進化 / 法令工学 / アカウンタビリティ木 / 法令エンジニアリングプロセス / ソフトウェアアカウンタビリティ |
|---|
| Research Abstract |
We have formulated and realized the new concept "Software Accountability(SA)"for information systems(Law Enforcing Information System, LEIS) that enforce laws or rules. We formalize the concept of SA mathematically and defined the realization mechanism and evolution-support mechanism based on the research results on Software Engineering and Theory of Law. In this report, we summarize the research results on SA with respect to basic theory, mechanisms, development process of LEIS.
|
Report
(4 results)
Research Products
(11 results)
