{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T05:17:31Z","timestamp":1738387051736,"version":"3.35.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540693833"},{"type":"electronic","value":"9783540693840"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-69384-0_44","type":"book-chapter","created":{"date-parts":[[2008,7,31]],"date-time":"2008-07-31T06:39:15Z","timestamp":1217486355000},"page":"386-395","source":"Crossref","is-referenced-by-count":2,"title":["On the Modeling Timing Behavior of the System with UML(VR)"],"prefix":"10.1007","author":[{"given":"Leszek","family":"Kotulski","sequence":"first","affiliation":[]},{"given":"Dariusz","family":"Dymek","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"44_CR1","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. Addison-Wesley Longman Ltd, Amsterdam (1999)"},{"key":"44_CR2","unstructured":"Unified Modeling Language, OMG v 2.1.2., http:\/\/www.omg.org"},{"key":"44_CR3","unstructured":"IBM Rational Unified Process, http:\/\/www-306.ibm.com\/software\/rational\/"},{"key":"44_CR4","volume-title":"Applying Use Case Driven Object Modeling with UML: An Annotated e-Commerce Example","author":"D. Rozenberg","year":"2001","unstructured":"Rozenberg, D., Scott, K.: Applying Use Case Driven Object Modeling with UML: An Annotated e-Commerce Example. Addison-Wesley, Reading (2001)"},{"key":"44_CR5","unstructured":"Ku\u017aniarz, L., Reggio, G., Sourrooille, J., Huzar, Z.: Workshop on Consistency in UML-ba-sed Software Development, http:\/\/www.ipd.bth.se\/uml2002\/RR-2002-06.pdf"},{"key":"44_CR6","unstructured":"Sourrouille, J., Caplat, G.: A Pragmatic View about Consistency of UML Models. In: Workshop on Consistency Problems in UML-based Software Development II, San Francisco (2003)"},{"key":"44_CR7","first-page":"105","volume-title":"Future of Software Engineering 2000","author":"G. Engels","year":"2000","unstructured":"Engels, G., Groenewegen, L.: Object-Oriented modeling: A road map. In: Finkelstein, A. (ed.) Future of Software Engineering 2000, pp. 105\u2013116. ACM Press, New York (2000)"},{"key":"44_CR8","unstructured":"Kotulski, L.: Nested Software Structure Maintained by aedNLC graph grammar. In: Proceedings of the 24th IASTED International Multi-Conference Software Engineering, Innsbruck, Austria, pp. 335\u2013339 (2006)"},{"key":"44_CR9","unstructured":"Kotulski, L.: Model wspomagania generacji oprogramowania w \u015brodowisku rozproszonym za pomoc\u0105 gramatyk grafowych. Wydawnictwo Uniwersytetu Jagiello\u0144skiego, Krak\u00f3w (2000) ISBN 83-233-1391-1"},{"key":"44_CR10","doi-asserted-by":"crossref","unstructured":"Dymek, D., Kotulski, L.: On the hierarchical composition of the risk management evaluation in computer information systems. In: The Second International Conference DepCoS - RELCOMEX 2007, Szklarska Poreba, Poland, pp. 35\u201342 (2007)","DOI":"10.1109\/DEPCOS-RELCOMEX.2007.49"},{"key":"44_CR11","first-page":"315","volume":"16","author":"D. Dymek","year":"2006","unstructured":"Dymek, D., Kotulski, L.: Evaluation of Risk Attributes Driven by Periodically Changing System Functionality. Transaction on Engineering, Computing and Technology\u00a016, 315\u2013320 (2006)","journal-title":"Transaction on Engineering, Computing and Technology"},{"issue":"1","key":"44_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/966137.966138","volume":"9","author":"A. Bunker","year":"2004","unstructured":"Bunker, A., Gopalakrishnan, G., Mckee, S.A.: Formal hardware specification languages for protocol compliance verification. ACM Transactions on Design Automation of Electronic Systems\u00a09(1), 1\u201332 (2004)","journal-title":"ACM Transactions on Design Automation of Electronic Systems"},{"key":"44_CR13","unstructured":"Kotulski, L., Dymek, D.: On the load balancing of Business Intelligence Reporting Systems. In: Proceedings of the AIS SIGSAND European Symposium on Systems Analysis and Design, University of Gdansk, Poland, pp. 121\u2013125 (2007)"},{"key":"44_CR14","volume-title":"Refactoring: Improving the Design of Existing Code","author":"M. Flower.","year":"2000","unstructured":"Flower., M., Beck, K., Brant, J., Opdyke, W.: Refactoring: Improving the Design of Existing Code. Addison-Wesley Longman Publishing Co. Inc., Amsterdam (2000)"},{"key":"44_CR15","unstructured":"UML Diagram Interchange, OMG, version 1.0, www.omg.org\/technology\/documents\/modeling_spec_catalog"},{"key":"44_CR16","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1145\/503209.503235","volume-title":"The 8th European Software Engineering Conference held jointly with ESEC\/FSE-9","author":"G. Engels","year":"2001","unstructured":"Engels, G., K\u00fcster, J.M., Heckel, R., Groenewegen, L.: A methodology for specifying and analyzing consistency of object-oriented behavioral models. In: The 8th European Software Engineering Conference held jointly with ESEC\/FSE-9, pp. 186\u2013195. ACM, New York (2001)"},{"issue":"1","key":"44_CR17","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/1125808.1125811","volume":"15","author":"C. Snook","year":"2006","unstructured":"Snook, C., Butler, M.: UML-B: Formal modeling and design aided by UML. ACM Transaction on Software Engineering Methodology\u00a015(1), 92\u2013122 (2006)","journal-title":"ACM Transaction on Software Engineering Methodology"},{"key":"44_CR18","doi-asserted-by":"crossref","unstructured":"Dymek, D., Kotulski, L.: Using UML(VR) for supporting the automated test data generation. In: The Third International Conference DepCoS - RELCOMEX 2008, Szklarska Poreba, Poland (2008)","DOI":"10.1109\/DepCoS-RELCOMEX.2008.57"}],"container-title":["Lecture Notes in Computer Science","Computational Science \u2013 ICCS 2008"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69384-0_44","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T07:35:28Z","timestamp":1738308928000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69384-0_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540693833","9783540693840"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69384-0_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}