{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,27]],"date-time":"2024-09-27T04:14:08Z","timestamp":1727410448039},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2004,8,1]],"date-time":"2004-08-01T00:00:00Z","timestamp":1091318400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2004,8,1]],"date-time":"2004-08-01T00:00:00Z","timestamp":1091318400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Sci China Ser F"],"published-print":{"date-parts":[[2004,8]]},"DOI":"10.1007\/bf02901657","type":"journal-article","created":{"date-parts":[[2022,5,31]],"date-time":"2022-05-31T16:31:13Z","timestamp":1654014673000},"page":"437-457","source":"Crossref","is-referenced-by-count":0,"title":["On the polynomial dynamic system approach to software development"],"prefix":"10.1007","volume":"47","author":[{"given":"Xiangyun","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yongchao","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kaiyuan","family":"Cai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02901657_CR1","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1007\/978-3-642-82453-1_17","volume":"F-13","author":"D. Harel","year":"1985","unstructured":"Harel, D., Pnueli, A., On the development of reactive systems, Logics and Models of Concurrent Systems (ed. Apt, K.R.), NATO ASI series, Vol. F-13, 1985, 477\u2013498.","journal-title":"Logics and Models of Concurrent Systems"},{"key":"BF02901657_CR2","volume-title":"Modeling Reactive Systems With Statecharts: The STATEMATE Approach","author":"D. Harel","year":"1998","unstructured":"Harel, D., Politi, M., Modeling Reactive Systems With Statecharts: The STATEMATE Approach, New York: MCGraw-Hill, 1998."},{"key":"BF02901657_CR3","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1109\/SFCS.1989.63473","volume-title":"A really temporal logic, Proceedings of the 30th Annual Symposium on Foundations of Computer Science","author":"R. Alur","year":"1989","unstructured":"Alur, R., Henzinger, T. A., A really temporal logic, Proceedings of the 30th Annual Symposium on Foundations of Computer Science, New York: IEEE Computer Society Press, 1989, 164\u2013169."},{"issue":"9","key":"BF02901657_CR4","doi-asserted-by":"publisher","first-page":"1270","DOI":"10.1109\/5.97297","volume":"79","author":"A. Benveniste","year":"1991","unstructured":"Benveniste, A., Berry, G., The synchronous approach to reactive and real-time systems, Proceedings of the IEEE, 1991, 79(9): 1270\u20131282.","journal-title":"Proceedings of the IEEE"},{"issue":"1","key":"BF02901657_CR5","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1023\/A:1007977926637","volume":"9","author":"B. T. Barcio","year":"1997","unstructured":"Barcio, B. T., Ramaswamy, S., BarBer, K. S. et al., An object-oriented modeling and simulation environment for reactive systems development, International Journal of Flexible Manufacturing Systems, 1997, 9(1): 51\u201380.","journal-title":"International Journal of Flexible Manufacturing Systems"},{"issue":"1","key":"BF02901657_CR6","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1109\/2.895118","volume":"34","author":"D. Harel","year":"2001","unstructured":"Harel, D., From play-in scenarios to code: An achievable dream, IEEE Computer, 2001, 34(1): 53\u201360.","journal-title":"IEEE Computer"},{"issue":"3","key":"BF02901657_CR7","first-page":"227","volume":"16","author":"N. Bj\u00f8rner","year":"2000","unstructured":"Bj\u00f8rner, N., Browne, A., Col\u00f3n, M. et al., Verifying temporal properties of reactive systems: A STeP tutorial, Formal Methods in System Design, Boston: Kluwer Academic Publishers, 2000, 16(3): 227\u2013270.","journal-title":"Boston: Kluwer Academic Publishers"},{"issue":"8","key":"BF02901657_CR8","doi-asserted-by":"publisher","first-page":"729","DOI":"10.1109\/32.879811","volume":"26","author":"H. Marchand","year":"2000","unstructured":"Marchand, H., Samman, M., Incremental design of a power transformer station controller synthesis methodology, IEEE Transactions on Software Engineering, 2000, 26(8): 729\u2013741.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"BF02901657_CR9","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"P. J. Ramadge","year":"1987","unstructured":"Ramadge, P. J., Wonham, W. M., Supervisory control of a class of discrete event processes, SIAM Journal on Control and Optimization, 1987, 25(1): 206\u2013230.","journal-title":"SIAM Journal on Control and Optimization"},{"issue":"1","key":"BF02901657_CR10","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"P. J. Ramadge","year":"1989","unstructured":"Ramadge, P. J., Wonham, W. M., The control of discrete event systems, Proceedings of the IEEE, 1989, 77(1): 81\u201398.","journal-title":"Proceedings of the IEEE"},{"issue":"3","key":"BF02901657_CR11","first-page":"2695","volume":"3","author":"M. Le Borgne","year":"1989","unstructured":"Le Borgne, M., Benveniste, A., Le Guernic, P., Polynomial ideal theoretic methods in discrete events and hybrid dynamical systems, Proceedings of the 28th Conference on Decision and Control, IEEE Control Systems Society, 1989, 3(3): 2695\u20132700.","journal-title":"IEEE Control Systems Society"},{"key":"BF02901657_CR12","doi-asserted-by":"crossref","unstructured":"Le Borgne, M., Benveniste, A., Le Guernic, P., Dynamical systems over Galois fields and DEDS control problems, Proceedings of the 30th IEEE Conference on Decision and Control, Brighton, England, December 1991, 1505\u20131510.","DOI":"10.1109\/CDC.1991.261653"},{"key":"BF02901657_CR13","series-title":"Research Report","volume-title":"Control of polynomial dynamic systems: An example","author":"B. Dutertre","year":"1994","unstructured":"Dutertre, B., Le Borgne, M., Control of polynomial dynamic systems: An example, Research Report 798, France: IRISA, Jan., 1994."},{"key":"BF02901657_CR14","series-title":"Research Report","volume-title":"The supervisory control problem of discrete event systems using polynomial methods","author":"H. Marchand","year":"1999","unstructured":"Marchand, H., Le Borgne, M., The supervisory control problem of discrete event systems using polynomial methods, Research Report 1271, France: IRISA, Oct., 1999."},{"key":"BF02901657_CR15","doi-asserted-by":"crossref","unstructured":"Benveniste, A., Bournai, P., Gautier, T. et al., The signal declarative synchronous language: Controller synthesis & systems\/architecture design, Proceedings of the 40th IEEE Conference on Decision and Control, Orlando, Florida USA, December 2001, 3284\u20133289.","DOI":"10.1109\/CDC.2001.980328"},{"key":"BF02901657_CR16","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1016\/S0950-5849(02)00108-8","volume":"44","author":"K.Y. Cai","year":"2002","unstructured":"Cai, K.Y., Optimal software testing and adaptive software testing in the context of software cybernetics, Information and Software Technology, 2002, 44: 841\u2013855.","journal-title":"Information and Software Technology"},{"issue":"5","key":"BF02901657_CR17","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1360\/02yf0168","volume":"46","author":"K.Y. Cai","year":"2003","unstructured":"Cai, K.Y., Optimal stopping of multi-project software testing in the context of software cybernetics, Science in China, Ser. F, 2003, 46(5): 335\u2013354.","journal-title":"Science in China, Ser. F"},{"key":"BF02901657_CR18","unstructured":"Cai, K. Y., Chen, T. Y., Tse, T. H., Towards research on software cybernetics, Proceedings of the 7th IEEE International Symposium on High-Assurance Systems Engineering, HASE 2002, 240\u2013241."}],"container-title":["Science in China Series F Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02901657.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/BF02901657\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02901657.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,26]],"date-time":"2024-09-26T05:13:37Z","timestamp":1727327617000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/BF02901657"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,8]]},"references-count":18,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2004,8]]}},"alternative-id":["BF02901657"],"URL":"https:\/\/doi.org\/10.1007\/bf02901657","relation":{},"ISSN":["1009-2757","1862-2836"],"issn-type":[{"type":"print","value":"1009-2757"},{"type":"electronic","value":"1862-2836"}],"subject":[],"published":{"date-parts":[[2004,8]]}}}