{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:16Z","timestamp":1725663976822},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540547426"},{"type":"electronic","value":"9783540464464"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3540547428_49","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:12:07Z","timestamp":1330193527000},"page":"189-209","source":"Crossref","is-referenced-by-count":3,"title":["An application of artificial intelligence to prototyping process in performance design for real-time systems"],"prefix":"10.1007","author":[{"given":"Shinichi","family":"Honiden","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Naoshi","family":"Uchihira","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kiyoshi","family":"Itoh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,2]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"J.S.Anderson and S.Fickas: A Proposed Perspective Shift: Viewing Specification Design as a Planning Problem, Proc. of 5th International Workshop on Software Specification and Design, pp.177\u2013184, 1989","DOI":"10.1145\/75199.75227"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"D.Barstow et al.: An Automatic Programming System to Support an Experimental Science, Proc. of 6th ICSE, pp.360\u2013366, 1982.","DOI":"10.1145\/1006259.1006264"},{"key":"11_CR3","unstructured":"P.Coad and E.Yourdon: Object-Oriented Analysis, Prentice-Hall, 1990"},{"key":"11_CR4","unstructured":"D.Cohen: A Forward Inference Engine to Aid in Understanding Specifications, Proc. of AAAI-84, pp.56\u201360,1984."},{"issue":"No.5","key":"11_CR5","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1145\/1006258.1006266","volume":"7","author":"A.M. Davis","year":"1982","unstructured":"A.M.Davis: Rapid Prototyping using Executable Requirements Specifications, ACM SIGSOFT, Vol.7,No.5, pp.39\u201344, 1982","journal-title":"ACM SIGSOFT"},{"key":"11_CR6","unstructured":"K.Downing and S.Fickas: Specification Criticism via Policy-Directed Envisionment, CIS-TR-90-05, University of Oregon, 1990"},{"issue":"No.11","key":"11_CR7","doi-asserted-by":"crossref","first-page":"1268","DOI":"10.1109\/TSE.1985.231878","volume":"11","author":"S. Fickas","year":"1985","unstructured":"S.Fickas: Automating the Transformational Development of Software, IEEE Trans. Software Eng., Vol.11, No.11, pp.1268\u20131277, 1985","journal-title":"IEEE Trans. Software Eng."},{"key":"11_CR8","first-page":"343","volume":"80","author":"S. Gerhart","year":"1980","unstructured":"S.Gerhart et al.: An overview of AFFIRM: A Specification and Verification System, Inform. Proc., Vol.80, pp-343\u2013347, 1980.","journal-title":"Inform. Proc."},{"issue":"No.3","key":"11_CR9","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1145\/356698.356700","volume":"9","author":"M.J. Gonzalez","year":"1977","unstructured":"M.J.Gonzalez: Deterministic Processor Scheduling, Computing Surveys, Vol.9, No.3, pp. 173\u2013204, 1977","journal-title":"Computing Surveys"},{"key":"11_CR10","unstructured":"S.Honiden et al.: MENDEL: Prolog based Concurrent Object Oriented Language, Proc. of Compcon '86, pp.230\u2013234, 1986."},{"issue":"No.3","key":"11_CR11","first-page":"123","volume":"9","author":"S. Honiden","year":"1986","unstructured":"S.Honiden et al.: Software Prototyping with Reusable Components, Journal of Information Processing, Vol.9, No.3, pp.123\u2013129, 1986, also in IEEE tutorial 'software Reuse: The State of the Practice', 1988.","journal-title":"Journal of Information Processing"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"S.Honiden et al.: An Application of Structural Modeling and Automated Reasoning to Concurrent Program Design, Proc. of HICSS-22, 1989.","DOI":"10.1109\/HICSS.1989.47986"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"S.Honiden et al.: An application of Structural Modeling and Automated Reasoning to Real-Time Systems Design, The Journal of Real-Time Systems, Vol.1, No.3, Kluwer Academic Publishers, 1990","DOI":"10.1007\/BF00366573"},{"key":"11_CR14","unstructured":"Y.Ishikawa and M.Tokoro: Orient 84\/K: An Object-Oriented Concurrent Programming Language for Knowledge System, Object Oriented Concurrent Programming (ed. by Yonezawa and Tokoro), MIT Press, 1987"},{"issue":"No.4","key":"11_CR15","first-page":"387","volume":"30","author":"K. Itoh","year":"1989","unstructured":"K. Itoh et al.: Tools for Prototyping for Developing Software, JOHO SHORI, Vol.30, No.4, pp.387\u2013395, 1989","journal-title":"JOHO SHORI"},{"key":"11_CR16","unstructured":"K.Itoh et al.: Knowledge-based Parameter Tuning for Queueing Network Type System-A New Application of Qualitative Reasoning, Proc. of IFIP CAPE' 89."},{"key":"11_CR17","unstructured":"K.Itoh et al.: A Method for Diagnosis and Improvement on Bottleneck of Queueing Network by Qualitative and Quantitative Reasoning, Trans. on JSAI, Vol.5, No.1, 1990."},{"key":"11_CR18","unstructured":"K.Itoh et al.: Qualitative Reasoning Based Parameter Tuning on Bottleneck of Synchronized Queueing Network, Proc. of Compsac '91, 1991"},{"key":"11_CR19","unstructured":"K.Itoh et al.: Parameter Tuning on Bottleneck of Synchronized Queueing Network by Qualitative Reasoning, Trans. on JSAI, Vol.6, No.6, 1991"},{"key":"11_CR20","unstructured":"Proc. of 4th International Workshop on Software Specification and Design, CS Press, Los Alamitos, Calif, 1987."},{"key":"11_CR21","doi-asserted-by":"crossref","first-page":"488","DOI":"10.1109\/TSE.1984.5010271","volume":"SE-9","author":"T.C. Jones","year":"1984","unstructured":"T.C.Jones: Reusability in Programming: A survey of the State of the Art, IEEE Trans. Software Eng., Vol.SE-9, pp.488\u2013494, 1984.","journal-title":"IEEE Trans. Software Eng."},{"key":"11_CR22","unstructured":"S.Katz et al.: An Advisory System for Developing Data Representations, Proc. of 7th. IJCAI, pp.1030\u20131036, 1981."},{"key":"11_CR23","doi-asserted-by":"crossref","unstructured":"Luqi et al.: Rapidly Prototyping Real-Time Systems, IEEE Software September, pp.25\u201336, 1988.","DOI":"10.1109\/52.7941"},{"key":"11_CR24","doi-asserted-by":"crossref","unstructured":"N.J.Nilson, Principles of Artificial Intelligence, Springer-Verlag, 1982","DOI":"10.1007\/978-3-662-09438-9"},{"issue":"No.2","key":"11_CR25","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1109\/TSMC.1984.6313210","volume":"14","author":"N.S. Prywers","year":"1984","unstructured":"N.S.Prywers: Automatic Program Generation in Distributed Cooperative Computation, IEEE Trans. Syst. Man. Cyber., Vol.14, No.2, pp.275\u2013286, 1984","journal-title":"IEEE Trans. Syst. Man. Cyber."},{"issue":"No.6","key":"11_CR26","doi-asserted-by":"crossref","first-page":"456","DOI":"10.1109\/TSE.1978.233869","volume":"4","author":"C. Rich","year":"1978","unstructured":"C.Rich et al.: Initial Report on a LISP Programmer's Apprentice, IEEE Trans. Software Eng., Vol.4, No.6, 456\u2013467, 1978.","journal-title":"IEEE Trans. Software Eng."},{"key":"11_CR27","unstructured":"W.Swartout: The Gist behavior explainer, Proc. of AAAI-83, 1983"},{"key":"11_CR28","unstructured":"N.Uchihira et al.: Concurrent Program Synthesis with Reusable Component using Temporal Logic, Proc. of Compsac '87, pp.455\u2013464, 1987."},{"key":"11_CR29","doi-asserted-by":"crossref","unstructured":"B.Williams: Interaction-based Invention: Designing Novel Devices from First Principles, Proc. of AAAI-90, 1990","DOI":"10.1007\/3-540-53104-1_37"},{"issue":"No.2","key":"11_CR30","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1145\/69610.357982","volume":"27","author":"P. Zave","year":"1984","unstructured":"P.Zave: The Operational versus the Conventional Approach to Software Development, Comm. ACM, Vol.27, No.2, pp. 104\u2013118, 1984","journal-title":"Comm. ACM"}],"container-title":["Lecture Notes in Computer Science","ESEC '91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3540547428_49.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:56:27Z","timestamp":1605628587000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3540547428_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540547426","9783540464464"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3540547428_49","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}