Partially Introducing Formal Methods into Object-Oriented Development: Case Studies Using a Metrics-Driven Approach

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-or...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Zheng, Yujun, Wang, Jinquan, Wang, Kan, Xue, Jinyun
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Applied sciences Computer science control theory systems Defect Prediction Model Exact sciences and technology Formal Method Metrics Selection Software Software Defect Prediction Software engineering Software Quality
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!