{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T16:08:38Z","timestamp":1742400518319},"reference-count":19,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icre.2003.1232750","type":"proceedings-article","created":{"date-parts":[[2004,4,23]],"date-time":"2004-04-23T14:38:15Z","timestamp":1082731095000},"page":"188-199","source":"Crossref","is-referenced-by-count":3,"title":["Understanding and comparing model-based specification notations"],"prefix":"10.1109","author":[{"given":"J.","family":"Niu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.M.","family":"Atlee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N.A.","family":"Day","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/32.317428"},{"journal-title":"The Temporal Logic of Reactive and Concurrent Systems Specification","year":"1991","author":"manna","key":"ref11"},{"journal-title":"Communication and Concurrency","year":"1989","author":"milner","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/587051.587074"},{"key":"ref15","article-title":"Template semantics for model-based notations","author":"niu","year":"2003","journal-title":"Technical Report CS-2003–19"},{"journal-title":"Unified Modeling Language (UML) v1 4 2","article-title":"Object Management Group","year":"2001","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/356698.356702"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1007\/3-540-54415-1_49","article-title":"What is in a step: On the semantics of statecharts","author":"pnueli","year":"1991","journal-title":"Proceedings of the Symposium on Theoretical Aspects of Computer Software"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/3-540-58468-4_163","article-title":"A comparison of statecharts variants","author":"von der beeck","year":"1994","journal-title":"Formal Techniques in Real Time and Fault-Tolerant Systems"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/235321.235322"},{"key":"ref3","first-page":"54","article-title":"On the formal semantics of statecharts","author":"harel","year":"1987","journal-title":"Proc Symp Logic in Comp Sci"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/234426.234431"},{"key":"ref5","article-title":"The SCR tabular notation","author":"heitmeyer","year":"0","journal-title":"A formal foundation 2003 NLRIMR\/5546–03–8678"},{"journal-title":"Technical Report ISO","year":"1988","key":"ref8"},{"journal-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"journal-title":"Compilers Principles Techniques and Tools","year":"1986","author":"aho","key":"ref1"},{"journal-title":"Technical Report Z-100","article-title":"Recommendation Z.100. Specification and Description Language (SDL)","year":"1999","key":"ref9"}],"event":{"name":"11th IEEE International Requirements Engineering Conference","acronym":"ICRE-03","location":"Monterey Bay, CA, USA"},"container-title":["Journal of Lightwave Technology"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8725\/27626\/01232750.pdf?arnumber=1232750","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T02:22:29Z","timestamp":1497579749000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1232750\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/icre.2003.1232750","relation":{},"subject":[]}}