{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T06:23:17Z","timestamp":1748586197787,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,9]]},"DOI":"10.1109\/icacci.2017.8126072","type":"proceedings-article","created":{"date-parts":[[2017,12,4]],"date-time":"2017-12-04T17:26:11Z","timestamp":1512408371000},"page":"1609-1612","source":"Crossref","is-referenced-by-count":3,"title":["Building a common notation for enabling comparison of design and execution"],"prefix":"10.1109","author":[{"given":"K.","family":"Aparna","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Swaminathan","family":"Jayaraman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062602"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321733"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2015.02.143"},{"journal-title":"Papyrus","article-title":"Papyrus Modeling environment","year":"0","key":"ref13"},{"volume":"5057 1","journal-title":"Drawing UML with PlantUML","year":"0","key":"ref14"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/IC3.2015.7346742"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/IC3.2014.6897190"},{"key":"ref6","article-title":"Reasoning About Programs","author":"panagiotis","year":"2012","journal-title":"Technical Report"},{"key":"ref5","first-page":"235","article-title":"Reasoning about programs","volume":"5 3","year":"1974","journal-title":"Artificial Intelligence"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/IC3.2015.7346721"},{"journal-title":"Unified Modeling Language 2 0","year":"0","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1056018.1056032"},{"year":"0","key":"ref1"},{"key":"ref9","first-page":"1485","article-title":"Magnify - A new tool for software visualization","author":"bartoszuk","year":"2013","journal-title":"Federated Conference on Computer Science and Information Systems"}],"event":{"name":"2017 International Conference on Advances in Computing, Communications and Informatics (ICACCI)","start":{"date-parts":[[2017,9,13]]},"location":"Udupi","end":{"date-parts":[[2017,9,16]]}},"container-title":["2017 International Conference on Advances in Computing, Communications and Informatics (ICACCI)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8119306\/8125802\/08126072.pdf?arnumber=8126072","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,1,15]],"date-time":"2018-01-15T17:51:07Z","timestamp":1516038667000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8126072\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/icacci.2017.8126072","relation":{},"subject":[],"published":{"date-parts":[[2017,9]]}}}