Partially introducing formal methods into object-oriented development: Case studies using a metrics-driven approach

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4085 LNCS, Issue , 2006, Pages 190-204

  Zheng, Yujun ^a,b   Wang, Jinquan ^a   Wang, Kan ^c   Xue, Jinyun ^b,d  

^a Systems Engineering Institute of Engineer Equipment   (China)

^b INSTITUTE OF SOFTWARE   (China)

^c NATIONAL KEY LABORATORY FOR REMANUFACTURING   (China)

^d JIANGXI NORMAL UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; COST EFFECTIVENESS; INDUSTRIAL APPLICATIONS; INVESTMENTS; OBJECT ORIENTED PROGRAMMING;

FORMAL METHODS; OBJECT-ORIENTED DEVELOPMENT; PRODUCT QUALITY;

FORMAL LOGIC;

EID: 33749396180     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11813040_14     Document Type: Conference Paper

References (27)

1. Kneuper, R.: Limits of Formal Methods. Formal Aspects of Computing Vol. 9, No. 4 (1997) 379-394
2. Sommerville, I.: Software Engineering (7th Ed.). Addison-Wesley, Reading, MA (2004)
3. Mills, H.D., Dyer, M., and Linger, R.C.: Cleanroom Software Engineering, IEEE Software, Vol. 4, No. 5 (1987) 19-24
4. Vienneau, R.L.: A Review of Formal Methods, Software Engineering, (Eds. Dorfman, M.and Thayer, R.H.) IEEE Computer Society Press (1996) 181-192
5. Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
6. Clarke, E.M. and Wing, J.M.: Formal Methods: State of the Art and Future Directions. CMU-CS-96-178, Carnegie-Mellon University, Pittsburgh, PA (1996)
7. Heitmeyer, C.L.: Developing High Quality Software with Formal Methods: What Else Is Needed? In Proceedings of 25th IFIP International Conference on Formal Techniques for Networked and Distributed Systems, Lecture Notes in Computer Sciences, Vol. 3731, Springer-Verlag, Berlin Heidelberg (2005) 13-19
8. Craigen, D., Gerhart, S., and Ralston, T.: An International Survey of Industrial Applications of Formal Methods. NIST GCR 93/626, National Technical Information Service, VA (1993)
9. Kan, S. H.: Metrics and Models in Software Quality Engineering (2nd Ed.). Addison-Wesley, Reading, MA (2003)
10. Boehm, B.: COCOMO II Definition Manual. Univ. of Southern California (1997) (Available at: http://sunset.usc.edu/research/COCOMOII)
11. Zheng, Y.J., Wang, K., and 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, NY (2006).
12. Shull, F., Carver J., and Travassos, G.H.: An Empirical Methodology for Introducing Software Processes. In Proceedings of European Software Engineering Conference, ACM Press, New York, NY (2001) 288-296
13. Barnard, J.: A New Reusability Metric for Object-Oriented Software. Software Quality Journal, Vol. 7, No. 1 (1998) 35-50
14. Chidamber, S.R. and Kemerer, C.F.: A Metrics Suite for Object-Oriented Design. IEEE Transactions on Software Engineering, Vol. 20, No. 6 (1994) 476-493
15. Lorenz, M. and Kidd, J.: Object-Oriented Software Metrics: A Practical Guide. Prentice-Hall, New York (1994)
16. Deck, M.: Cleanroom and Object-Oriented Software Engineering: A Unique Synergy. In Proceedings of 8th Annual Software technology Conference, Salt Lake City, UT (1996)
17. Andrews, A. and Stringfellow, C.: Quantitative Analysis of Development Defects to Guide Testing: A Case Study. Software Quality Journal, Vol. 9, No. 3 (2001) 195-214
18. Binkley, A.B. and Schach, S.R.: Prediction of Run-time Failures using Static Product Quality Metrics. Software Quality Journal, Vol. 7, No. 2 (1998) 141-147
19. Zhang, Z.Q., Zheng, Y.J., and Li H.Y.: B-Method based approach for designing ballistic computers. Computer Engineering and Design, Vol. 26, No. 12 (2005) 3295-3298
20. Bellin, D., Tyagi, M., and Tyler, M.: Object-Oriented Metrics: An Overview. In Proceedings of 1994 Conference on the Centre for Advanced Studies on Collaborative Research, IBM Press, Carlsbad, CA (1994)
21. Warmer, J. and Kleppe, A.: The Object Constraint Language: Precise Modeling with UML (2nd ed.). Addison-Wesley, Reading MA (2003)
22. Henry, S.M. and Kafura, D.: Software Structure Metrics Based on Information Flow. IEEE Transactions on Software Engineering, vol. 7, No. 5 (1981), 510-518.
23. Daskalantonakis, M.K.: A Practical View of Software Measurement and Implementation Experiences within Motorola, IEEE Transactions on Software Engineering, vol. 18, No. 11 (1992) 998-1010.
24. Gogolla, M.: Benefits and Problems of Formal Methods. In Proceedings of 9th Ada-Europe International Conference on Reliable Software Technologies. Lecture Notes in Computer Sciences, Vol. 3063. Springer-Verlag, Berlin Heidelberg (2004) 1-15
25. Mayer, T. and Hall, T.: A critical analysis of OO design metrics. Software Quality Journal, Vol. 8, No. 2 (1999) 97-110
26. Fenton, N.B. and Neil, M.: A Critique of Software Defect Prediction Models. IEEE Transactions on Software Engineering, Vol. 25, No. 2 (1999) 675-689
27. Briand, L.C., Wust, J., and Lounis, H.: Replicated Case Studies for Investigating Quality Factors in Object-Oriented Designs. Empirical Software Engineering, Vol. 6, No. 1 (2001) 11-58