{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,27]],"date-time":"2026-05-27T22:05:17Z","timestamp":1779919517767,"version":"3.53.1"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031863189","type":"print"},{"value":"9783031863196","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-86319-6_25","type":"book-chapter","created":{"date-parts":[[2025,8,5]],"date-time":"2025-08-05T03:02:02Z","timestamp":1754362922000},"page":"465-483","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On Consistency of Graphically Defined Specifications"],"prefix":"10.1007","author":[{"given":"Katerina","family":"Korenblat","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Elena V.","family":"Ravve","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,3,8]]},"reference":[{"key":"25_CR1","volume-title":"Principles of Model Checking (Representation and Mind Series)","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking (Representation and Mind Series). The MIT Press, Cambridge (2008)"},{"key":"25_CR2","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/j.entcs.2007.01.061","volume":"183","author":"J Bowen","year":"2007","unstructured":"Bowen, J., Reeves, S.: Formal models for informal GUI designs. Electron. Notes Theor. Comput. Sci. 183, 57\u201372 (2007)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"25_CR3","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/s001650050044","volume":"11","author":"D Duke","year":"1999","unstructured":"Duke, D., Fields, R., Harrison, M.: A case study in the specification and analysis of design alternatives for a user interface. Formal Asp. Comput. 11, 107\u2013131 (1999)","journal-title":"Formal Asp. Comput."},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proceedings of the 21st International Conference on Software Engineering. ICSE \u201999, pp. 411\u2013420. Association for Computing Machinery, New York (1999)","DOI":"10.1145\/302405.302672"},{"key":"25_CR5","doi-asserted-by":"publisher","first-page":"1485","DOI":"10.1002\/spe.491","volume":"32","author":"M Fecko","year":"2002","unstructured":"Fecko, M., Lott, C.: Lessons learned from automating tests for an operations support system. Softw. Pract. Exp. 32, 1485\u20131506 (2002)","journal-title":"Softw. Pract. Exp."},{"key":"25_CR6","doi-asserted-by":"crossref","unstructured":"Hadar, I., Zamansky, A.: Cognitive factors in inconsistency management. In: 2015 IEEE 23rd International Requirements Engineering Conference (RE), pp. 226\u2013229 (2015)","DOI":"10.1109\/RE.2015.7320427"},{"issue":"6","key":"25_CR7","doi-asserted-by":"publisher","first-page":"3972","DOI":"10.1007\/s10664-019-09718-5","volume":"24","author":"I Hadar","year":"2019","unstructured":"Hadar, I., Zamansky, A., Berry, D.M.: The inconsistency between theory and practice in managing inconsistency in requirements engineering. Empir. Softw. Eng. 24(6), 3972\u20134005 (2019)","journal-title":"Empir. Softw. Eng."},{"key":"25_CR8","unstructured":"Korenblat, K., Ravve, E.: Automatic code generator for screen based systems. In: Welzer, T., Eder, J., Podgorelec, Viliand Wrembel, R., Ivanovi\u0107, M., Gamper, J., Morzy, M., Tzouramanis, T., Darmont, J., Kami\u0161ali\u0107 Latifi\u0107, A. (eds.) New Trends in Databases and Information Systems, pp. 253\u2013265. Springer International Publishing, Cham (2019)"},{"issue":"4","key":"25_CR9","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1007\/s00766-018-0298-x","volume":"24","author":"M Levy","year":"2019","unstructured":"Levy, M., Hadar, I., Aviv, I.: A requirements engineering methodology for knowledge management solutions: integrating technical and social aspects. Requir. Eng. 24(4), 503\u2013521 (2019)","journal-title":"Requir. Eng."},{"issue":"3\u20134","key":"25_CR10","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/s11334-019-00339-1","volume":"15","author":"M Narizzano","year":"2019","unstructured":"Narizzano, M., Pulina, L., Tacchella, A., Vuotto, S.: Property specification patterns at work: verification and inconsistency explanation. Innov. Syst. Softw. Eng. 15(3\u20134), 307\u2013323 (2019)","journal-title":"Innov. Syst. Softw. Eng."},{"key":"25_CR11","volume-title":"Software Reliability Methods","year":"2001","unstructured":"Peled, D., Gries, D., Schneider, F. (eds.): Software Reliability Methods. Springer, Berlin (2001)"},{"key":"25_CR12","first-page":"143","volume":"10","author":"E Ravve","year":"2017","unstructured":"Ravve, E.: Template based automatic generation of DRC and LVS runsets. Int. J. Adv. Softw. 10, 143\u2013154 (2017)","journal-title":"Int. J. Adv. Softw."},{"key":"25_CR13","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/978-3-030-85347-1_34","volume-title":"Quality of Information and Communications Technology","author":"O Rodr\u00edguez-Vald\u00e9s","year":"2021","unstructured":"Rodr\u00edguez-Vald\u00e9s, O., Vos, T.E.J., Aho, P., Mar\u00edn, B.: 30 years of automated gui testing: a bibliometric analysis. In: Paiva, A.C.R., Cavalli, A.R., Ventura Martins, P., P\u00e9rez-Castillo, R. (eds.) Quality of Information and Communications Technology, pp. 473\u2013488. Springer International Publishing, Cham (2021)"},{"key":"25_CR14","doi-asserted-by":"publisher","first-page":"361","DOI":"10.2307\/249600","volume":"19","author":"M Silver","year":"1995","unstructured":"Silver, M., Markus, M., Beath, C.: The information technology interaction model: a foundation for the mba core course. MIS Q. 19, 361\u2013390 (1995)","journal-title":"MIS Q."},{"key":"25_CR15","doi-asserted-by":"crossref","unstructured":"Zamansky, A., Hadar, I., Berry, D.M.: Reasoning about inconsistency in RE - separating the wheat from the chaff. In: ENASE (2016)","DOI":"10.5220\/0005928603770382"}],"container-title":["Trends in Mathematics","Model Theory, Computer Science, and Graph Polynomials"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-86319-6_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,27]],"date-time":"2026-05-27T21:29:10Z","timestamp":1779917350000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-86319-6_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031863189","9783031863196"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-86319-6_25","relation":{},"ISSN":["2297-0215","2297-024X"],"issn-type":[{"value":"2297-0215","type":"print"},{"value":"2297-024X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"8 March 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}