{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T17:02:31Z","timestamp":1760547751602},"reference-count":14,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/date.2004.1268873","type":"proceedings-article","created":{"date-parts":[[2004,6,21]],"date-time":"2004-06-21T21:52:40Z","timestamp":1087854760000},"page":"358-363","source":"Crossref","is-referenced-by-count":7,"title":["SoftContract: an assertion-based software development process that enables design-by-contract"],"prefix":"10.1109","author":[{"given":"J.-Y.","family":"Brunel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Di Natale","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Ferrari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Giusto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Lavagno","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"The Mathworks Simulink and StateFlow","year":"0","key":"13"},{"journal-title":"Advances in Car Technology Bring High-class Headaches","year":"2003","author":"today","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1998.739770"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1997.641286"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/BF01245300"},{"journal-title":"ETAS Ascet-SD","year":"0","key":"2"},{"journal-title":"Rosetta Usage Guide","year":"0","author":"alexander","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1997.641280"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/32.368134"},{"journal-title":"UML profile for schedulability performance and time","year":"2002","key":"6"},{"journal-title":"DSpace TargetLink","year":"0","key":"5"},{"key":"4","article-title":"Automatic generation of simulation monitors from quantitative constr aint formula","author":"chen","year":"2003","journal-title":"Proceedings of Design Automation and Test in Europe"},{"key":"9","article-title":"Mast real-time view: A graphic uml tool for modeling objectoriented real-time systems","author":"medina","year":"2001","journal-title":"Proceedings of IEEE Real-Time Systems Symposium"},{"journal-title":"Accellera Property Specification Language","year":"0","key":"8"}],"event":{"name":". Design, Automation and Test in Europe Conference and Exhibition","acronym":"DATE-04","location":"Paris, France"},"container-title":["Proceedings Design, Automation and Test in Europe Conference and Exhibition"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8959\/28390\/01268873.pdf?arnumber=1268873","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T02:00:31Z","timestamp":1489456831000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1268873\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/date.2004.1268873","relation":{},"subject":[]}}