柔らかい制約を用いた自動デバッグ方式

Notes on use

Detailed bibliographic record

Summary, etc.：: 研究成果の概要 (和文) : ソフトウェアの自動デバッグ方式の構築を目的として、プログラムの誤り特定手法に関する研究を行った。そのためのアプローチとして制約の概念を採用した。具体的には、入力、プログラム、事後条件から制約充足問題を構成した上で、違反の原因となった制約を特定し、プログラム中の対応する部...

Search by Bookstore

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

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

HOSEI UNIVERSITY REPOSITORY
Digital
You can check the holdings of institutions and databases with which Institutional Repositories DataBase(IRDB)(Institutional Repository) is linked at the site of Institutional Repositories DataBase(IRDB)(Institutional Repository).
HOSEI UNIVERSITY REPOSITORY

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

Material Type: 文書・図像類
Title: 柔らかい制約を用いた自動デバッグ方式
Author/Editor: 細部, 博史
HOSOBE, Hiroshi
Author Heading: 細部, 博史
https://nrid.nii.ac.jp/nrid/1000060321577/
HOSOBE, Hiroshi
Publication Date: 2017-06-09
Publication Date (W3CDTF): 2017-06-09
Alternative Title: Automatic Debugging by Using Soft Constraints
Periodical title: 科学研究費助成事業研究成果報告書
Pages: 1-4
Text Language Code: jpn
Subject Heading: ソフトウェア
デバッグ
制約
Target Audience: 一般
Note (General): 研究分野：情報学
Format (IMT): application/pdf
Source: 17_kaken_24300010seika.pdf （fulltext）
https://hosei.ecats-library.jp/da/repository/00021456/17_kaken_24300010seika.pdf
Access Restrictions: 限定公開
Data Provider (Database): 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）
https://irdb.nii.ac.jp
Original Data Provider (Database): 法政大学 : 法政大学学術機関リポジトリ