An extension of COCOMO II for the B-Method

Authors:
Yujun Zheng;Kan Wang;Jinyun Xue
Affiliations:
Jiangxi Normal University, Nanchang, China;Academy of Armored Force Engineering, Beijing, China;Jiangxi Normal University, Nanchang, China
Venue:
Proceedings of the 2006 international workshop on Economics driven software engineering research
Year:
2006

Citing 8
Cited 1

The Z notation: a reference manual

The Z notation: a reference manual
Systematic software development using VDM (2nd ed.)

Systematic software development using VDM (2nd ed.)
Industrial applications of formal methods to model, design and analyze computer systems: an international survey

Industrial applications of formal methods to model, design and analyze computer systems: an international survey
The B-book: assigning programs to meanings

The B-book: assigning programs to meanings
Software Engineering Economics

Software Engineering Economics
Software Cost Estimation with Cocomo II with Cdrom

Software Cost Estimation with Cocomo II with Cdrom
Ten Commandments of Formal Methods

Computer
Software Engineering (7th Edition)

Software Engineering (7th Edition)

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

FM'06 Proceedings of the 14th international conference on Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

Constructive Cost Model (COCOMO) series of models are widely used for estimation of informal software development effort. To meet the need for estimating size and cost of projects developed with the B-Method, we extend the sub-models of COCOMO II by introducing specification-based size metrics, adjusting relevant coefficients, and narrowing the value ranges of certain cost drivers. Our work is intended to serve as a start point for a general cost model for formal software development processes.