{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T04:06:16Z","timestamp":1748750776456,"version":"3.41.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662486337"},{"type":"electronic","value":"9783662486344"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-48634-4_3","type":"book-chapter","created":{"date-parts":[[2015,10,25]],"date-time":"2015-10-25T18:06:31Z","timestamp":1445796391000},"page":"33-47","source":"Crossref","is-referenced-by-count":1,"title":["A Framework for Data-Driven Automata Design"],"prefix":"10.1007","author":[{"given":"Yuanrui","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yixiang","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yujing","family":"Ma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,10,26]]},"reference":[{"key":"3_CR1","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: Unified Modeling Language Reference Manual, 2nd edn. Pearson Higher Education (2004)"},{"key":"3_CR2","unstructured":"Data-Driven: https:\/\/en.wikipedia.org\/wiki\/Data-driven_programming"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Wirfs-Brock, R., Wilkerson, B.: Object-oriented design: a responsibility-driven approach. In: The Proceeding OOPSLA 1989 Conference Proceedings on Object-oriented Programming Systems, Languages and Applications, pp. 71\u201375. ACM, New York (1989)","DOI":"10.1145\/74878.74885"},{"volume-title":"Active Database Systems: Triggers and Rules for Advanced Database Processing","year":"1994","key":"3_CR4","unstructured":"Widom, J., Ceri, S. (eds.): Active Database Systems: Triggers and Rules for Advanced Database Processing. Morgan Kaufmann, San Francisco (1994)"},{"volume-title":"Active Rules in Database Systems","year":"1999","key":"3_CR5","unstructured":"Paton, N.W. (ed.): Active Rules in Database Systems. Springer, New York (1999)"},{"key":"3_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19724-6","volume-title":"Reasoning in Event-Based Distributed Systems","author":"S Helmer","year":"2011","unstructured":"Helmer, S., Poulovassilis, A., Xhafa, F.: Reasoning in Event-Based Distributed Systems. Springer, Heidelberg (2011)"},{"key":"3_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84800-153-4","volume-title":"Networked RFID: Systems, Software and Services","author":"G Roussos","year":"2008","unstructured":"Roussos, G.: Networked RFID: Systems, Software and Services. Springer, London (2008)"},{"key":"3_CR8","unstructured":"Samek, M.: State Machines for Event-Driven Systems (2003). http:\/\/www.barrgroup.com\/Embedded-Systems\/How-To\/State-Machines-Event-Driven-Systems"},{"key":"3_CR9","doi-asserted-by":"publisher","unstructured":"Nuseibeh, B., Easterbrook, S.: Requirements engineering: a roadmap (PDF). In: Proceedings of the Conference on the Future of Software Engineering, ICSE 2000, pp. 35\u201346 (2000). doi: 10.1145\/336512.336523","DOI":"10.1145\/336512.336523"},{"key":"3_CR10","doi-asserted-by":"publisher","unstructured":"Chemuturi, M.: Requirements Engineering and Management for Software Development Projects (2013). doi: 10.1007\/978-1-4614-5377-2 . ISBN: 978-1-4614-5376-5","DOI":"10.1007\/978-1-4614-5377-2"},{"key":"3_CR11","unstructured":"Kotonya, G., Sommerville, I.: Requirements Engineering: Processes and Techniques. John Wiley & Sons, September 1998. ISBN 0-471-97208-8"},{"key":"3_CR12","unstructured":"Thayer, R.H., Dorfman, M. (eds.): Software Requirements Engineering, 2nd edn. IEEE Computer Society Press (1997). ISBN 0-8186-7738-4"},{"issue":"3\u20134","key":"3_CR13","doi-asserted-by":"crossref","first-page":"631","DOI":"10.3233\/FI-2009-0062","volume":"91","author":"K Mu","year":"2009","unstructured":"Mu, K., Kiu, W., Jin, Z., Lu, R., Yue, A., Bell, D.: Handing Incosistency in Distributed Software Requirements Specification Based on Prioritized Merging. Fundamenta Informaticae 91(3\u20134), 631\u2013670 (2009)","journal-title":"Fundamenta Informaticae"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Chen, Y.: Stec: A location-triggered specification language for real-time systems. In: ISORC Workshops, pp. 1\u20136. IEEE (2012)","DOI":"10.1109\/ISORCW.2012.11"},{"key":"3_CR15","unstructured":"Stutz, M.: Get started with GAWK: AWK language fundamentals. developerWorks. IBM (retrieved October 23 2010)"},{"key":"3_CR16","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"JE Hopcroft","year":"2006","unstructured":"Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation, 3rd edn. Addison-Wesley Longman Publishing Co., Inc., Boston (2006)","edition":"3"},{"issue":"2","key":"3_CR17","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1147\/rd.32.0114","volume":"3","author":"MO Rabin","year":"1959","unstructured":"Rabin, M.O., Scott, D.: Finite automata and their decision problems. IBM J. Res. Dev. 3(2), 114\u2013125 (1959)","journal-title":"IBM J. Res. Dev."},{"issue":"2","key":"3_CR18","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Asarin, E., Caspi, P., Maler, O.: A kleene theorem for timed automata. In: LICS. IEEE Computer Society, pp. 160\u2013171 (1997)","DOI":"10.1109\/LICS.1997.614944"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Alur, R., Courcoubetis, C., Henzinger, T.A., Ho, P.-H.: Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. In: Hybrid Systems, pp. 209\u2013229. Springer, London (1993)","DOI":"10.1007\/3-540-57318-6_30"}],"container-title":["Communications in Computer and Information Science","Requirements Engineering in the Big Data Era"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-48634-4_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T04:03:59Z","timestamp":1748664239000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-48634-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662486337","9783662486344"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-48634-4_3","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2015]]}}}