{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T23:23:54Z","timestamp":1648596234985},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1990,4,1]],"date-time":"1990-04-01T00:00:00Z","timestamp":638928000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Journal of Real-Time Systems"],"published-print":{"date-parts":[[1990,4]]},"DOI":"10.1007\/bf00366573","type":"journal-article","created":{"date-parts":[[2004,11,2]],"date-time":"2004-11-02T14:17:44Z","timestamp":1099405064000},"page":"313-331","source":"Crossref","is-referenced-by-count":4,"title":["An application of structural modeling and automated reasoning to real-time systems design"],"prefix":"10.1007","volume":"1","author":[{"given":"Shinichi","family":"Honiden","sequence":"first","affiliation":[]},{"given":"Naoshi","family":"Uchihira","sequence":"additional","affiliation":[]},{"given":"Kazunori","family":"Matsumoto","sequence":"additional","affiliation":[]},{"given":"Kazuo","family":"Matsumura","sequence":"additional","affiliation":[]},{"given":"Masahiko","family":"Arai","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"CR1","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1109\/MC.1985.1662863","volume":"18","author":"M. Alford","year":"1985","unstructured":"AlfordM. 1985. SREM at the age of eight: The distributed computing design system, Computer, 18, 4: 36?46.","journal-title":"Computer"},{"key":"CR2","unstructured":"Arai, M., S. Tamura, and H. Mizutani. 1981. A method for structural modeling of complex systems. In Proc. IEEE Int. Conf. Syst., Man, Cybern., pp. 676?681."},{"key":"CR3","unstructured":"Cohen, D. 1984. A forward interface engine to aid in understanding specifications. In Proc. AAAI-84, pp. 56?60."},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"Diaz-Gonzalez, J.P. and J.E. Urban. 1989. Prototyping conceptual models of real-time systems: A visual perspective. In Proc. HICSS-22.","DOI":"10.1109\/HICSS.1989.48012"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1109\/TSE.1985.231845","volume":"11","author":"B. Dasarathy","year":"1985","unstructured":"DasarathyB. 1985. Timing constraints of real-time systems: constraints for expressing them, methods of validating them. IEEE Trans. Software Eng., SE-11 80?86.","journal-title":"IEEE Trans. Software Eng."},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"Davis, A.M. 1982. Rapid prototyping using executable requirements specifications. ACM SIGSOFT, 39?44.","DOI":"10.1145\/1006259.1006266"},{"key":"CR7","unstructured":"Harel, D., H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, and A. Shtul-Trauring. 1988. STATEMENTE: A Working Environment for the Development of Complex Reactive Systems. In Proc. 10th ICSE, pp. 396?406."},{"key":"CR8","unstructured":"Honiden, S. et al. 1986. MENDEL: Prolog based concurrent object-oriented language. In Proc. IEEE Compcon '86, pp. 230?234."},{"key":"CR9","first-page":"123","volume":"9","author":"S. Honiden","year":"1988","unstructured":"HonidenS. et al. 1988. Software prototyping with reusable components. J. of Information Processing, 9, 123?129 (Also in, Software Reuse: The State of the Practice. IEEE tutorial 1988.)","journal-title":"J. of Information Processing"},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"Honiden, S. et al. 1989. An application of structural modeling and automated reasoning to concurrent program design. Proc. HICSS-22.","DOI":"10.1109\/HICSS.1989.47986"},{"key":"CR11","volume-title":"Object-Oriented Concurrent Programming","author":"Y. Ishikawa","year":"1987","unstructured":"IshikawaY. and M.Tokoro. 1987. Orient 84\/K: An object-oriented concurrent programming language for knowledge system. Object-Oriented Concurrent Programming (ed. by Yonezawa and Tokoro), Cambridge, MA: MIT Press."},{"key":"CR12","doi-asserted-by":"crossref","first-page":"890","DOI":"10.1109\/TSE.1986.6313045","volume":"12","author":"F. Jahanian","year":"1986","unstructured":"JahanianF. and A.K.Mok. 1986. Safety analysis of timing properties in real-time systems. IEEE Trans. Software Eng., SE-12: pp. 890?904.","journal-title":"IEEE Trans. Software Eng."},{"key":"CR13","doi-asserted-by":"crossref","first-page":"488","DOI":"10.1109\/TSE.1984.5010271","volume":"9","author":"T.C. Jones","year":"1984","unstructured":"JonesT.C., 1984. Reusability in programming: A survey of the state of the art, IEEE Trans. Software Eng., SE-9: 488?494.","journal-title":"IEEE Trans. Software Eng."},{"key":"CR14","volume-title":"Proc. IFIP, Inform. Processing","author":"L. Lamport","year":"1983","unstructured":"LamportL. 1983. What good is temporal logic. In Proc. IFIP, Inform. Processing. (R.E.Mason, Ed.) Amsterdam, The Netherlands: North-Holland."},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"Luqi, et al. 1988. Rapidly prototyping real-time systems. IEEE Software, 25?36.","DOI":"10.1109\/52.7941"},{"key":"CR16","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1145\/357084.357090","volume":"2","author":"Z. Manna","year":"1980","unstructured":"MannaZ. and R.J.Waldinger. 1980. A deductive approach to program synthesis. ACM TOPLAS, 2, 90?121.","journal-title":"ACM TOPLAS"},{"key":"CR17","doi-asserted-by":"crossref","first-page":"461","DOI":"10.1109\/TSE.1987.233182","volume":"13","author":"K. Matsumura","year":"1987","unstructured":"MatsumuraK., H.Mizutani, and M.Arai. 1987. An application of structural modeling to software requirements analysis and design. IEEE Trans. Software Eng., SE-13, 461?471.","journal-title":"IEEE Trans. Software Eng."},{"key":"CR18","doi-asserted-by":"crossref","unstructured":"Nilson, N.J. 1982. Principles of Artificial Intelligence, Springer-Verlag.","DOI":"10.1007\/978-3-662-09438-9"},{"key":"CR19","doi-asserted-by":"crossref","unstructured":"Orr, R.A., M.T. Norris, R. Tinker, and C.D.V. Rouch. 1988. Tools for real-time systems design. In Proc 10th ICSE, pp. 130?137.","DOI":"10.1109\/ICSE.1988.93695"},{"key":"CR20","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1109\/TSMC.1984.6313210","volume":"14","author":"N.S. Prywers","year":"1984","unstructured":"PrywersN.S. 1984. Automatic program generation in distributed cooperative computation. IEEE Trans. Syst. Man. Cyber., 14, 275?286.","journal-title":"IEEE Trans. Syst. Man. Cyber."},{"key":"CR21","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/0004-3702(74)90026-5","volume":"5","author":"E.D. Sacerdoti","year":"1974","unstructured":"SacerdotiE.D. 1974. Planning in a hierarchy of abstraction spaces. Artificial Intelligence 5: 115?135.","journal-title":"Artificial Intelligence"},{"key":"CR22","unstructured":"Uchihira, N., T. Kasuya, K. Matsumoto, and S. Honiden. 1987. Concurrent program synthesis with reusable components using temporal logic. In Proc. IEEE Compsac '87, pp. 455?464."},{"key":"CR23","unstructured":"Wolper, P. 1982. Synthesis of communicating processes from temporal logic specification. STAN-CS-82-925, Stanford Univ."},{"issue":"2","key":"CR24","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1145\/69610.357982","volume":"27","author":"P. Zave","year":"1984","unstructured":"ZaveP. 1984. The operational versus the conventional approach to software development. Comm. ACM, 27, 2: 104?118.","journal-title":"Comm. ACM"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00366573.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00366573\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00366573","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,9]],"date-time":"2019-04-09T02:28:40Z","timestamp":1554776920000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00366573"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,4]]},"references-count":24,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1990,4]]}},"alternative-id":["BF00366573"],"URL":"https:\/\/doi.org\/10.1007\/bf00366573","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990,4]]}}}