{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,11,18]],"date-time":"2023-11-18T16:38:56Z","timestamp":1700325536456},"reference-count":24,"publisher":"Institution of Engineering and Technology (IET)","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEE Proc., Softw."],"published-print":{"date-parts":[[1999]]},"DOI":"10.1049\/ip-sen:19990156","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T11:09:42Z","timestamp":1027681782000},"page":"44","source":"Crossref","is-referenced-by-count":10,"title":["Restructuring requirements specifications"],"prefix":"10.1049","volume":"146","author":[{"given":"A.","family":"Russo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.","family":"Nuseibeh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Kramer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"265","reference":[{"key":"10.1049\/ip-sen:19990156_r1","doi-asserted-by":"crossref","first-page":"760","DOI":"10.1109\/32.328995","volume":"20","author":"NUSEIBEH","year":"1994","ISSN":"http:\/\/id.crossref.org\/issn\/0098-5589","issn-type":"print"},{"key":"10.1049\/ip-sen:19990156_r2","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1049\/sej.1996.0004","volume":"11","author":"EASTERBROOK","year":"1996","ISSN":"http:\/\/id.crossref.org\/issn\/0268-6961","issn-type":"print"},{"key":"10.1049\/ip-sen:19990156_r3","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1142\/S0218194092000038","volume":"2","author":"FINKELSTEIN","year":"1992","ISSN":"http:\/\/id.crossref.org\/issn\/0218-1940","issn-type":"print"},{"key":"10.1049\/ip-sen:19990156_r4","first-page":"209","volume":"2","author":"EASTERBROOK","year":"1994"},{"key":"10.1049\/ip-sen:19990156_r5","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/0164-1212(92)90089-3","volume":"17","author":"KELLY","year":"1992","ISSN":"http:\/\/id.crossref.org\/issn\/0164-1212","issn-type":"print"},{"key":"10.1049\/ip-sen:19990156_r6","unstructured":"\u2018\u2018Experiences using formal methods for requirement modeling\u2019. NASA\u2215WVU Software Research Lab, Fairmont, WV\u2019, 1996"},{"key":"10.1049\/ip-sen:19990156_r7","first-page":"126","author":"MULLERY","year":"1979","journal-title":"4th Int. Conf. on Software engineering (ICSE-4)"},{"key":"10.1049\/ip-sen:19990156_r8","first-page":"433","volume":"3","author":"SPANOUDAKIS","year":"1997"},{"key":"10.1049\/ip-sen:19990156_r9","unstructured":"\u2018\u2018Formal methods and their role in certification of critical systems\u2019. Computer Science Laboratory, SRI International, Menlo Park, CA\u2019, 1995"},{"key":"10.1049\/ip-sen:19990156_r10","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1109\/ISRE.1997.566844","author":"HUNTER","year":"1997","journal-title":"3rd Int. Symposium on Requirements engineering (RE\u201997)"},{"key":"10.1049\/ip-sen:19990156_r11","first-page":"569","volume":"20","author":"FINKELSTEIN","year":"1994"},{"key":"10.1049\/ip-sen:19990156_r12","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1109\/32.345825","volume":"21","author":"CRAIGEN","year":"1995","ISSN":"http:\/\/id.crossref.org\/issn\/0098-5589","issn-type":"print"},{"key":"10.1049\/ip-sen:19990156_r13","doi-asserted-by":"crossref","first-page":"160","DOI":"10.1109\/ISRE.1997.566865","author":"EASTERBROOK","year":"1997","journal-title":"3rd Int. Symposium on Requirements engineering (RE\u201997)"},{"key":"10.1049\/ip-sen:19990156_r14","first-page":"27","author":"HEITMEYER","year":"1995","journal-title":"2nd Int. Symposium on Requirements engineering (RE\u201995)"},{"key":"10.1049\/ip-sen:19990156_r15","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1109\/32.345827","volume":"21","author":"OWRE","year":"1995","ISSN":"http:\/\/id.crossref.org\/issn\/0098-5589","issn-type":"print"},{"key":"10.1049\/ip-sen:19990156_r16","author":"LUTZ","year":"1993","journal-title":"1st Int. Symposium on Requirements engineering (RE\u201993)"},{"key":"10.1049\/ip-sen:19990156_r17","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"HAREL","year":"1987","ISSN":"http:\/\/id.crossref.org\/issn\/0167-6423","issn-type":"print"},{"key":"10.1049\/ip-sen:19990156_r18","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1109\/32.508311","volume":"22","author":"HEIMDAHL","year":"1996","ISSN":"http:\/\/id.crossref.org\/issn\/0098-5589","issn-type":"print"},{"key":"10.1049\/ip-sen:19990156_r19","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1109\/32.75414","volume":"17","author":"JAFFE","year":"1991","ISSN":"http:\/\/id.crossref.org\/issn\/0098-5589","issn-type":"print"},{"key":"10.1049\/ip-sen:19990156_r20","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1145\/226241.226249","volume":"4","author":"JACKSON","year":"1995","ISSN":"http:\/\/id.crossref.org\/issn\/1049-331X","issn-type":"print"},{"key":"10.1049\/ip-sen:19990156_r21","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1145\/253228.253255","author":"ROBINSON","year":"1997","journal-title":"Proc. 19th Int. Conf. on Software engineering (ICSE-19)"},{"key":"10.1049\/ip-sen:19990156_r22","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1109\/32.588520","volume":"23","author":"DUTERTE","year":"1997","ISSN":"http:\/\/id.crossref.org\/issn\/0098-5589","issn-type":"print"},{"key":"10.1049\/ip-sen:19990156_r23","doi-asserted-by":"crossref","first-page":"484","DOI":"10.1109\/32.538605","volume":"22","author":"JACKSON","year":"1996","ISSN":"http:\/\/id.crossref.org\/issn\/0098-5589","issn-type":"print"},{"key":"10.1049\/ip-sen:19990156_r24","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1145\/234426.234427","volume":"5","author":"CUGOLA","year":"1996","ISSN":"http:\/\/id.crossref.org\/issn\/1049-331X","issn-type":"print"}],"container-title":["IEE Proceedings - Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/ip-sen_19990156?crawler=true&mimetype=application\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T03:16:44Z","timestamp":1609471004000},"score":1,"resource":{"primary":{"URL":"https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/ip-sen_19990156"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"references-count":24,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1999]]}},"URL":"https:\/\/doi.org\/10.1049\/ip-sen:19990156","relation":{},"ISSN":["1462-5970"],"issn-type":[{"value":"1462-5970","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}