{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T11:52:21Z","timestamp":1742385141870,"version":"3.28.0"},"reference-count":32,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1109\/icse.2003.1201200","type":"proceedings-article","created":{"date-parts":[[2004,6,22]],"date-time":"2004-06-22T20:27:43Z","timestamp":1087936063000},"page":"198-207","source":"Crossref","is-referenced-by-count":8,"title":["Sound methods and effective tools for engineering modeling and analysis"],"prefix":"10.1109","author":[{"given":"D.","family":"Coppit","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.J.","family":"Sullivan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2002.1007998"},{"key":"17","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1049\/sej.1994.0034","article-title":"problems, methods and specialisation","volume":"9","author":"jackson","year":"1994","journal-title":"Software Engineering Journal"},{"journal-title":"ZTC A Type Checker for Z Notation User's Guide","year":"0","author":"jia","key":"18"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/32.328993"},{"journal-title":"DOME Users' Guide","year":"0","author":"honeywell","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.2514\/3.20109"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.1997.571666"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/24.159800"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/24.855536"},{"key":"21","article-title":"The generic modeling environment","author":"ledeczi","year":"0","journal-title":"Workshop on Intelligent Signal Processing Budapest Hungary 17 May 2001"},{"key":"20","article-title":"Why are formal methods not used more widely?","author":"knight","year":"0","journal-title":"Fourth NASA Formal Methods Workshop Hampton Virginia September 1997"},{"year":"0","key":"22"},{"year":"1996","key":"23"},{"key":"24","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1007\/BFb0027284","article-title":"The Z\/EVES system","author":"saaltink","year":"1997","journal-title":"ZUM 97 The Z Formal Specification Notation Proc 10th Int l Conf of Z Users"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/52.60586"},{"journal-title":"Fuzz Manual","year":"0","author":"spivey","key":"26"},{"journal-title":"The Z Notation A Reference Manual","year":"1992","author":"spivey","key":"27"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/6294.918216"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1999.781056"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/24.799898"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/258077.258078"},{"journal-title":"Mail and Internet Surveys The Tailored Design Method","year":"1999","author":"dillman","key":"10"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/226241.226244"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1996.493418"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2000.870487"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2003.1201200"},{"article-title":"Launch control safety study","year":"1961","author":"watson","key":"32"},{"article-title":"Dynamic fault tree models: Techniques for analysis of advanced fault tolerant computer systems","year":"1991","author":"boyd","key":"5"},{"journal-title":"Fault Tree Handbook","year":"1981","author":"veseley","key":"31"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.1998.653591"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2000.885878"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337210"}],"event":{"name":"25th International Conference on Software Engineering, 2003. Proceedings.","start":{"date-parts":[[2003,5,10]]},"location":"Portland, OR, USA","end":{"date-parts":[[2003,5,10]]}},"container-title":["25th International Conference on Software Engineering, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8548\/27042\/01201200.pdf?arnumber=1201200","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T08:15:30Z","timestamp":1497600930000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1201200\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/icse.2003.1201200","relation":{},"subject":[],"published":{"date-parts":[[2003]]}}}