A formal definition of function points for automated measurement of B specifications

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

Volumn 2495, Issue , 2002, Pages 483-494

  Diab, Hassan ^a   Frappier, Marc ^a   St Denis, Richard ^a  

^a UNIVERSITÉ DE SHERBROOKE   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

SPECIFICATIONS;

AUTOMATED MEASUREMENT; FORMAL DEFINITION; FUNCTION POINT; MEASUREMENT COSTS;

FORMAL METHODS;

EID: 11344294508     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36103-0_49     Document Type: Conference Paper

References (14)

1. Abrial, J.-R.: The B-Book, Cambridge University Press, 1996.
2. Albrecht, A.J. and Gaffney, J.E. Jr.: Software function, source lines of code, and development effort prediction: a software science validation, IEEE Transactions on Software Engineering, SE-9 (6) 639-648, 1983.
3. COSMIC FFP Measurement Manual, version 2.1, Laboratoire de Recherche en Gestion des Logiciels (LRGL), Université du Québec `a Montréal, Québec, Canada, May 2001. http://www.cosmicon.com.
4. Diab, H.: Counting Function Points From B Specifications, Technical Report 246, Dépt. de mathématiques et d’informatique, Université de Sherbrooke, Québec, Canada, January 1999.
5. Dreger, J.B.: Function points analysis, Prentice-Hall, 1989.
6. Facon P., Laleau R., and Nguyen H. P.: Mapping Object Conceptual Diagrams into B Specifications. In: Methods Integration Workshop, Springer-Verlag, 1996.
7. Frappier, M.: An Overview of Formal Specification Languages and their Adequacy for Formalizing the Definition of Function Points, Technical Report, Département de mathématiques et d’informatique, Université de Sherbrooke, Sherbrooke, February, 1999.
8. Furey, S. and Kitchenham, B.: Point/counterpoint function points, IEEE Software, 14 (2) 28–33, 1997.
9. Habrias, H.: La mesure du logiciel, Teknea, 1994.
10. IFPUG: Function Points Counting Practices Manual, Release 4.1, International Function Points Users Group, 1999. http://www.ifpug.org
11. Jeffery, D.R. and Low, G.C.: Comparison of function point counting techniques, IEEE Transactions on Software Engineering, SE-19 (5) 529–532, 1993.
12. Kemerer, C.F. and Porter, B.S.: Improving the reliability of function point measurement: An empirical study, IEEE Transactions on Software Engineering, 18 (11) 1011–1024, 1992.
13. Kemerer, C.F.: Reliability of function point measurement: A field experiment, Communications of the ACM, 36 (2) 85–97, 1993.
14. Labyad, S., Frappier, M., St-Denis, and R., Déry, D.: Calcul des points de fonction à partir du diagramme de cas d’utilisation de la notation UML, in 9th International Workshop on Software Measurement, September 1999.