{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T16:41:07Z","timestamp":1742402467336},"reference-count":22,"publisher":"Elsevier BV","issue":"8","license":[{"start":{"date-parts":[[1997,8,1]],"date-time":"1997-08-01T00:00:00Z","timestamp":870393600000},"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":["Information and Software Technology"],"published-print":{"date-parts":[[1997,8]]},"DOI":"10.1016\/s0950-5849(97)00013-x","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T14:22:28Z","timestamp":1027606948000},"page":"551-560","source":"Crossref","is-referenced-by-count":3,"title":["Lessons learned from rigorous system software development"],"prefix":"10.1016","volume":"39","author":[{"given":"Jeremy","family":"Dick","sequence":"first","affiliation":[]},{"given":"Eoin","family":"Woods","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0950-5849(97)00013-X_bib1","unstructured":"Bull Information Systems SA, Distributed computing FlowBus product overview, Bull Open Software, 86 A2 51CD, Bull S.A. CEDOC."},{"key":"10.1016\/S0950-5849(97)00013-X_bib2","series-title":"UK Department of Trade and Industry, TickIT: Guide to Software Quality Management System Construction and Certification using ISO9001\/EN29001\/BS5750","year":"1992"},{"key":"10.1016\/S0950-5849(97)00013-X_bib3","article-title":"Capability Maturity Model for Software","author":"Paulk","year":"1993","journal-title":"Carnegie Mellon University Software Engineering Institute Technical Report, CMU\/SEI-93TR-24"},{"key":"10.1016\/S0950-5849(97)00013-X_bib4","series-title":"The Yourdon Systems Method: Model Driven Systems Development","author":"Yourdon Inc","year":"1993"},{"key":"10.1016\/S0950-5849(97)00013-X_bib5","article-title":"Systematic Software Development using VDM","author":"Jones","year":"1990"},{"key":"10.1016\/S0950-5849(97)00013-X_bib6","series-title":"The B-Book \u2014 Assigning Programs to Meanings","author":"Abrial","year":"1996"},{"key":"10.1016\/S0950-5849(97)00013-X_bib7","series-title":"B-Technology Technical Overview","author":"Abrial","year":"1993"},{"key":"10.1016\/S0950-5849(97)00013-X_bib8","unstructured":"J. Hoare, The Formal Development of CICS with B, in Bull Information Systems SA, Distributed computing FlowBus product overview.Bull Open Software, 86 A2 51CD, Bull S.A. CEDOC."},{"key":"10.1016\/S0950-5849(97)00013-X_bib9","first-page":"107","article-title":"An Approach to Testing during Formal Development with the B Method, Euromicro 96 Short Contributions","author":"Ormsby","year":"1997"},{"key":"10.1016\/S0950-5849(97)00013-X_bib10","first-page":"60","article-title":"Quantitative analysis of an application of formal methods","volume":"Vol. 1051","author":"Bicarregui","year":"1996"},{"issue":"3","key":"10.1016\/S0950-5849(97)00013-X_bib11","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1007\/BF00678584","article-title":"Measuring the quality of the development lifecycle process","volume":"5","author":"Maisey","year":"1996","journal-title":"Software Quality J."},{"key":"10.1016\/S0950-5849(97)00013-X_bib12","article-title":"Introducing formal methods: the CICS experience with Z","author":"Collins","year":"1987","journal-title":"IBM Hursley Technical Report"},{"issue":"4","key":"10.1016\/S0950-5849(97)00013-X_bib13","first-page":"56","volume":"28","author":"Bowen","year":"1995","journal-title":"Ten commandments of formal methods. Computer"},{"key":"10.1016\/S0950-5849(97)00013-X_bib14","article-title":"Applications of Formal Methods","author":"Hinchey","year":"1995"},{"issue":"9","key":"10.1016\/S0950-5849(97)00013-X_bib15","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1109\/2.58215","article-title":"A specifier's introduction to formal methods","volume":"23","author":"Wing","year":"1990","journal-title":"Computer"},{"key":"10.1016\/S0950-5849(97)00013-X_bib16","series-title":"Software Development with B: An Introduction","author":"Wordsworth","year":"1996"},{"key":"10.1016\/S0950-5849(97)00013-X_bib17","series-title":"International Series in Computer Science","author":"Spivey","year":"1992"},{"key":"10.1016\/S0950-5849(97)00013-X_bib18","series-title":"Proc. FME 96: Industrial Benefit of Formal Methods","first-page":"26","article-title":"Formal methods in the railway signalling industry","volume":"Vol. 1051","author":"Dehbonei","year":"1996"},{"key":"10.1016\/S0950-5849(97)00013-X_bib19","series-title":"The B Language and Method \u2014 a Guide to Practical Formal Development","author":"Lano","year":"1996"},{"key":"10.1016\/S0950-5849(97)00013-X_bib20","series-title":"Specification in B: an Introduction Using the B-Toolkit","author":"Lano","year":"1996"},{"issue":"2","key":"10.1016\/S0950-5849(97)00013-X_bib21","first-page":"in press","article-title":"Making the most of formal specification through animation testing proof","volume":"28","author":"Bicarregui","year":"1997","journal-title":"Sci. Comput. Programming"},{"key":"10.1016\/S0950-5849(97)00013-X_bib22","article-title":"Automatic partition analysis of VDM specifications","author":"Dick","year":"1992","journal-title":"Bull Corporate Research Centre Technical Report, RAD\/DMA\/92027"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S095058499700013X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S095058499700013X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T18:20:39Z","timestamp":1556043639000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S095058499700013X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,8]]},"references-count":22,"journal-issue":{"issue":"8","published-print":{"date-parts":[[1997,8]]}},"alternative-id":["S095058499700013X"],"URL":"https:\/\/doi.org\/10.1016\/s0950-5849(97)00013-x","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[1997,8]]}}}