{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T14:02:23Z","timestamp":1776780143247,"version":"3.51.2"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540233077","type":"print"},{"value":"9783540301875","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30187-5_15","type":"book-chapter","created":{"date-parts":[[2010,9,22]],"date-time":"2010-09-22T15:50:15Z","timestamp":1285170615000},"page":"197-211","source":"Crossref","is-referenced-by-count":12,"title":["From Informal to Formal Specifications in UML"],"prefix":"10.1007","author":[{"given":"Martin","family":"Giese","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rogardt","family":"Heldal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"B-Book","author":"J.R. Abrial","year":"1996","unstructured":"Abrial, J.R.: B-Book. Cambridge Univ. Press, Cambridge (1996)"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Ahrendt, W., Baar, T., Beckert, B., Bubel, R., Giese, M., H\u00e4hnle, R., Menzel, W., Mostowski, W., Roth, A., Schlager, S., Schmitt, P.H.: The KeY tool. Software and System Modeling, 3 (2004) (to appear)","DOI":"10.1007\/s10270-004-0058-x"},{"key":"15_CR3","volume-title":"Advanced Use Case Modeling","author":"F. Armour","year":"2001","unstructured":"Armour, F., Miller, G.: Advanced Use Case Modeling. Addison-Wesley, Reading (2001)"},{"key":"15_CR4","volume-title":"Writing Effective Use Cases","author":"A. Cockburn","year":"2001","unstructured":"Cockburn, A.: Writing Effective Use Cases. Addison-Wesley, Reading (2001)"},{"key":"15_CR5","series-title":"ch. 7, Object Technology","first-page":"245","volume-title":"Structure and Style in Use Cases for User Interface Design","author":"L.L. Constantine","year":"2001","unstructured":"Constantine, L.L., Lockwood, L.A.D.: Structure and Style in Use Cases for User Interface Design. ch. 7, Object Technology, pp. 245\u2013279. Addison-Wesley, Reading (2001)"},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/3-540-45800-X_10","volume-title":"\u00abUML\u00bb 2002 - The Unified Modeling Language. Model Engineering, Concepts, and Tools","author":"G. G\u00e9nova","year":"2002","unstructured":"G\u00e9nova, G., Llorens, J., Quintana, V.: Digging into use case relationships. In: J\u00e9z\u00e9quel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol.\u00a02460, pp. 115\u2013127. Springer, Heidelberg (2002)"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Grieskamp, W., Lepper, M.: Using use cases in executable Z. In: ICFEM, pp. 111\u2013120 (2000)","DOI":"10.1109\/ICFEM.2000.873811"},{"key":"15_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/3-540-45923-5_16","volume-title":"Fundamental Approaches to Software Engineering","author":"R. H\u00e4hnle","year":"2002","unstructured":"H\u00e4hnle, R., Johannisson, K., Ranta, A.: An authoring tool for informal and formal requirements specifications. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol.\u00a02306, pp. 233\u2013248. Springer, Heidelberg (2002)"},{"key":"15_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1007\/978-3-540-45221-8_24","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"S. Isoda","year":"2003","unstructured":"Isoda, S.: A critique of UML\u2019s definition of the use-case class. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol.\u00a02863, pp. 280\u2013294. Springer, Heidelberg (2003)"},{"key":"15_CR10","volume-title":"Object-Oriented Software Engineering: A Use Case Driven Approach","author":"I. Jacobson","year":"1992","unstructured":"Jacobson, I., Christerson, M., Johnsson, P., \u00d6vergaard, G.: Object-Oriented Software Engineering: A Use Case Driven Approach. Addison-Wesley, Reading (1992)"},{"key":"15_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1007\/3-540-45648-1_27","volume-title":"ZB 2002: Formal Specification and Development in Z and B","author":"R. Laleau","year":"2002","unstructured":"Laleau, R., Polack, F.: Coming and going from UML to B: A proposal to support traceability in rigorous IS development. In: Bert, D., Bowen, J.P., Henson, M.C., Robinson, K. (eds.) B 2002 and ZB 2002. LNCS, vol.\u00a02272, pp. 517\u2013534. Springer, Heidelberg (2002)"},{"key":"15_CR12","unstructured":"Levy, B.N., Marcano, R., Souqui\u00e8res, J.: From requirements to formal specification using UML and B. In: International Conference in Computer Systems and Technologies, CompSysTech 2002, Sofia, Bulgaria (2002)"},{"key":"15_CR13","unstructured":"OMG. Unified Modeling Language Specification"},{"key":"15_CR14","series-title":"Object Technology","volume-title":"The Unified Modeling Language Reference Manual","author":"J. Rumbaugh","year":"1999","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Object Technology. Addison-Wesley, Reading (1999)"},{"key":"15_CR15","unstructured":"Snook, C., Butler, M.: Verifying dynamic properties of UML models by translation to the B language. In: Proceedings UML 2000 WORKSHOP Dynamic Behaviour in UML Models: Semantic Questions, York (October 2000)"},{"key":"15_CR16","series-title":"Object Technology Series","volume-title":"Using UML: software engineering with objects and components","author":"P. Stevens","year":"2000","unstructured":"Stevens, P., Pooley, R.: Using UML: software engineering with objects and components. Object Technology Series. Addison-Wesley, Reading (2000), Updated edition for UML1.3: first published 1998"},{"key":"15_CR17","series-title":"Object Technology","volume-title":"The Object Constraint Language","author":"J. Warmer","year":"2003","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language. Object Technology. Addison-Wesley, Reading (2003)"}],"container-title":["Lecture Notes in Computer Science","<\u2009<UML>\u2009> 2004 - The Unified Modeling Language. Modelling Languages and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30187-5_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,10]],"date-time":"2021-11-10T07:37:58Z","timestamp":1636529878000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30187-5_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540233077","9783540301875"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30187-5_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}