{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T20:04:11Z","timestamp":1725653051849},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642357428"},{"type":"electronic","value":"9783642357435"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-35743-5_21","type":"book-chapter","created":{"date-parts":[[2012,12,14]],"date-time":"2012-12-14T01:40:42Z","timestamp":1355449242000},"page":"350-367","source":"Crossref","is-referenced-by-count":2,"title":["Verifying Temporal Properties of Use-Cases in Natural Language"],"prefix":"10.1007","author":[{"given":"Viliam","family":"Simko","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Hauzar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tomas","family":"Bures","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Petr","family":"Hnetynka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frantisek","family":"Plasil","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"21_CR1","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/503271.503226","volume":"26","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface Automata. SIGSOFT Softw. Eng. Notes\u00a026(5), 109\u2013120 (2001)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"21_CR2","volume-title":"Software Engineering Economics","author":"B. Boehm","year":"1981","unstructured":"Boehm, B.: Software Engineering Economics. Prentice-Hall, Englewood Cliffs (1981)"},{"key":"21_CR3","volume-title":"Writing Effective Use Cases","author":"A. Cockburn","year":"2000","unstructured":"Cockburn, A.: Writing Effective Use Cases. Addison-Wesley, Boston (2000)"},{"key":"21_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"856","DOI":"10.1007\/978-3-540-69507-3_74","volume-title":"SOFSEM 2007: Theory and Practice of Computer Science","author":"J. Drazan","year":"2007","unstructured":"Drazan, J., Mencl, V.: Improved Processing of Textual Use Cases: Deriving Behavior Specifications. In: van Leeuwen, J., Italiano, G.F., van der Hoek, W., Meinel, C., Sack, H., Pl\u00e1\u0161il, F. (eds.) SOFSEM 2007. LNCS, vol.\u00a04362, pp. 856\u2013868. Springer, Heidelberg (2007)"},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"Firesmith, D.: Global personal marketplace system requirements specification (2003), http:\/\/www.it.uu.se\/edu\/course\/homepage\/pvt\/SRS.pdf","DOI":"10.5381\/jot.2003.2.2.c6"},{"key":"21_CR6","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall Int. (UK) Ltd. (1985)"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Kof, L.: From textual scenarios to message sequence charts: Inclusion of condition generation and actor extraction. In: Proc. RE 2008, pp. 331\u2013332. IEEE CS (2008)","DOI":"10.1109\/RE.2008.12"},{"key":"21_CR8","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1109\/SEW.2008.14","volume-title":"SEW 2008: Proceedings of the 2008 32nd Annual IEEE Software Engineering Workshop","author":"J. Kofron","year":"2008","unstructured":"Kofron, J., Poch, T., Sery, O.: TBP: Code-Oriented Component Behavior Specification. In: SEW 2008: Proceedings of the 2008 32nd Annual IEEE Software Engineering Workshop, pp. 75\u201383. IEEE CS, Washington, DC (2008)"},{"key":"21_CR9","volume-title":"Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development","author":"C. Larman","year":"2004","unstructured":"Larman, C.: Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development. Prentice Hall PTR, Upper Saddle River (2004)"},{"key":"21_CR10","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/s00766-003-0179-8","volume":"9","author":"M. Luisa","year":"2004","unstructured":"Luisa, M., Mariangela, F., Pierluigi, I.: Market research for requirements analysis using linguistic tools. Requir. Eng.\u00a09, 40\u201356 (2004)","journal-title":"Requir. Eng."},{"key":"21_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/3-540-60406-5_12","volume-title":"Software Engineering - ESEC \u201995","author":"J. Magee","year":"1995","unstructured":"Magee, J., Dulay, N., Eisenbach, S., Kramer, J.: Specifying Distributed Software Architectures. In: Botella, P., Sch\u00e4fer, W. (eds.) ESEC 1995. LNCS, vol.\u00a0989, pp. 137\u2013153. Springer, Heidelberg (1995), http:\/\/pubs.doc.ic.ac.uk\/SpecifyDistributedArchitectures\/"},{"key":"21_CR12","unstructured":"Mencl, V.: Deriving behavior specifications from textual use cases. In: Proc. of WITSE 2004 (September 2004)"},{"key":"21_CR13","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1995","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall International (UK) Ltd., Hertfordshire (1995)"},{"key":"21_CR14","unstructured":"OMG: Unified Modeling Language (2008), http:\/\/www.uml.org"},{"issue":"4","key":"21_CR15","first-page":"63","volume":"7","author":"F. Plasil","year":"2003","unstructured":"Plasil, F., Mencl, V.: Getting \u2019Whole Picture\u2019 Behavior In A Use Case Model. Journ. of Integrated Design and Process Sci.\u00a07(4), 63\u201379 (2003)","journal-title":"Journ. of Integrated Design and Process Sci."},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"Pow-Sang, J.A., Nakasone, A., Imbert, R., Moreno, A.M.: An approach to determine software requirement construction sequences based on use cases. In: Proc. of ASEA 2008, pp. 17\u201322. IEEE CS, Washington, DC (2008)","DOI":"10.1109\/ASEA.2008.33"},{"key":"21_CR17","unstructured":"Simko, V.: Patterns in specification documents. Tech. Rep. 2011\/6, Charles Uni. (2011), http:\/\/d3s.mff.cuni.cz\/publications\/download\/tr2011-6.pdf"},{"key":"21_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-642-13595-8_26","volume-title":"Modelling Foundations and Applications","author":"T. Yue","year":"2010","unstructured":"Yue, T., Briand, L., Labiche, Y.: An Automated Approach to Transform Use Cases into Activity Diagrams. In: K\u00fchne, T., Selic, B., Gervais, M.-P., Terrier, F. (eds.) ECMFA 2010. LNCS, vol.\u00a06138, pp. 337\u2013353. Springer, Heidelberg (2010)"},{"key":"21_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1007\/978-3-642-04425-0_37","volume-title":"Model Driven Engineering Languages and Systems","author":"T. Yue","year":"2009","unstructured":"Yue, T., Briand, L.C., Labiche, Y.: A Use Case Modeling Approach to Facilitate the Transition Towards Analysis Models: Concepts and Empirical Evaluation. In: Sch\u00fcrr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol.\u00a05795, pp. 484\u2013498. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35743-5_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T13:25:11Z","timestamp":1620134711000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35743-5_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642357428","9783642357435"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35743-5_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}