{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:41:23Z","timestamp":1750308083203,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,5,14]],"date-time":"2005-05-14T00:00:00Z","timestamp":1116028800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,5,14]]},"DOI":"10.1145\/1056018.1056029","type":"proceedings-article","created":{"date-parts":[[2005,8,3]],"date-time":"2005-08-03T08:31:47Z","timestamp":1123057907000},"page":"77-85","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Visual specification and analysis of use cases"],"prefix":"10.1145","author":[{"given":"Deepali","family":"Kholkar","sequence":"first","affiliation":[{"name":"TRDDC"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G. Murali","family":"Krishna","sequence":"additional","affiliation":[{"name":"TRDDC"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ulka","family":"Shrotri","sequence":"additional","affiliation":[{"name":"TRDDC"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Venkatesh","sequence":"additional","affiliation":[{"name":"TRDDC"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,5,14]]},"reference":[{"volume-title":"LFM 2000: Fifth NASA Langley Formal Methods Workshop, C. M. Holloway, Ed., NASA Langley Research Center, 187--196","author":"Bensalem S.","key":"e_1_3_2_1_1_1"},{"key":"e_1_3_2_1_2_1","unstructured":"Booch G. Rumbaugh J. and Jacobson I. 1998. The Unified Modeling Language User Guide. Addison-Wesley.   Booch G. Rumbaugh J. and Jacobson I. 1998. The Unified Modeling Language User Guide. Addison-Wesley."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Bottoni P. Koch M. Parisi-Presicce F. and \n      \n      \n      Taentzer G\n      \n  \n  . \n  2000\n  . Consistency checking and visualization of OCL constraints. In UML 2000 Springer A. Evans. S. Kent and B. Selic Eds. vol. \n  1939\n   of \n  LNCS 294--308.  Bottoni P. Koch M. Parisi-Presicce F. and Taentzer G. 2000. Consistency checking and visualization of OCL constraints. In UML 2000 Springer A. Evans. S. Kent and B. Selic Eds. vol. 1939 of LNCS 294--308.","DOI":"10.1007\/3-540-40011-7_21"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Bottoni P. Koch M. Parisi-Presicce F. and \n      \n      \n      Taentzer G\n      \n  \n  . \n  2001\n  . A visualization of OCL using collaborations. In UML 2001 Springer M. Gogolla and C. Kobryn Eds. vol. \n  2185\n   of \n  LNCS 257--271.   Bottoni P. Koch M. Parisi-Presicce F. and Taentzer G. 2001. A visualization of OCL using collaborations. In UML 2001 Springer M. Gogolla and C. Kobryn Eds. vol. 2185 of LNCS 257--271.","DOI":"10.1007\/3-540-45441-1_20"},{"key":"e_1_3_2_1_5_1","unstructured":"Cockburn A. 2000. Writing Effective Use Cases. Addison-Wesley Longman Publishing Co. Inc.   Cockburn A. 2000. Writing Effective Use Cases. Addison-Wesley Longman Publishing Co. Inc."},{"key":"e_1_3_2_1_6_1","unstructured":"D'Souza D. and Wills A. 1998. Objects Components and Frameworks With UML: The Catalysis Approach. Addison-Wesley.   D'Souza D. and Wills A. 1998. Objects Components and Frameworks With UML: The Catalysis Approach. Addison-Wesley."},{"key":"e_1_3_2_1_7_1","unstructured":"Fischer T. Niere J. Torunski L. and \n      \n      \n      Z\u00fcndorf A\n      \n  \n  . \n  1998\n  . Story diagrams: A new graph transformation language based on UML and Java. In Proc. Theory and Application to Graph Transformations Springer H. Ehrig G. Engels H.-J. Kreowski and G. Rozenberg Eds. vol. \n  1764\n   of \n  LNCS\n  .   Fischer T. Niere J. Torunski L. and Z\u00fcndorf A. 1998. Story diagrams: A new graph transformation language based on UML and Java. In Proc. Theory and Application to Graph Transformations Springer H. Ehrig G. Engels H.-J. Kreowski and G. Rozenberg Eds. vol. 1764 of LNCS."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1006\/jvlc.2000.0210"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505149"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/263698.263756"},{"volume-title":"International Conference on Software Engineering and Formal Methods (SEFM","year":"2003","author":"Shrotri U.","key":"e_1_3_2_1_11_1"},{"key":"e_1_3_2_1_12_1","unstructured":"Business modelling study - the library. TriReme International Ltd. white paper. Available at http:\/\/www.trireme.com\/whitepapers\/process\/business_modelling.html.  Business modelling study - the library. TriReme International Ltd. white paper. Available at http:\/\/www.trireme.com\/whitepapers\/process\/business_modelling.html."},{"key":"e_1_3_2_1_13_1","unstructured":"Warmer J. and Kleppe A. 1998. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley.   Warmer J. and Kleppe A. 1998. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley."}],"event":{"name":"SOFTVIS05: ACM Symposium on Software Visualization SOFTVIS 2005","sponsor":["SIGGRAPH ACM Special Interest Group on Computer Graphics and Interactive Techniques","SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering","SIGCHI ACM Special Interest Group on Computer-Human Interaction","SIGCSE ACM Special Interest Group on Computer Science Education"],"location":"St. Louis Missouri","acronym":"SOFTVIS05"},"container-title":["Proceedings of the 2005 ACM symposium on Software visualization"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1056018.1056029","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1056018.1056029","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:07:46Z","timestamp":1750262866000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1056018.1056029"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,5,14]]},"references-count":13,"alternative-id":["10.1145\/1056018.1056029","10.1145\/1056018"],"URL":"https:\/\/doi.org\/10.1145\/1056018.1056029","relation":{},"subject":[],"published":{"date-parts":[[2005,5,14]]},"assertion":[{"value":"2005-05-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}