{"id":"W1520637757","doi":"10.1007/3-540-36103-0_49","title":"A Formal Definition of Function Points for Automated Measurement of B Specifications","year":2002,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Software Engineering Research","field":"Computer Science","cited_by":18,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Function point; Computer science; Function (biology); Programming language; Software engineering; Software; Software development; Biology","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005067424,0.001769959,0.001280545,0.003737422,0.001555275,0.007909249,0.003285462,0.004077271,0.004896534],"category_scores_gemma":[0.01644157,0.001639136,0.001929055,0.002470496,0.005442947,0.006916155,0.003590543,0.004536997,0.002173088],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001455914,"about_ca_system_score_gemma":0.001935938,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002033954,"about_ca_topic_score_gemma":0.001230543,"domain_scores_codex":[0.9934232,0.00183998,0.001026348,0.001046298,0.002076621,0.0005876153],"domain_scores_gemma":[0.9881707,0.005530328,0.001061715,0.003018473,0.001876844,0.000341886],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00008664688,0.0000811584,0.0006042885,0.0001463998,0.00002572854,0.0002273638,0.0004536531,0.00716615,0.01147657,0.9205316,0.002303934,0.05689644],"study_design_scores_gemma":[0.00008694937,0.0001877,0.0005121109,0.0002454708,0.00006046223,0.0007257949,0.000196846,0.1358325,0.03489185,0.7968696,0.03026385,0.0001269794],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00159088,0.00006756405,0.9959824,0.0001128788,0.00002904664,0.00006973755,0.00007824721,0.0007558254,0.001313437],"genre_scores_gemma":[0.09570531,0.0002137601,0.9006888,0.0002312735,0.0001036913,0.0004064489,0.0002589163,0.0004817686,0.001910125],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007909249,"threshold_uncertainty_score":0.02679944,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08049403041518137,"score_gpt":0.2598502023984091,"score_spread":0.1793561719832277,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}