{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:04:50Z","timestamp":1725573890055},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540204619"},{"type":"electronic","value":"9783540398936"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39893-6_6","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T15:35:57Z","timestamp":1294414557000},"page":"68-85","source":"Crossref","is-referenced-by-count":11,"title":["Formalization, Testing and Execution of a Use Case Diagram"],"prefix":"10.1007","author":[{"given":"Wuwei","family":"Shen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shaoying","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1007\/3-540-40011-7_28","volume-title":"UML 2000 - The Unified Modeling Language. Advancing the Standard","author":"A. Abdurazik","year":"2000","unstructured":"Abdurazik, A., Offutt, J.: Using UML collaboration diagrams for static checking and test generation. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol.\u00a01939, pp. 383\u2013395. Springer, Heidelberg (2000)"},{"issue":"10","key":"6_CR2","doi-asserted-by":"publisher","first-page":"799","DOI":"10.1109\/32.469459","volume":"21","author":"R. Bourdeau","year":"1995","unstructured":"Bourdeau, R., Cheng, B.: A formal semantics for object model diagrams. IEEE Transactions on Software Engineering\u00a021(10), 799\u2013821 (1995)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"6_CR3","volume-title":"Z: An Introduction to Formal Methods","author":"A. Diller","year":"1994","unstructured":"Diller, A.: Z: An Introduction to Formal Methods. John Wiley & Sons, Chichester (1994)"},{"unstructured":"Microsoft FSE Group. Vending machine case study. Technical report, Microsoft FSE Group (June 2002)","key":"6_CR4"},{"key":"6_CR5","first-page":"9","volume-title":"Specification and Validation Methods","author":"Y. Gurevich","year":"1995","unstructured":"Gurevich, Y.: Evolving algebras 1993: Lipari guide. In: B\u00f6rger, E. (ed.) Specification and Validation Methods, pp. 9\u201336. Oxford University Press, Oxford (1995)"},{"key":"6_CR6","volume-title":"Systematic Software Development Using VDM","author":"C.B. Jones","year":"1990","unstructured":"Jones, C.B.: Systematic Software Development Using VDM. Prentice-Hall International( UK) Ltd., Englewood Cliffs (1990)"},{"doi-asserted-by":"crossref","unstructured":"Briand, L.C., Labiche, Y.: A uml-based approach to system testing. In: Software and System Modeling, vol.\u00a01(1), pp. 10\u201342 (2002)","key":"6_CR7","DOI":"10.1007\/s10270-002-0004-8"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/3-540-36103-0_2","volume-title":"Formal Methods and Software Engineering","author":"S. Liu","year":"2002","unstructured":"Liu, S.: Developing Quality Software Systems Using the SOFL Formal Engineering Method. In: George, C.W., Miao, H. (eds.) ICFEM 2002. LNCS, vol.\u00a02495, pp. 3\u201319. Springer, Heidelberg (2002)"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"896","DOI":"10.1007\/3-540-48119-2_49","volume-title":"Proceedings of World Congress on Formal Methods in the Development of Computing Systems","author":"S. Liu","year":"1999","unstructured":"Liu, S.: Verifying Consistency and Validity of Formal Specifications by Testing. In: Wing, J.M., Woodcock, J., Davies, J. (eds.) Proceedings of World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 1999. LNCS, pp. 896\u2013914. Springer, Heidelberg (1999)"},{"issue":"1","key":"6_CR10","first-page":"337","volume":"24","author":"S. Liu","year":"1998","unstructured":"Liu, S., Offutt, A.J., Ho-Stuart, C., Sun, Y., Ohba, M.: SOFL: A Formal Engineering Methodology for Industrial Applications. IEEE Transactions on Software Engineering\u00a024(1), 337\u2013344 (1998); Special Issue on Formal Methods","journal-title":"IEEE Transactions on Software Engineering"},{"unstructured":"Microsoft FSE Group. Introducing AsmL: A Tutorial for the Abstract State Machine Language. Technical report, Microsoft FSE Group (December 2001)","key":"6_CR11"},{"unstructured":"OMG. Unified Modeling Language Specification, version 1.3 (June 1999)","key":"6_CR12"},{"unstructured":"Lutz, R.R.: Analyzing software requirements errors in safety-critical embedded systems. In: SIGSOFT 1993 Symposium on the Foundation of Software Engineering (1993)","key":"6_CR13"},{"doi-asserted-by":"crossref","unstructured":"Lutz, R.R.: Targeting safety-related errors during software requirements analysis. In: SIGSOFT 1993 Symposium on the Foundation of Software Engineering (1993)","key":"6_CR14","DOI":"10.1145\/256428.167069"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/3-540-40011-7_19","volume-title":"UML 2000 - The Unified Modeling Language. Advancing the Standard","author":"M. Richters","year":"2000","unstructured":"Richters, M., Gogolla, M.: Validating UML models and OCL constraints. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol.\u00a01939, pp. 265\u2013277. Springer, Heidelberg (2000)"},{"key":"6_CR16","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"UML 2000 - The Unified Modeling Language. Advancing the Standard","author":"S. Sendall","year":"2000","unstructured":"Sendall, S., Strohmeier, A.: From Use Cases to System Operation Specification. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol.\u00a01939, pp. 1\u201315. Springer, Heidelberg (2000)"},{"key":"6_CR17","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1109\/CMPSAC.2002.1044545","volume-title":"Proceedings of the 26th Annual International Computer Software and Applications Conference","author":"W. Shen","year":"2002","unstructured":"Shen, W., Compton, K., Huggins, J.: A Toolset for Supporting UML Static and Dynamic Model Checking. In: Proceedings of the 26th Annual International Computer Software and Applications Conference, August 26-29, pp. 147\u2013152. IEEE Computer Society, Oxford (2002)"},{"unstructured":"Shen, W., Compton, K., Huggins, J.: Execution of a requirement model in software development (March 2003)","key":"6_CR18"},{"key":"6_CR19","series-title":"ADVANCES IN COMPUTERS","volume-title":"Software Testing and Verification","author":"L.J. White","year":"1987","unstructured":"White, L.J.: Software Testing and Verification. ADVANCES IN COMPUTERS, vol.\u00a026. Academic Press, London (1987)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39893-6_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,25]],"date-time":"2019-01-25T21:54:35Z","timestamp":1548453275000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39893-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540204619","9783540398936"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39893-6_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}