{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T21:22:38Z","timestamp":1725398558483},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,10]]},"DOI":"10.1109\/icat.2011.6102116","type":"proceedings-article","created":{"date-parts":[[2011,12,22]],"date-time":"2011-12-22T18:05:58Z","timestamp":1324577158000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["Towards safe data flow processing by integration of design by contract in deterministic UML activities"],"prefix":"10.1109","author":[{"given":"Zamira","family":"Daw","sequence":"first","affiliation":[]},{"given":"Marcus","family":"Vetter","sequence":"additional","affiliation":[]},{"given":"Josef","family":"Boercsoek","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Model-driven timing analysis and verification for safety-critical embedded sys-tems","author":"daw","year":"2011","journal-title":"Proceedings of the 24th Internactional Congress on Condition Monitoring and Diagnostics Engineering Management"},{"journal-title":"Superstructure V2 3","article-title":"UML Unified Modeling Language","year":"0","key":"ref11"},{"year":"2006","key":"ref12","article-title":"Object Constraint Language Version 2.0"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/2.774917"},{"key":"ref14","first-page":"295","article-title":"iContract the JavaTM Design by Contract Tool","author":"kramer","year":"1998","journal-title":"Proc Technology of Object-Oriented Languages TOOLS 26"},{"journal-title":"Design by Contract with JML","year":"2005","author":"leavens","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1774088.1774531"},{"journal-title":"High Integrity Software The SPARK Approach to Safety and Security","year":"2003","author":"barnes","key":"ref17"},{"journal-title":"Perfect developer Escher Technologies Limited","year":"2011","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-85729-408-1_2"},{"key":"ref4","article-title":"An Approach to Designing Safety Critical Systems using the Unified Modelling Language","author":"hawkins","year":"2003","journal-title":"UML03 workshop"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(88)90022-2"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2004.68"},{"key":"ref5","article-title":"Developing Safety Contracts for 00 Systems","author":"bate","year":"2003","journal-title":"21st International System Safety Conference"},{"key":"ref8","first-page":"19","article-title":"Components and Contracts for Embedded Software","author":"li","year":"2005","journal-title":"Proc 12th IEEE Int Conf and Workshops the Engineering of Computer-Based Systems ECBS'05"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/EURMIC.2004.1333355"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/2.562936"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.79"}],"event":{"name":"2011 XXIII International Symposium on Information, Communication and Automation Technologies (ICAT)","start":{"date-parts":[[2011,10,27]]},"location":"Sarajevo, Bosnia and Herzegovina","end":{"date-parts":[[2011,10,29]]}},"container-title":["2011 XXIII International Symposium on Information, Communication and Automation Technologies"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6093619\/6102075\/06102116.pdf?arnumber=6102116","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,23]],"date-time":"2021-12-23T04:15:29Z","timestamp":1640232929000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6102116\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/icat.2011.6102116","relation":{},"subject":[],"published":{"date-parts":[[2011,10]]}}}