{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,13]],"date-time":"2026-07-13T10:16:50Z","timestamp":1783937810847,"version":"3.55.0"},"reference-count":19,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1998,3,1]],"date-time":"1998-03-01T00:00:00Z","timestamp":888710400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems and Software"],"published-print":{"date-parts":[[1998,3]]},"DOI":"10.1016\/s0164-1212(97)00167-2","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T22:26:53Z","timestamp":1027636013000},"page":"199-210","source":"Crossref","is-referenced-by-count":32,"title":["Formal methods for verification and validation of partial specifications: A case study"],"prefix":"10.1016","volume":"40","author":[{"given":"Steve","family":"Easterbrook","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"John","family":"Callahan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"key":"10.1016\/S0164-1212(97)00167-2_BIB1","series-title":"18th Minnowbrook Workshop on Software Engineering","article-title":"Reducing the Mean Time to Remove Faults Through Early Error Detection: An Experiment in Independent Verification and Validation","author":"Arthur","year":"1996"},{"key":"10.1016\/S0164-1212(97)00167-2_BIB2","series-title":"Proceedings of the 4th European Software Engineering Conference (ESEC'93)","article-title":"The Experience Factory and Its Relationship to other Improvement Paradigms","author":"Basili","year":"1993"},{"key":"10.1016\/S0164-1212(97)00167-2_BIB3","series-title":"Proceedings of the First ACM SIGPLAN Workshop on Automatic Analysis of Software","article-title":"Verifying SCR Requirements Specifications using State Exploration","author":"Bharadwaj","year":"1997"},{"key":"10.1016\/S0164-1212(97)00167-2_BIB4","series-title":"Tenth Annual Conference on Computer Assurance (COMPASS 95)","article-title":"NASA Langley's Research and Technology Transfer Program in Formal Methods","author":"Butler","year":"1995"},{"key":"10.1016\/S0164-1212(97)00167-2_BIB5","doi-asserted-by":"crossref","unstructured":"Callahan, J. R. and Montgomery, T. L. An Approach to Verification and Validation of a Reliable Multicasting Protocol. International Symposium on Software Testing and Analysis (ISSTA'96), San Diego, CA, 8\u201310.","DOI":"10.1145\/229000.226316"},{"key":"10.1016\/S0164-1212(97)00167-2_BIB6","first-page":"24","article-title":"A Process Improvement Model for Software Verification and Validation","volume":"Vol. 10","author":"Callahan","year":"1996","journal-title":"Journal of the Quality Assurance Institute"},{"key":"10.1016\/S0164-1212(97)00167-2_BIB7","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1109\/32.345825","article-title":"Formal Methods Reality Check: Industrial Usage","volume":"Vol. 21","author":"Craigen","year":"1995","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0164-1212(97)00167-2_BIB8","series-title":"Second World Conference on Integrated Design and Process Technology (IDPT-96)","article-title":"The Role of Independent IV & V in Upstream Software Development Processes","author":"Easterbrook","year":"1996"},{"key":"10.1016\/S0164-1212(97)00167-2_BIB9","series-title":"Second IEEE Symposium on Requirements Engineering","article-title":"Managing Inconsistencies in an Evolving Specification","author":"Easterbrook","year":"1995"},{"key":"10.1016\/S0164-1212(97)00167-2_BIB10","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1049\/sej.1996.0004","article-title":"Using Viewpoints for Inconsistency Management","volume":"Vol. 11","author":"Easterbrook","year":"1996","journal-title":"Software Engineering Journal"},{"key":"10.1016\/S0164-1212(97)00167-2_BIB11","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1109\/52.506463","article-title":"Using Formal Methods to Develop an ATC Information System","volume":"Vol. 13","author":"Hall","year":"1996","journal-title":"IEEE Software"},{"key":"10.1016\/S0164-1212(97)00167-2_BIB12","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1109\/32.508311","article-title":"Completeness and Consistency Analysis of State-Based Requirements","volume":"Vol. 22","author":"Heimdahl","year":"1996","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0164-1212(97)00167-2_BIB13","series-title":"Second IEEE Symposium on Requirements Engineering","article-title":"Consistency Checking of SCR-Style Requirements Specifications","author":"Heitmeyer","year":"1995"},{"key":"10.1016\/S0164-1212(97)00167-2_BIB14","author":"Holtzmann","year":"1991"},{"key":"10.1016\/S0164-1212(97)00167-2_BIB15","series-title":"International Symposium on Software Testing and Analysis (ISSTA '96)","article-title":"Elements of Style: Analyzing a software design with a counter-example detector","author":"Jackson","year":"1996"},{"key":"10.1016\/S0164-1212(97)00167-2_BIB16","article-title":"Cost-effectiveness of Software Independent Verification and Validation","author":"Jet Propulsion Lab","year":"1985"},{"key":"10.1016\/S0164-1212(97)00167-2_BIB17","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1109\/52.57891","article-title":"Integrating Formal Methods into the Development Process","volume":"Vol. 7","author":"Kemmerer","year":"1990","journal-title":"IEEE Software"},{"key":"10.1016\/S0164-1212(97)00167-2_BIB18","author":"Lewis","year":"1992"},{"key":"10.1016\/S0164-1212(97)00167-2_BIB19","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1109\/MC.1996.488298","article-title":"An Invitation to Formal Methods","volume":"Vol. 29","author":"Saiedian","year":"1996","journal-title":"IEEE Computer"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121297001672?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121297001672?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T05:55:26Z","timestamp":1555653326000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0164121297001672"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,3]]},"references-count":19,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1998,3]]}},"alternative-id":["S0164121297001672"],"URL":"https:\/\/doi.org\/10.1016\/s0164-1212(97)00167-2","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[1998,3]]}}}