Among researchers and practitioners, there are disputations about whether, where, and to which degree formal methods worth their cost. Based on our experiences of industrial software projects over the last years, we develop an empirical approach of partially introducing formal methods into object-oriented software development. Once an initial architecture design is available, object-oriented metrics can be useful criteria for selecting core parts of software systems for formal treatment. Case studies of the application of our approach show that partially adopting formal methods could achieve a satisfying balance between investment and product quality in a cost-effective way. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Zheng, Y., Wang, J., Wang, K., & Xue, J. (2006). Partially introducing formal methods into object-oriented development: Case studies using a metrics-driven approach. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4085 LNCS, pp. 190–204). Springer Verlag. https://doi.org/10.1007/11813040_14
Mendeley helps you to discover research relevant for your work.