{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:26:01Z","timestamp":1725557161416},"reference-count":3,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icse.2004.1317500","type":"proceedings-article","created":{"date-parts":[[2004,9,28]],"date-time":"2004-09-28T13:50:22Z","timestamp":1096379422000},"page":"711-712","source":"Crossref","is-referenced-by-count":1,"title":["Statestep: a tool for systematic, incremental specification"],"prefix":"10.1109","author":[{"given":"M.","family":"Breen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Statestep website","year":"0","key":"3"},{"key":"2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511600821.025","article-title":"Discount dialogue modelling with action simulator","author":"monk","year":"1994","journal-title":"People and Computers IX Proceedings of HCI"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/234426.234431"}],"event":{"name":"Proceedings. 26th International Conference on Software Engineering","acronym":"ICSE-04","location":"Edinburgh, UK"},"container-title":["Proceedings. 26th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9201\/29176\/01317500.pdf?arnumber=1317500","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,8,8]],"date-time":"2018-08-08T09:45:06Z","timestamp":1533721506000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1317500\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":3,"URL":"https:\/\/doi.org\/10.1109\/icse.2004.1317500","relation":{},"subject":[]}}