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

Material type: 文書・図像類

Author: 落水, 浩一郎

Publisher: -

Publication date: 2012-06-04

Material Format: Digital

Capacity, size, etc.: -

NDC: -

View All

Notes on use

Note (General)：: 社会規則（法律や条例など）の適用を支援することを目的とした法令実動化情報システム（LEIS）を対象として、ソフトウェアアカウンタビリティ機能をLEIS に保持させ、また、社会規則の改定に応じてアカウンタビリティ機能を進化させ得るための基礎理論、機構、開発プロセスを、ソフトウェア工学の最新の研究成果と...

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

List of Cooperating Institutions and Databases

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

JAIST Repository
Digital
You can check the holdings of institutions and databases with which 学術機関リポジトリデータベース（IRDB）（機関リポジトリ） is linked at the site of 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）.
JAIST Repository

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Digital

Material Type: 文書・図像類
Title: 法令実働化情報システムのアカウンタビリティ機能と進化モデルの定義と実現
Author/Editor: 落水, 浩一郎
Author Heading: 落水, 浩一郎
Publication Date: 2012-06-04
Publication Date (W3CDTF): 2012-06-04
Alternative Title: Definition and Realization of Software Accountability Functions of Law-Enforcing Information Systems
Periodical title: 科学研究費補助金研究成果報告書
Pages: 1-6
Text Language Code: jpn
Subject Heading: 情報システム
安心性要件
説明責任
ソフトウェア進化
法令工学
Target Audience: 一般
Note (General): 社会規則（法律や条例など）の適用を支援することを目的とした法令実動化情報システム（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
Format (IMT): application/pdf
Source: https://dspace.jaist.ac.jp/dspace/bitstream/10119/10585/1/21500034seika.pdf
https://dspace.jaist.ac.jp/dspace/bitstream/10119/10585/1/21500034seika.pdf
Access Restrictions: 限定公開
Data Provider (Database): 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）
https://irdb.nii.ac.jp
Original Data Provider (Database): 北陸先端科学技術大学院大学 : JAIST学術研究成果リポジトリ