{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T16:49:39Z","timestamp":1725382179367},"reference-count":23,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/hase.2000.895443","type":"proceedings-article","created":{"date-parts":[[2002,11,11]],"date-time":"2002-11-11T09:56:01Z","timestamp":1037008561000},"page":"65-74","source":"Crossref","is-referenced-by-count":0,"title":["Capturing an application's temporal properties with UML for Real-Time"],"prefix":"10.1109","author":[{"family":"Weiguo He","sequence":"first","affiliation":[]},{"given":"S.","family":"Goddard","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Modeling Hard Real-Time Systems with UML the OOHarts Approach","author":"kabous","year":"1999","journal-title":"Proceedings of the Second International Conference on the Unified Modeling Language (UML '99)"},{"journal-title":"Real-Time Systems","year":"2000","author":"liu","key":"ref11"},{"journal-title":"UML for Real-Time Overview","year":"1998","author":"lyons","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.1999.809475"},{"journal-title":"Rational Rose RealTime 6 0","year":"2000","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1997.641286"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1998.739734"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2000.853997"},{"key":"ref18","first-page":"446","article-title":"Temporal Logic Specification of Distributed Systems","author":"schwartz","year":"1981","journal-title":"Proc 1st IEEE Int Conf on Distributed Comput Syst"},{"key":"ref19","article-title":"Periodic Tasks in ROOM","author":"selic","year":"1995","journal-title":"workshop on OO real-time systems ACM OOPSLA'95 Conference"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/BF01245300"},{"key":"ref3","doi-asserted-by":"crossref","DOI":"10.1109\/RTTAS.1997.601350","article-title":"Debugging and Testing Real-Time Specifications: A Flexible, Extensible Simulation Environment for the Modechart Toolset","author":"brockmeyer","year":"1997","journal-title":"Real-Time Technology and Applications Symposium Workshop (RTAS)"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"journal-title":"Software Design Methods for Concurrent and Real-time Systems","year":"1993","author":"gomaa","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6313045"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/32.368134"},{"journal-title":"The Unified Modeling Language User Guide","year":"1999","author":"booch","key":"ref2"},{"journal-title":"Object-Oriented Technology for Real-Time Systems A Practical Approach Using OMT ad Fusion","year":"1996","author":"awad","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1999.818858"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/317665.317675"},{"journal-title":"Using UML for Modeling Complex Real-Time Systems","year":"1998","author":"selic","key":"ref22"},{"journal-title":"Real-Time Object-Oriented Modeling","year":"1994","author":"selic","key":"ref21"},{"journal-title":"The Rose Family Grows","year":"1999","author":"shahani","key":"ref23"}],"event":{"name":"HASE 2000. 5th IEEE International Symposium on High-Assurance Systems Engineering","acronym":"HASE-00","location":"Albuquerque, NM, USA"},"container-title":["Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/7194\/19380\/00895443.pdf?arnumber=895443","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T09:56:39Z","timestamp":1497520599000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/895443\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/hase.2000.895443","relation":{},"subject":[]}}