{"created":"2023-05-15T11:46:24.475763+00:00","id":6940,"links":{},"metadata":{"_buckets":{"deposit":"ffd2e9c8-eda0-4f61-aae5-48b149f1a7fd"},"_deposit":{"created_by":1,"id":"6940","owners":[1],"pid":{"revision_id":0,"type":"depid","value":"6940"},"status":"published"},"_oai":{"id":"oai:kanagawa-u.repo.nii.ac.jp:00006940","sets":["376:377:378:557"]},"author_link":["20834","20833"],"item_3_alternative_title_20":{"attribute_name":"その他の言語のタイトル","attribute_value_mlt":[{"subitem_alternative_title":"Paradox of External Specification : A Consideration on its Problems and the Measures"}]},"item_3_biblio_info_7":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2007-05-25","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"36","bibliographicPageStart":"27","bibliographicVolumeNumber":"18","bibliographic_titles":[{"bibliographic_title":"Science Journal of Kanagawa University"}]}]},"item_3_description_4":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"The external specifications of information systems including software need to be provided in a clear manner to users and others, which would be an essential requirement for the sound advancement of information society. However, to realize it is not easy. In this paper the intrinsic problems of the definition of the external specifications of information systems are examined. I show that, for a usual information system which is not very simple, it is impossible to define its external specification without utilizing the internal structure of the system and that the ultimate definition results in a sort of implementation of the system. I call this characteristic as the paradox of external specification. Next I review how the paradox of external specification affects the actual activities in the following four areas-use of information systems, development of them, interoperation in the network environment, and standardization-and general characteristics are presented. Then the paper discusses the measures, which include the evolution and deployment of specification description techniques such as formal description ones, the improvement of the readability of source programs, and the development of external specifications whose semantics are easy to be understood.","subitem_description_type":"Abstract"}]},"item_3_publisher_33":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"神奈川大学"}]},"item_3_source_id_10":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA12068302","subitem_source_identifier_type":"NCID"}]},"item_3_source_id_8":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"1880-0483","subitem_source_identifier_type":"ISSN"}]},"item_3_version_type_16":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"野口, 健一郎"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Noguchi, Kenichiro"}],"nameIdentifiers":[{}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2018-11-20"}],"displaytype":"detail","filename":"kana-2-3-0005.pdf","filesize":[{"value":"3.3 MB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"kana-2-3-0005.pdf","url":"https://kanagawa-u.repo.nii.ac.jp/record/6940/files/kana-2-3-0005.pdf"},"version_id":"ffc276ac-627a-4d33-ac15-2bd0fbfcb9e2"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"external specification","subitem_subject_scheme":"Other"},{"subitem_subject":"specification description method","subitem_subject_scheme":"Other"},{"subitem_subject":"specification description language","subitem_subject_scheme":"Other"},{"subitem_subject":"formal semantics","subitem_subject_scheme":"Other"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"departmental bulletin paper","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"外部仕様のパラドックス : 問題点と対策の考察","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"外部仕様のパラドックス : 問題点と対策の考察"}]},"item_type_id":"3","owner":"1","path":["557"],"pubdate":{"attribute_name":"公開日","attribute_value":"2009-02-23"},"publish_date":"2009-02-23","publish_status":"0","recid":"6940","relation_version_is_last":true,"title":["外部仕様のパラドックス : 問題点と対策の考察"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2023-05-15T15:45:06.284887+00:00"}