A Formal Definition of Function Points for Automated Measurement of B Specifications

Authors:
Hassan Diab;Marc Frappier;Richard St.-Denis
Affiliations:
-;-;-
Venue:
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Year:
2002

Citing 5
Cited 8

Function point analysis

Function point analysis
Improving the Reliability of Function Point Measurement: An Empirical Study

IEEE Transactions on Software Engineering - Special issue on software measurement principles, techniques, and environments
Reliability of function points measurement: a field experiment

Communications of the ACM
A Comparison of Function Point Counting Techniques

IEEE Transactions on Software Engineering
Software Function, Source Lines of Code, and Development Effort Prediction: A Software Science Validation

IEEE Transactions on Software Engineering

A functional size measurement method for event-based object-oriented enterprise models

Enterprise information systems IV
A formal representation of functional size measurement methods

Journal of Systems and Software - Special issue: Selected papers from the 4th source code analysis and manipulation (SCAM 2004) workshop
The size and effort estimates in iterative development

Information and Software Technology
Estimating software size with UML models

Proceedings of the 2008 C3S2E conference
Formalization Studies in Functional Size Measurement: How Do They Help?

IWSM '09 /Mensura '09 Proceedings of the International Conferences on Software Process and Product Measurement
Automated software size estimation based on function points using UML models

Information and Software Technology
Function point measurement from Web application source code based on screen transitions and database accesses

Journal of Systems and Software
Formal specifications better than function points for code sizing

Proceedings of the 2013 International Conference on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper proposes a formalization of the IFPUG Function Point (FP) definition for automated measurement of B specifications. This formal definition allows to: i) reduce the variance in FP counts due to rater interpretation of the IFPUG FP informal definition; ii) provide a better understanding of how the IFPUG FP definition should be applied; iii) automate the FP counts for B specifications, which can reduce measurement costs; and iv) identify specific holes in the IFPUG FP definition. We propose modifications to ensure completeness.