{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:18:15Z","timestamp":1725664695457},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540609735"},{"type":"electronic","value":"9783540497493"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-60973-3_80","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:08:48Z","timestamp":1330272528000},"page":"60-73","source":"Crossref","is-referenced-by-count":5,"title":["Quantitative analysis of an application of formal methods"],"prefix":"10.1007","author":[{"given":"Juan","family":"Bicarregui","sequence":"first","affiliation":[]},{"given":"Jeremy","family":"Dick","sequence":"additional","affiliation":[]},{"given":"Eoin","family":"Woods","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"4_CR1","volume-title":"Supporting the length of formal development: from diagrams to VDM to B to C Proceedings","author":"J. C. Bicarregui","year":"1995","unstructured":"J.C. Bicarregui, J. Dick and E. Woods, Supporting the length of formal development: from diagrams to VDM to B to C Proceedings, 7th International Conference on: Putting into practice method and tools for information system design, Nantes (France), October '95, IUT de Nantes, H. Habrias (Editor) 1995."},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"J.C. Bicarregui and B. Ritchie. Invariants, frames and postconditions: a comparison of the VDM and B notations. In Proceedings of Formal Methods Europe '93, Lecture Notes in Computer Science, Springer-Verlag, 1993.","DOI":"10.1007\/BFb0024645"},{"key":"4_CR3","unstructured":"Jeremy Dick and Jerome Loubersac. A Visual Approach to VDM: Entity-Structure Diagrams. Technical Report DE\/DRPA\/91001, Bull, 68, Route de Versailles, 78430 Louveciennes (France), January 1991."},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Jeremy Dick and Alain Faivre. Automating the generation and sequencing of test cases from model-based specifications. In J.C.P. Woodcock and P.G. Larsen, editors, FME'93: Industrial-Strength Formal Methods, pages 268\u2013284, Formal Methods Europe, Springer-Verlag, April 1993. Lecture Notes in Computer Science 670.","DOI":"10.1007\/BFb0024651"},{"key":"4_CR5","unstructured":"J.Dick, Fault grids: another way of presenting fault counts, Software Reliability and Metrics Club Newsletter, Issue 16, July 1995, p 2\u20134. (published by the Centre for Software Reliability, University of Newcastle upon Tyne)."},{"key":"4_CR6","unstructured":"Des Maisey and Jeremy Dick, Measuring the quality of the development life cycle process, Submitted to SQM96, Software Quality Measurement."},{"key":"4_CR7","volume-title":"System Construction and Certification using ISO9001\/EN29001\/BS5750","author":"U.K. Department of Trade and Industry","year":"1992","unstructured":"U.K. Department of Trade and Industry, TickIT: Guide to Software Quality Management, System Construction and Certification using ISO9001\/EN29001\/BS5750 Part 1, February 1992, TickIT Project Office, 68 Newman Street, London, W1A 4SE, UK."},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"M.C. Paulk, W. Curtis, M.B. Chrissis, C.V. Weber, Capability Maturity Model for Software, Version 1.1, Carnegie Mellon University Software Engineering Institute Technical Report, CME\/SEI-93-TR-24, February 1993.","DOI":"10.21236\/ADA263403"},{"key":"4_CR9","unstructured":"E. Woods, The Development of a Software Subsystem Using VDM and B, University of Manchester, Board for Continuing Education, Department of Computer Science, MSc Thesis, 1995."},{"key":"4_CR10","unstructured":"J. Dick and E. Woods, Lessons Learned Applying Formal Methods to System Software Development, submitted (July 1995) to IEEE Software."},{"key":"4_CR11","isbn-type":"print","volume-title":"The Yourdon Systems Method: Model Driven Systems Development","author":"Yourdon Inc.","year":"1993","unstructured":"Yourdon Inc., The Yourdon Systems Method: Model Driven Systems Development, Prentice Hall, Englewood Cliffs, NJ, USA, 1993, ISBN 0-13-285818-5","ISBN":"http:\/\/id.crossref.org\/isbn\/0132858185"}],"container-title":["Lecture Notes in Computer Science","FME'96: Industrial Benefit and Advances in Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60973-3_80.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:03:13Z","timestamp":1605628993000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60973-3_80"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540609735","9783540497493"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-60973-3_80","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}