2024-03-29T23:33:08Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:001302002023-11-17T02:17:36Z06504:08117:08119
仕様書記述用制限日本語に対する記述支援系の開発Supporting System for Software Specification Description in Controled Japanesejpnhttp://id.nii.ac.jp/1001/00130385/Conference Paperhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=130200&item_no=1&attribute_id=1&file_no=1三重大学工学部情報工学科三重大学工学部情報工学科三重大学工学部情報工学科三重大学工学部情報工学科日本大学工学部情報工学科松野下, 博司園田, 雅紀河合, 教夫椎野, 努武内, 惇ソフトウェア仕様記述を形式化して、計算機による記述内容の検証を可能にすると同時に、人間が分かりやすく、記述しやすい言語を提供することを目的として、自然言語に一定の文法の制限を与えた制限日本語を先に提案した。本稿では、制限日本語を使用して仕様書を記述する際、記述者ができるだけ容易に、間違いなく記述できるように支援し、記述された内容を検証するシステムについて述べる。AN00349328全国大会講演論文集第53回ソフトウェア科学・工学2192201996-09-042015-01-20