{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:14:28Z","timestamp":1725484468445},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540000297"},{"type":"electronic","value":"9783540361039"}],"license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36103-0_2","type":"book-chapter","created":{"date-parts":[[2007,5,16]],"date-time":"2007-05-16T03:15:07Z","timestamp":1179285307000},"page":"3-19","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Developing Quality Software Systems Using the SOFL Formal Engineering Method"],"prefix":"10.1007","author":[{"given":"Shaoying","family":"Liu","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,10,10]]},"reference":[{"key":"2_CR1","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/BF00289504","volume":"2","author":"C.A.R. Hoare","year":"1973","unstructured":"C.A.R. Hoare and N. Wirth. An Axiomatic Definition of the Programming Language PASCAL. Acta Informatica, (2):335\u2013355, 1973.","journal-title":"Acta Informatica"},{"key":"2_CR2","unstructured":"Cli. B. Jones. Systematic Software Development Using VDM. Prentice-Hall International (UK) Ltd., 1990."},{"key":"2_CR3","unstructured":"Jim Woodcock and Jim Davies. Using Z: Specification, Refinement, and Proof. Prentice-Hall Europe, 1996."},{"key":"2_CR4","unstructured":"Ralph-Johan Back and Joakim von Wright. Refinement Calculus-A Systematic Introduction. Springer-Verlag, 1998."},{"key":"2_CR5","unstructured":"Steve Schneider. B-Method. Palgrave, 2001."},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Mike Gordon and Andrew Pitts. The HOL Logic and System. In J. Bowen, editor, Towards Verified Systems, volume 2 of Real-Time Safety Critical Systems series. Elsevier, 1994.","DOI":"10.1016\/B978-0-444-89901-9.50012-4"},{"key":"2_CR7","volume-title":"Technical Report NISTGCR 93\/626, U.S.","author":"D. Craigen","year":"1993","unstructured":"Dan Craigen, Susan Gerhart, and Ted Ralston. An International Survey of Industrial Applications of Formal Methods. Technical Report NISTGCR 93\/626, U.S. Department of Commerce, Technology Administration, National Institute of Standards and Technology Computer Systems Laboratory, Gaithersburg, MD 20899, 1993."},{"key":"2_CR8","unstructured":"Edward Yourdon. Modern Structured Analysis. Prentice Hall International, Inc., 1989."},{"key":"2_CR9","volume-title":"Petri Nets-An Introduction","author":"W. Brauer","year":"1985","unstructured":"Wilfried Brauer, Grzegorz Rozenberg, and Arto Salomaa. Petri Nets-An Introduction. Springer-Verlag, Berlin Heidelberg, 1985."},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"John Dawes. The VDM-SL Reference Guide. Pitman, 1991.","DOI":"10.1201\/9781482267419"},{"key":"2_CR11","unstructured":"Meilir Page-Jones. Fundamentals of Object-Oriented Design in UML. Dorset House Publishing, 2000."},{"issue":"6","key":"2_CR12","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1049\/sej.1991.0040","volume":"6","author":"G. Bernot","year":"1991","unstructured":"G. Bernot, M. C. Gaudel, and B. Marre. Software Testing based on Formal Specifications: A Theory and a Tool. Software Engineering Journal, 6(6):387\u2013405, 1991.","journal-title":"Software Engineering Journal"},{"key":"2_CR13","unstructured":"Dave L. Parnas and David M. Weiss. Active Design Reviews: Principles and Practices. In Proceedings of the 8th International Conference on Software Engineering, pages 215\u2013222, Aug. 1985."},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"E. A. Meyers and J. C. Knight. An Improved Inspection Technique. Communications of the ACM, 36(11):50\u201361, Nov. 1993.","DOI":"10.1145\/163359.163366"},{"key":"2_CR15","unstructured":"Edmund M. Clarke, Orna Grumber, and Doron Peled. Model Checking. MIT Press, 2000."},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Shaoying Liu, A. Je. Offutt, Chris Ho-Stuart, Yong Sun, and Mitsuru Ohba. SOFL: A Formal Engineering Methodology for Industrial Applications. IEEE Transactions on Software Engineering, 24(1):337\u2013344, January 1998. Special Issue on Formal Methods.","DOI":"10.1109\/32.663996"},{"key":"2_CR17","unstructured":"Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, and Yasuaki Nakamura. An Approach to Specifying and Verifying Safety-Critical Systems with Practical Formal Method SOFL. In Proceedings of Fourth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS\u201998), pages 100\u2013114, Monterey, California, USA, August 10\u201314 1998. IEEE Computer Society Press."},{"key":"2_CR18","unstructured":"Douglas Bell. Software Engineering. Third Edition, Person Education Limited, 2000."},{"key":"2_CR19","unstructured":"Carroll Morgan. Programming from Specifications. Prentice-Hall International UK) Ltd., 1990."},{"key":"2_CR20","unstructured":"B.W. Boehm. Software Engineering Economics. Prentice-Hall, 1981."},{"key":"2_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"896","DOI":"10.1007\/3-540-48119-2_49","volume-title":"Proceedings of World Congress on Formal Methods in the Development of Computing Systems","author":"S. Liu","year":"1999","unstructured":"Shaoying Liu. Verifying Consistency and Validity of Formal Specifications by Testing. In Jeannette M. Wing, Jim Woodcock, and Jim Davies, editors, Proceedings of World Congress on Formal Methods in the Development of Computing Systems, Lecture Notes in Computer Science, pages 896\u2013914, Toulouse, France, September 1999. Springer-Verlag."}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36103-0_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,11]],"date-time":"2023-05-11T21:33:35Z","timestamp":1683840815000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36103-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540000297","9783540361039"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-36103-0_2","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]},"assertion":[{"value":"10 October 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}