{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:09:20Z","timestamp":1725487760084},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425977"},{"type":"electronic","value":"9783540454083"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45408-x_7","type":"book-chapter","created":{"date-parts":[[2007,7,29]],"date-time":"2007-07-29T12:18:08Z","timestamp":1185711488000},"page":"56-71","source":"Crossref","is-referenced-by-count":0,"title":["Model Based Program Specification and Program Generation - In a Case of Vehicle-Engine Control System Design"],"prefix":"10.1007","author":[{"given":"Setsuo","family":"Ohsuga","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shunsuke","family":"Chigusa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Katsuyuki","family":"Sugaya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,10,2]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"S. Kawasaki and S. Ohsuga; A Method of Generating Program Specification from Description of Human Activities, (to appear in) Proc. ISMIS\u20192000, 2000","DOI":"10.1007\/3-540-39963-1_19"},{"key":"7_CR2","unstructured":"K. Sato; Real-Time OS for Automotive Control Systems, Toyota Technical Review, Vol. 47No.1"},{"key":"7_CR3","unstructured":"S. Ohsuga; Multi-Strata Modeling to Automate Problem Solving Including Human Activity, Proc.Sixth European-Japanese Seminar on Information Modelling and Knowledge Bases,1996"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"S. Ohsuga; Toward Truly Intelligent Information Systems-From Expert Systems To Automatic Programming, Knowledge Based Systems,Vol.10, 1998","DOI":"10.1016\/S0950-7051(98)00032-X"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"S. Ohsuga; A Modeling Scheme for New Information Systems-An Application to Enterprise Modeling and Program Specification, IEEE International Conference on Systems, Man and Cybernetics, 1999","DOI":"10.1109\/ICSMC.1999.812372"},{"key":"7_CR6","unstructured":"S. Ohsuga; New Modeling Scheme To Let Computers Closer to Persons, International Workshop on Strategic Knowledge and Concept Formation, 1999"},{"key":"7_CR7","unstructured":"S. Ohsuga; How Can AI Systems Deal with Large and Complex Problems? (to appear in) International Journal of Pattern Recognition and Artificial Intelligence (IJPRAI), Special Issue on Intelligent Agent, World Scientific Publishing, 2000"},{"key":"7_CR8","unstructured":"F.H. Ross; Artificial Intelligence, What Works and What Doesn\u2019t ? AI Magazine, Volume 18"}],"container-title":["Lecture Notes in Computer Science","Advances in Artificial Intelligence. PRICAI 2000 Workshop Reader"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45408-X_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T15:21:42Z","timestamp":1556724102000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45408-X_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425977","9783540454083"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-45408-x_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}