{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,17]],"date-time":"2026-05-17T11:19:49Z","timestamp":1779016789195,"version":"3.51.4"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1109\/mise.2013.6595291","type":"proceedings-article","created":{"date-parts":[[2013,9,19]],"date-time":"2013-09-19T11:57:08Z","timestamp":1379591828000},"page":"18-23","source":"Crossref","is-referenced-by-count":2,"title":["Lightweight analysis of software design models at the whiteboard"],"prefix":"10.1109","author":[{"given":"Alfredo","family":"Motta","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicolas","family":"Mangano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andre","family":"van der Hoek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/584369.584375"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/223904.223910"},{"key":"18","doi-asserted-by":"crossref","first-page":"510","DOI":"10.1145\/332040.332486","article-title":"DENIM: Finding a tighter fit between tools and practice for Web site design","author":"lin","year":"2000","journal-title":"Proceedings of the SIGCHI conference on Human factors in computing systems"},{"key":"15","author":"dean","year":"2007","journal-title":"Software Engineering Advice from Building Large-scale Distributed Systems"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1561\/1100000013"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1006\/jvlc.1996.0009"},{"key":"14","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1007\/11691372_29","article-title":"PRISM : A tool for automatic verification of probabilistic systems","author":"hinton","year":"2006","journal-title":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.33"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87879-7_8"},{"key":"21","first-page":"510","article-title":"Sketch-based diagram editors with user assistance based on graph transformation and graph drawing techniques","volume":"32","author":"mazanek","year":"2011","journal-title":"Electronic Communications of the EASST"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859003"},{"key":"22","year":"2009","journal-title":"UML Profile for MARTE Modeling and Analysis of Real-Time Embedded Systems"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287669"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1016\/j.jvlc.2009.12.003"},{"key":"25","author":"schon","year":"1983","journal-title":"The Reflective Practitioner"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008716330212"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2008.03.066"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/2237796.2237811"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1125944.1125949"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.9"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-40011-7_29"},{"key":"6","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","article-title":"NuSMV 2 : An opensource tool for symbolic model checking","author":"cimatti","year":"2002","journal-title":"Computer Aided Verification (CAV)"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/HCC.2003.1260232"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062601"},{"key":"9","first-page":"261","article-title":"Notation and representation in collaborative object-oriented design : An observational study","author":"dekel","year":"2007","journal-title":"ACM conference on object-oriented programming systems languages and applications"},{"key":"8","first-page":"125","article-title":"Uppaal 4.0","author":"david","year":"2006","journal-title":"Proc 1st Int Conf Quantitative Evaluation Systems (QEST)"}],"event":{"name":"2013 5th International Workshop on Modeling in Software Engineering (MiSE)","location":"San Francisco, CA, USA","start":{"date-parts":[[2013,5,18]]},"end":{"date-parts":[[2013,5,19]]}},"container-title":["2013 5th International Workshop on Modeling in Software Engineering (MiSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6588674\/6595284\/06595291.pdf?arnumber=6595291","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T18:11:29Z","timestamp":1498068689000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6595291\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/mise.2013.6595291","relation":{},"subject":[],"published":{"date-parts":[[2013,5]]}}}