{"links":{},"id":39917,"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00039917","sets":["1164:3368:3474:3477"]},"path":["3477"],"owner":"1","recid":"39917","title":["ジャクソンシステム開発法"],"pubdate":{"attribute_name":"公開日","attribute_value":"1988-05-17"},"_buckets":{"deposit":"1fceb593-ab71-464a-97ac-143ead2171c6"},"_deposit":{"id":"39917","pid":{"type":"depid","value":"39917","revision_id":0},"owners":[1],"status":"published","created_by":1},"item_title":"ジャクソンシステム開発法","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"ジャクソンシステム開発法"},{"subitem_title":"Jackson System Development","subitem_title_language":"en"}]},"item_type_id":"4","publish_date":"1988-05-17","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"日本ビジネスオートメーション株式会社"}]},"item_4_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Vice President Japan Business Automation Co., LTD.","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/39917/files/IPSJ-IS88019003.pdf"},"date":[{"dateType":"Available","dateValue":"1990-05-17"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-IS88019003.pdf","filesize":[{"value":"944.1 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"330","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"38"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"92faf206-7464-4154-8af6-a8d1a8790f2f","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 1988 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"大野侚郎"}],"nameIdentifiers":[{}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Toshiro, Ohno","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA11253943","subitem_source_identifier_type":"NCID"}]},"item_4_textarea_12":{"attribute_name":"Notice","attribute_value_mlt":[{"subitem_textarea_value":"SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc."}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_18gh","resourcetype":"technical report"}]},"item_4_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"ジャクソンシステム開発法(JSD)は、逐次プロセス間通信理論にもとづき実世界を(1)モデル化し、(2)機能表現し、(3)実現する方法である。実現的なシステム設計法のなかで、もつとも形式的な手法とみなされる。まず、JSDのアウトラインを述べる。そして、具体的な在庫管理の課題をとりあげ、JSDを適用する。最後に、JSDとプロトタイピング、仕様の検証、オブジェクト指向プログラミングの関係を述べる。","subitem_description_type":"Other"}]},"item_4_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"Jackson System Design(JSD) method has one inherent feature which transforms real worlds into (1)model, (2)function, (3)implementation successively based on CSP(Communicating Sequential Process) theory. It is regarded as the most formal of the practical methodologies. In this tutorial we briefly outline JSD. We then pick up an inventory control system and apply JSD method to it. Finally we refer to prototyping, specification verification, and object-oriented programming with respect to JSD.","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"8","bibliographic_titles":[{"bibliographic_title":"情報処理学会研究報告情報システムと社会環境（IS）"}],"bibliographicPageStart":"1","bibliographicIssueDates":{"bibliographicIssueDate":"1988-05-17","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"30(1988-IS-019)","bibliographicVolumeNumber":"1988"}]},"relation_version_is_last":true,"weko_creator_id":"1"},"created":"2025-01-18T23:07:09.337275+00:00","updated":"2025-01-22T12:40:35.314126+00:00"}