{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:10:09Z","timestamp":1759032609851},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540000297"},{"type":"electronic","value":"9783540361039"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36103-0_49","type":"book-chapter","created":{"date-parts":[[2007,5,15]],"date-time":"2007-05-15T23:15:07Z","timestamp":1179270907000},"page":"483-494","source":"Crossref","is-referenced-by-count":7,"title":["A Formal Definition of Function Points for Automated Measurement of B Specifications"],"prefix":"10.1007","author":[{"given":"Hassan","family":"Diab","sequence":"first","affiliation":[]},{"given":"Marc","family":"Frappier","sequence":"additional","affiliation":[]},{"given":"Richard","family":"St-Denis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,10,10]]},"reference":[{"key":"49_CR1","doi-asserted-by":"crossref","unstructured":"Abrial, J.-R.: The B-Book, Cambridge University Press, 1996.","DOI":"10.1017\/CBO9780511624162"},{"issue":"6","key":"49_CR2","doi-asserted-by":"publisher","first-page":"639","DOI":"10.1109\/TSE.1983.235271","volume":"SE-9","author":"A.J. Albrecht","year":"1983","unstructured":"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\u2013648, 1983.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"49_CR3","volume-title":"Measurement Manual, version 2.1","author":"COSMIC FFP","year":"2001","unstructured":"COSMIC FFP Measurement Manual, version 2.1, Laboratoire de Recherche en Gestion des Logiciels (LRGL), Universit\u00e9 du Qu\u00e9bec \u00e0 Montr\u00e9al, Qu\u00e9bec, Canada, May 2001. \n                    http:\/\/www.cosmicon.com\n                    \n                  ."},{"key":"49_CR4","volume-title":"Technical Report 246","author":"H. Diab","year":"1999","unstructured":"Diab, H.: Counting Function Points From B Specifications, Technical Report 246, D\u00e9pt. de math\u00e9matiques et d\u2019informatique, Universit\u00e9 de Sherbrooke, Qu\u00e9bec, Canada, January 1999."},{"key":"49_CR5","unstructured":"Dreger, J.B.: Function points analysis, Prentice-Hall, 1989."},{"key":"49_CR6","unstructured":"Facon P., Laleau R., and Nguyen H. P.: Mapping Object Conceptual Diagrams into B Specifications. In: Methods Integration Workshop, Springer-Verlag, 1996."},{"key":"49_CR7","volume-title":"Technical Report","author":"M. Frappier","year":"1999","unstructured":"Frappier, M.: An Overview of Formal Specification Languages and their Adequacy for Formalizing the Definition of Function Points, Technical Report, D\u00e9partement de math\u00e9matiques et d\u2019informatique, Universit\u00e9 de Sherbrooke, Sherbrooke, February, 1999."},{"issue":"2","key":"49_CR8","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1109\/52.582971","volume":"14","author":"S. Furey","year":"1997","unstructured":"Furey, S. and Kitchenham, B.: Point \/ counterpoint function points, IEEE Software, 14(2) 28\u201333, 1997.","journal-title":"IEEE Software"},{"key":"49_CR9","unstructured":"Habrias, H.: La mesure du logiciel, Teknea, 1994."},{"key":"49_CR10","unstructured":"IFPUG: Function Points Counting Practices Manual, Release 4.1, International Function Points Users Group, 1999. \n                    http:\/\/www.ifpug.org"},{"issue":"5","key":"49_CR11","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1109\/32.232016","volume":"SE-19","author":"D.R. Jeffery","year":"1993","unstructured":"Jeffery, D.R. and Low, G.C.: Comparison of function point counting techniques, IEEE Transactions on Software Engineering, SE-19(5) 529\u2013532, 1993.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"11","key":"49_CR12","doi-asserted-by":"publisher","first-page":"1011","DOI":"10.1109\/32.177370","volume":"18","author":"C.F. Kemerer","year":"1992","unstructured":"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\u20131024, 1992.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"49_CR13","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1145\/151220.151230","volume":"36","author":"C.F. Kemerer","year":"1993","unstructured":"Kemerer, C.F.: Reliability of function point measurement: A field experiment, Communications of the ACM, 36(2) 85\u201397, 1993.","journal-title":"Communications of the ACM"},{"key":"49_CR14","unstructured":"Labyad, S., Frappier, M., St-Denis, and R., D\u00e9ry, D.: Calcul des points de fonction \u00e0 partir du diagramme de cas d\u2019utilisation de la notation UML, in 9\n                           \n                    th\n                  \n                           International Workshop on Software Measurement, September 1999."}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36103-0_49","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T12:54:26Z","timestamp":1550321666000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36103-0_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540000297","9783540361039"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-36103-0_49","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}