{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T04:03:10Z","timestamp":1746158590853,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642454219"},{"type":"electronic","value":"9783642454226"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-45422-6_11","type":"book-chapter","created":{"date-parts":[[2013,12,12]],"date-time":"2013-12-12T03:59:06Z","timestamp":1386820746000},"page":"157-171","source":"Crossref","is-referenced-by-count":1,"title":["Deduction-Based Formal Verification of Requirements Models with Automatic Generation of Logical Specifications"],"prefix":"10.1007","author":[{"given":"Rados\u0142aw","family":"Klimek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison Wesley (1999)"},{"key":"11_CR2","unstructured":"Pender, T.: UML Bible. John Wiley & Sons (2003)"},{"issue":"4","key":"11_CR3","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1145\/242223.242257","volume":"28","author":"E. Clarke","year":"1996","unstructured":"Clarke, E., Wing, J., et al.: Formal methods: State of the art and future directions. ACM Computing Surveys\u00a028(4), 626\u2013643 (1996)","journal-title":"ACM Computing Surveys"},{"key":"11_CR4","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press (1999)"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Kazhamiakin, R., Pistore, M., Roveri, M.: Formal verification of requirements using spin: A case study on web services. In: Proceedings of the Second International Conference on Software Engineering and Formal Methods (SEFM 2004), pp. 406\u2013415 (2004)","DOI":"10.1109\/SEFM.2004.1347546"},{"issue":"7","key":"11_CR6","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1109\/TSE.2004.33","volume":"30","author":"R. Eshuis","year":"2004","unstructured":"Eshuis, R., Wieringa, R.: Tool support for verifying uml activity diagrams. IEEE Transactions on Software Engineering\u00a030 (7), 437\u2013447 (2004)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"11_CR7","unstructured":"Hurlbut, R.R.: A survey of approaches for describing and formalizing use cases. Technical Report XPT-TR-97-03, Expertech, Ltd (1997)"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Barrett, S., Sinnig, D., Chalin, P., Butler, G.: Merging of use case models: Semantic foundations. In: 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2009), pp. 182\u2013189 (2009)","DOI":"10.1109\/TASE.2009.34"},{"key":"11_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/978-3-642-02457-3_3","volume-title":"Computational Science and Its Applications \u2013 ICCSA 2009","author":"J. Zhao","year":"2009","unstructured":"Zhao, J., Duan, Z.: Verification of use case with petri nets in requirement analysis. In: Gervasi, O., Taniar, D., Murgante, B., Lagan\u00e0, A., Mun, Y., Gavrilova, M.L. (eds.) ICCSA 2009, Part II. LNCS, vol.\u00a05593, pp. 29\u201342. Springer, Heidelberg (2009)"},{"issue":"1","key":"11_CR10","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/BF03192554","volume":"14","author":"G. Cabral","year":"2008","unstructured":"Cabral, G., Sampaio, A.: Automated formal specification generation and refinement from requirement documents. Journal of the Brazilian Computer Society\u00a014 (1), 87\u2013106 (2008)","journal-title":"Journal of the Brazilian Computer Society"},{"key":"11_CR11","unstructured":"Fowler, M.: UML Distilled, 3rd edn. Addison-Wesley (2004)"},{"key":"11_CR12","unstructured":"Cockburn, A.: Writing Effective Use Cases. Addison-Wesley (2001)"},{"key":"11_CR13","first-page":"115","volume":"11","author":"R. Klimek","year":"2010","unstructured":"Klimek, R., Szwed, P.: Formal analysis of use case diagrams. Computer Science\u00a011, 115\u2013131 (2010)","journal-title":"Computer Science"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Emerson, E.: Temporal and Modal Logic. In: Handbook of Theoretical Computer Science. Volume\u00a0B, pp. 995\u20131072. Elsevier, MIT Press (1990)","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"11_CR15","unstructured":"Klimek, R.: Introduction to temporal logic. AGH University of Science and Technology Press (1999) (in Polish)"},{"issue":"1","key":"11_CR16","first-page":"249","volume":"XXVII","author":"F. Wolter","year":"2011","unstructured":"Wolter, F., Wooldridge, M.: Temporal and dynamic logic. Journal of Indian Council of Philosophical Research\u00a0XXVII(1), 249\u2013276 (2011)","journal-title":"Journal of Indian Council of Philosophical Research"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"van Benthem, J.: Temporal Logic. In: Handbook of Logic in Artificial Intelligence and Logic Programming, pp. 241\u2013350. Clarendon Press (1993\u20131995)","DOI":"10.1093\/oso\/9780198537915.003.0005"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"Chellas, B.F.: Modal Logic. Cambridge University Press (1980)","DOI":"10.1017\/CBO9780511621192"},{"key":"11_CR19","unstructured":"Pelletier, F.: Semantic tableau methods for modal logics that include the b and g axioms. Technical Report Technical Report FS-93-01, AAAI (Association for the Advancement of Artificial Intelligence) (1993)"},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"d\u2019Agostino, M., Gabbay, D., H\u00e4hnle, R., Posegga, J.: Handbook of Tableau Methods. Kluwer Academic Publishers (1999)","DOI":"10.1007\/978-94-017-1754-0"},{"key":"11_CR21","unstructured":"H\u00e4hnle, R.: Tableau-based Theorem Proving. ESSLLI Course (1998)"},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"Klimek, R.: Towards formal and deduction-based analysis of business models for soa processes. In: Filipe, J., Fred, A. (eds.) Proceedings of 4th International Conference on Agents and Artificial Intelligence (ICAART 2012), Vilamoura, Algarve, Portugal, February 6-8, vol.\u00a02, pp. 325\u2013330. SciTePress (2012)","DOI":"10.5220\/0003740503250330"}],"container-title":["Communications in Computer and Information Science","Evaluation of Novel Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-45422-6_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T04:26:24Z","timestamp":1746073584000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-45422-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642454219","9783642454226"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-45422-6_11","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2013]]}}}