{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,4]],"date-time":"2025-09-04T14:13:05Z","timestamp":1756995185264,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319281131"},{"type":"electronic","value":"9783319281148"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-28114-8_7","type":"book-chapter","created":{"date-parts":[[2015,12,29]],"date-time":"2015-12-29T07:57:37Z","timestamp":1451375857000},"page":"110-130","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Use Case Analysis Based on Formal Methods: An Empirical Study"],"prefix":"10.1007","author":[{"suffix":"Jr.","given":"Marcos","family":"Oliveira","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leila","family":"Ribeiro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u00c9rika","family":"Cota","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lucio Mauro","family":"Duarte","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ingrid","family":"Nunes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Filipe","family":"Reis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,12,30]]},"reference":[{"key":"7_CR1","series-title":"Texts in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-85729-277-3","volume-title":"Specification of Software Systems","author":"VS Alagar","year":"2011","unstructured":"Alagar, V.S., Periyasamy, K.: Specification of Software Systems. Texts in Computer Science, 2nd edn. Springer, London (2011)","edition":"2"},{"key":"7_CR2","volume-title":"Encyclopedia of Software Engineering","author":"V Basili","year":"1994","unstructured":"Basili, V., Caldiera, C., Rombach, H.: Goal question metric paradigm. In: Marciniak, J.J. (ed.) Encyclopedia of Software Engineering, vol. 1. Wiley, New York (1994)"},{"key":"7_CR3","volume-title":"Writing Effective Use Cases","author":"A Cockburn","year":"2000","unstructured":"Cockburn, A.: Writing Effective Use Cases, 1st edn. Addison-Wesley Longman Publishing Co., Inc., Boston (2000)","edition":"1"},{"issue":"6","key":"7_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1218776.1218780","volume":"31","author":"S Diev","year":"2006","unstructured":"Diev, S.: Use cases modeling and software estimation: applying use case points. SIGSOFT Softw. Eng. Notes 31(6), 1\u20134 (2006)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"volume-title":"Handbook of graph grammars and computing by graph transformation","year":"1999","key":"7_CR5","unstructured":"Ehrig, H., Engels, G., Kreowski, H.J., Rozenberg, G. (eds.): Applications, languages, and tools, vol. 2. World Scientific, River Edge (1999)"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Hausmann, J.H., Heckel, R., Taentzer, G.: Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation. In: Proceedings of the 24th ICSE, pp. 105\u2013115 (2002)","DOI":"10.1145\/581352.581355"},{"key":"7_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":"7_CR8","doi-asserted-by":"crossref","unstructured":"Jin, N., Yang, J.: An approach of inconsistency verification of use case in XML and the model of verification tool. In: Proceedings of MINES 2010, pp. 757\u2013761 (2010)","DOI":"10.1109\/MINES.2010.160"},{"key":"7_CR9","first-page":"115","volume":"11","author":"R Klimek","year":"2010","unstructured":"Klimek, R., Szwed, P.: Formal analysis of use case diagrams. Comp. Sci. 11, 115\u2013131 (2010)","journal-title":"Comp. Sci."},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"K\u00f6ters, G., werner Six, H., Winter, M.: Validation and verification of use cases and class models. In: Proceedings of the 6th REFSQ (2001)","DOI":"10.1007\/PL00010354"},{"key":"7_CR11","series-title":"ITPro Collection","volume-title":"The Art of Software Testing","author":"G Myers","year":"2011","unstructured":"Myers, G., Sandler, C., Badgett, T.: The Art of Software Testing. ITPro Collection. Wiley, New York (2011)"},{"key":"7_CR12","volume-title":"Software Testing","author":"R Patton","year":"2005","unstructured":"Patton, R.: Software Testing, vol. 408, 2nd edn. Sams Publishing, Indianapolis (2005)","edition":"2"},{"key":"7_CR13","unstructured":"Powers, D.M.: Evaluation: from precision, recall and F-factor to ROC, informedness, markedness & correlation. Technical Report SIE-07-001, FUSA (2007)"},{"volume-title":"Foundations","year":"1997","key":"7_CR14","unstructured":"Rozenberg, G. (ed.): Foundations, vol. 1. World Scientific, River Edge (1997)"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/978-3-540-39893-6_6","volume-title":"Formal Methods and Software Engineering","author":"W Shen","year":"2003","unstructured":"Shen, W., Liu, S.: Formalization, testing and execution of a use case diagram. In: Dong, J.S., Woodcock, J. (eds.) ICFEM 2003. LNCS, vol. 2885, pp. 68\u201385. Springer, Heidelberg (2003)"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Sinnig, D., Chalin, P., Khendek, F.: LTS semantics for use case models. In: Proceedings of the ACM SAC, pp. 365\u2013370. ACM (2009)","DOI":"10.1145\/1529282.1529362"},{"issue":"3","key":"7_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2491509.2491521","volume":"22","author":"Daniel Sinnig","year":"2013","unstructured":"Sinnig, D., Chalin, P., Khendek, F.: Use case and task models: an integrated development methodology and its formal foundation. ACM ToSEM 22 (2013)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"7_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1007\/3-540-45104-8_41","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"G Taentzer","year":"2000","unstructured":"Taentzer, G.: AGG: a tool environment for algebraic graph transformation. In: M\u00fcnch, M., Nagl, M. (eds.) AGTIVE 1999. LNCS, vol. 1779, pp. 481\u2013488. Springer, Heidelberg (2000)"},{"key":"7_CR19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29044-2","volume-title":"Experimentation in Software Engineering","author":"C Wohlin","year":"2012","unstructured":"Wohlin, C., Runeson, P., H\u00f6st, M., Ohlsson, M.C., Regnell, B., Wessl\u00e9n, A.: Experimentation in Software Engineering. Springer, Berlin (2012)"},{"key":"7_CR20","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. 5593, pp. 29\u201342. Springer, Heidelberg (2009)"},{"issue":"4","key":"7_CR21","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/j.entcs.2004.10.025","volume":"127","author":"Paul Ziemann","year":"2005","unstructured":"Ziemann, P., H\u01ce\n                      \n                        \n                      \n                      $$\\grave{\\rm {v}}$$\n                      \n                        \n                          \n                            v\n                            `\n                          \n                        \n                      \n                    lscher, K., Gogolla, M.: From UML models to graph transformation systems. ENTCS 127(4), 17\u201333 (2005)","journal-title":"Electronic Notes in Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-28114-8_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,29]],"date-time":"2020-01-29T12:42:23Z","timestamp":1580301743000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-28114-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319281131","9783319281148"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-28114-8_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"30 December 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}