{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T10:05:07Z","timestamp":1781172307832,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540372158","type":"print"},{"value":"9783540372165","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11813040_14","type":"book-chapter","created":{"date-parts":[[2006,8,7]],"date-time":"2006-08-07T06:51:03Z","timestamp":1154933463000},"page":"190-204","source":"Crossref","is-referenced-by-count":3,"title":["Partially Introducing Formal Methods into Object-Oriented Development: Case Studies Using a Metrics-Driven Approach"],"prefix":"10.1007","author":[{"given":"Yujun","family":"Zheng","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jinquan","family":"Wang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kan","family":"Wang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jinyun","family":"Xue","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"4","key":"14_CR1","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/BF01211297","volume":"9","author":"R. Kneuper","year":"1997","unstructured":"Kneuper, R.: Limits of Formal Methods. Formal Aspects of Computing\u00a09(4), 379\u2013394 (1997)","journal-title":"Formal Aspects of Computing"},{"key":"14_CR2","volume-title":"Software Engineering","author":"I. Sommerville","year":"2004","unstructured":"Sommerville, I.: Software Engineering, 7th edn. Addison-Wesley, Reading (2004)","edition":"7"},{"issue":"5","key":"14_CR3","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1109\/MS.1987.231413","volume":"4","author":"H.D. Mills","year":"1987","unstructured":"Mills, H.D., Dyer, M., Linger, R.C.: Cleanroom Software Engineering. IEEE Software\u00a04(5), 19\u201324 (1987)","journal-title":"IEEE Software"},{"key":"14_CR4","first-page":"181","volume-title":"Software Engineering","author":"R.L. Vienneau","year":"1996","unstructured":"Vienneau, R.L.: A Review of Formal Methods. In: Dorfman, M., Thayer, R.H. (eds.) Software Engineering, pp. 181\u2013192. IEEE Computer Society Press, Los Alamitos (1996)"},{"key":"14_CR5","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-Book: Assigning Programs to Meanings","author":"J.R. Abrial","year":"1996","unstructured":"Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)"},{"key":"14_CR6","unstructured":"Clarke, E.M., Wing, J.M.: Formal Methods: State of the Art and Future Directions. CMU-CS-96-178, Carnegie-Mellon University, Pittsburgh, PA (1996)"},{"key":"14_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/11562436_2","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2005","author":"C.L. Heitmeyer","year":"2005","unstructured":"Heitmeyer, C.L.: Developing High Quality Software with Formal Methods: What Else Is Needed? In: Wang, F. (ed.) FORTE 2005. LNCS, vol.\u00a03731, pp. 13\u201319. Springer, Heidelberg (2005)"},{"key":"14_CR8","unstructured":"Craigen, D., Gerhart, S., Ralston, T.: An International Survey of Industrial Applications of Formal Methods. NIST GCR 93\/626, National Technical Information Service, VA (1993)"},{"key":"14_CR9","volume-title":"Metrics and Models in Software Quality Engineering","author":"S.H. Kan","year":"2003","unstructured":"Kan, S.H.: Metrics and Models in Software Quality Engineering, 2nd edn. Addison-Wesley, Reading (2003)","edition":"2"},{"key":"14_CR10","unstructured":"Boehm, B.: COCOMO II Definition Manual. Univ. of Southern California (1997), available at: \n                    \n                      http:\/\/sunset.usc.edu\/research\/COCOMOII"},{"key":"14_CR11","volume-title":"Proceedings of 7th International Workshop on Economics-Driven Software Engineering Research","author":"Y.J. Zheng","year":"2006","unstructured":"Zheng, Y.J., Wang, K., Xue, J.Y.: An Extension of COCOMO II for the B-Method. In: Proceedings of 7th International Workshop on Economics-Driven Software Engineering Research. ACM Press, New York (2006)"},{"key":"14_CR12","first-page":"288","volume-title":"Proceedings of European Software Engineering Conference","author":"F. Shull","year":"2001","unstructured":"Shull, F., Carver, J., Travassos, G.H.: An Empirical Methodology for Introducing Software Processes. In: Proceedings of European Software Engineering Conference, pp. 288\u2013296. ACM Press, New York (2001)"},{"issue":"1","key":"14_CR13","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1023\/B:SQJO.0000042058.34876.c8","volume":"7","author":"J. Barnard","year":"1998","unstructured":"Barnard, J.: A New Reusability Metric for Object-Oriented Software. Software Quality Journal\u00a07(1), 35\u201350 (1998)","journal-title":"Software Quality Journal"},{"issue":"6","key":"14_CR14","doi-asserted-by":"publisher","first-page":"476","DOI":"10.1109\/32.295895","volume":"20","author":"S.R. Chidamber","year":"1994","unstructured":"Chidamber, S.R., Kemerer, C.F.: A Metrics Suite for Object-Oriented Design. IEEE Transactions on Software Engineering\u00a020(6), 476\u2013493 (1994)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"14_CR15","volume-title":"Object-Oriented Software Metrics: A Practical Guide","author":"M. Lorenz","year":"1994","unstructured":"Lorenz, M., Kidd, J.: Object-Oriented Software Metrics: A Practical Guide. Prentice-Hall, New York (1994)"},{"key":"14_CR16","unstructured":"Deck, M.: Cleanroom and Object-Oriented Software Engineering: A Unique Synergy. In: Proceedings of 8th Annual Software technology Conference, Salt Lake City, UT (1996)"},{"issue":"3","key":"14_CR17","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1023\/A:1013353520454","volume":"9","author":"A. Andrews","year":"2001","unstructured":"Andrews, A., Stringfellow, C.: Quantitative Analysis of Development Defects to Guide Testing: A Case Study. Software Quality Journal\u00a09(3), 195\u2013214 (2001)","journal-title":"Software Quality Journal"},{"issue":"2","key":"14_CR18","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1023\/A:1008860726607","volume":"7","author":"A.B. Binkley","year":"1998","unstructured":"Binkley, A.B., Schach, S.R.: Prediction of Run-time Failures using Static Product Quality Metrics. Software Quality Journal\u00a07(2), 141\u2013147 (1998)","journal-title":"Software Quality Journal"},{"issue":"12","key":"14_CR19","first-page":"3295","volume":"26","author":"Z.Q. Zhang","year":"2005","unstructured":"Zhang, Z.Q., Zheng, Y.J., Li, H.Y.: B-Method based approach for designing ballistic computers. Computer Engineering and Design\u00a026(12), 3295\u20133298 (2005)","journal-title":"Computer Engineering and Design"},{"key":"14_CR20","volume-title":"Proceedings of 1994 Conference on the Centre for Advanced Studies on Collaborative Research","author":"D. Bellin","year":"1994","unstructured":"Bellin, D., Tyagi, M., Tyler, M.: Object-Oriented Metrics: An Overview. In: Proceedings of 1994 Conference on the Centre for Advanced Studies on Collaborative Research. IBM Press, Carlsbad (1994)"},{"key":"14_CR21","volume-title":"The Object Constraint Language: Precise Modeling with UML","author":"J. Warmer","year":"2003","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language: Precise Modeling with UML, 2nd edn. Addison-Wesley, Reading (2003)","edition":"2"},{"issue":"5","key":"14_CR22","doi-asserted-by":"publisher","first-page":"510","DOI":"10.1109\/TSE.1981.231113","volume":"7","author":"S.M. Henry","year":"1981","unstructured":"Henry, S.M., Kafura, D.: Software Structure Metrics Based on Information Flow. IEEE Transactions on Software Engineering\u00a07(5), 510\u2013518 (1981)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"11","key":"14_CR23","doi-asserted-by":"publisher","first-page":"998","DOI":"10.1109\/32.177369","volume":"18","author":"M.K. Daskalantonakis","year":"1992","unstructured":"Daskalantonakis, M.K.: A Practical View of Software Measurement and Implementation Experiences within Motorola. IEEE Transactions on Software Engineering\u00a018(11), 998\u20131010 (1992)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"14_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-24841-5_1","volume-title":"Reliable Software Technologies - Ada-Europe 2004","author":"M. Gogolla","year":"2004","unstructured":"Gogolla, M.: Benefits and Problems of Formal Methods. In: Llamos\u00ed, A., Strohmeier, A. (eds.) Ada-Europe 2004. LNCS, vol.\u00a03063, pp. 1\u201315. Springer, Heidelberg (2004)"},{"issue":"2","key":"14_CR25","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1023\/A:1008900825849","volume":"8","author":"T. Mayer","year":"1999","unstructured":"Mayer, T., Hall, T.: A critical analysis of OO design metrics. Software Quality Journal\u00a08(2), 97\u2013110 (1999)","journal-title":"Software Quality Journal"},{"issue":"2","key":"14_CR26","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1109\/32.815326","volume":"25","author":"N.E. Fenton","year":"1999","unstructured":"Fenton, N.E., Neil, M.: A Critique of Software Defect Prediction Models. IEEE Transactions on Software Engineering\u00a025(2), 675\u2013689 (1999)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"14_CR27","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1023\/A:1009815306478","volume":"6","author":"L.C. Briand","year":"2001","unstructured":"Briand, L.C., Wust, J., Lounis, H.: Replicated Case Studies for Investigating Quality Factors in Object-Oriented Designs. Empirical Software Engineering\u00a06(1), 11\u201358 (2001)","journal-title":"Empirical Software Engineering"}],"container-title":["Lecture Notes in Computer Science","FM 2006: Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11813040_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:27:19Z","timestamp":1619494039000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11813040_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540372158","9783540372165"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/11813040_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}