{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:12:18Z","timestamp":1761487938787},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540411338"},{"type":"electronic","value":"9783540400110"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-40011-7_1","type":"book-chapter","created":{"date-parts":[[2007,11,5]],"date-time":"2007-11-05T02:00:22Z","timestamp":1194228022000},"page":"1-15","source":"Crossref","is-referenced-by-count":10,"title":["From Use Cases to System Operation Specifications"],"prefix":"10.1007","author":[{"given":"Shane","family":"Sendall","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alfred","family":"Strohmeier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,9,28]]},"reference":[{"key":"1_CR1","unstructured":"A. Cockburn. Writing Effective Use Cases. Addison-Wesley 2000."},{"key":"1_CR2","unstructured":"D. Coleman, P. Arnold, S. Bodoff, C. Dollin, H. Gilchrist, F. Hayes and P. Jeremaes. Object-Oriented Development: The Fusion Method. Prentice-Hall 1994."},{"key":"1_CR3","unstructured":"D. Coleman. Fusion with Use Cases \u2014 Extending Fusion for Requirements Modelling. OOPSLA Conference Tutorial Slides 1995."},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"S. Cook, A. Kleppe, R. Mitchell, J. Warmer, A. Wills. Defining the Context of OCL Expressions. Second International Conference on the Unified Modeling Language: UML\u201999, Fort Collins, USA, 1999.","DOI":"10.1007\/3-540-46852-8_27"},{"key":"1_CR5","unstructured":"D. D\u2019Souza and A. Wills. Objects, Components and Frameworks With UML: The Catalysis Approach. Addison-Wesley 1998."},{"key":"1_CR6","unstructured":"I. Jacobson, M. Griss and P. Jonsson. Software Reuse: Architecture Process and Organization for Business Success. Addison-Wesley 1997."},{"key":"1_CR7","unstructured":"C.B. Jones. Systematic Software Development Using VDM. Prentice Hall, 1986."},{"key":"1_CR8","series-title":"Technical Report","volume-title":"Towards a UML Profile for Software Architecture","author":"M. Kand\u00e9","year":"2000","unstructured":"M. Kand\u00e9 and A. Strohmeier. Towards a UML Profile for Software Architecture. Technical Report 2000, Swiss Federal Institute of Technology, Switzerland, 2000; submitted for publication."},{"key":"1_CR9","unstructured":"Presidents Information Technology Advisory Committee. Report to the President \u201cInformation Technology Research: Investing in Our Future\u201d.National Coordination Office for Computing, Information, and Communications, February 1999 (\n                    http:\/\/www.ccic.gov\/ac\/report\/pitac_report.pdf\n                    \n                  )."},{"key":"1_CR10","unstructured":"J. Rumbaugh, I. Jacobson and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley 1999."},{"key":"1_CR11","series-title":"Technical Report","volume-title":"Descriptive Object-Oriented Operation Specification for UML","author":"S. Sendall","year":"2000","unstructured":"S. Sendall and A. Strohmeier. Descriptive Object-Oriented Operation Specification for UML. Technical Report 2000\/326, Swiss Federal Institute of Technology, Switzerland, 2000."},{"key":"1_CR12","unstructured":"S. Sendall. Specification Case Studies. Electronic Resource: \n                    http:\/\/lglwww.epfl.ch\/~sendall\/case-studies"},{"key":"1_CR13","unstructured":"J.M. Spivey. The Z Notation: A Reference Manual. Prentice Hall, 1989."},{"key":"1_CR14","unstructured":"J. Warmer and A. Kleppe. The Object Constraint Language: Precise Modeling With UML. Addison-Wesley 1998."}],"container-title":["Lecture Notes in Computer Science","\u226aUML\u226b 2000 \u2014 The Unified Modeling Language"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-40011-7_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T18:37:08Z","timestamp":1551033428000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-40011-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540411338","9783540400110"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-40011-7_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}