法令実働化情報システムのアカウンタビリティ機能と進化モデルの定義と実現

• 資料種別: 文書・図像類
• タイトル: 法令実働化情報システムのアカウンタビリティ機能と進化モデルの定義と実現
• 著者・編者: 落水, 浩一郎
• 著者標目: 落水, 浩一郎
• 出版年月日等: 2012-06-04
• 出版年（W3CDTF）: 2012-06-04
• 並列タイトル等: Definition and Realization of Software Accountability Functions of Law-Enforcing Information Systems
• タイトル（掲載誌）: 科学研究費補助金研究成果報告書
• 掲載ページ: 1-6
• 本文の言語コード: jpn
• 件名標目: 情報システム; 安心性要件; 説明責任; ソフトウェア進化; 法令工学
• 対象利用者: 一般
• 一般注記: 社会規則（法律や条例など）の適用を支援することを目的とした法令実動化情報システム（LEIS）を対象として、ソフトウェアアカウンタビリティ機能をLEIS に保持させ、また、社会規則の改定に応じてアカウンタビリティ機能を進化させ得るための基礎理論、機構、開発プロセスを、ソフトウェア工学の最新の研究成果と法理論を適用することにより開発した。ここで、ソフトウェアアカウンタビリティ機能とは、システムによってなされた計算や判断に対して利用者が疑問を持ったとき、システム自体がどの規則をどのように適用して得られた結果であるのかを説明できる機能である。 : 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.; 研究種目：基盤研究（Ｃ）; 研究期間：2009～2011; 課題番号：21500034; 研究者番号：10022310; 研究分野：ソフトウェア工学; 科研費の分科・細目：情報学・ソフトウェア; identifier:https://dspace.jaist.ac.jp/dspace/handle/10119/10585
• 記録形式（IMT）: application/pdf
• 一次資料へのリンクURL: https://dspace.jaist.ac.jp/dspace/bitstream/10119/10585/1/21500034seika.pdf
• オンライン閲覧公開範囲: 限定公開
• 連携機関・データベース: 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）; https://irdb.nii.ac.jp
• 提供元機関・データベース: 北陸先端科学技術大学院大学 : JAIST学術研究成果リポジトリ