{"id":"W7071651599","doi":"","title":"So tware reuse using formal specification of requirements","year":2007,"lang":"en","type":"other","venue":"Library and Archives Canada (Government of Canada)","topic":"Cell Image Analysis Techniques","field":"Biochemistry, Genetics and Molecular Biology","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Formal specification; Software requirements specification; Reuse; Software construction; Formal methods; Software development; Component-based software engineering; Compatibility (geochemistry); Software requirements","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004291398,0.0008408453,0.0004219625,0.001271656,0.00109401,0.00444122,0.00140124,0.001468883,0.008621439],"category_scores_gemma":[0.0103143,0.0006103305,0.001921379,0.001036448,0.002688653,0.004585196,0.00236892,0.002837269,0.004190157],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002782864,"about_ca_system_score_gemma":0.005806013,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01805118,"about_ca_topic_score_gemma":0.01319424,"domain_scores_codex":[0.9956136,0.001083348,0.0004830419,0.0005571328,0.001968288,0.0002946079],"domain_scores_gemma":[0.9937511,0.00190932,0.0004348717,0.002173821,0.001623571,0.0001073326],"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.00001654657,0.0000578066,0.0004493689,0.0001995746,0.00002398549,0.0003501276,0.001833262,0.006251102,0.004514548,0.9246036,0.007611004,0.05408906],"study_design_scores_gemma":[0.00005460804,0.0000646291,0.0004526157,0.0003846824,0.00003942244,0.0006803028,0.001014858,0.02690021,0.01127631,0.5143433,0.4447045,0.00008465306],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002488351,0.0001273857,0.9477708,0.001400141,0.0000884387,0.0003367372,0.0003001906,0.000735046,0.04675292],"genre_scores_gemma":[0.1089785,0.000799269,0.8393785,0.001100395,0.0000658857,0.0009288242,0.001598213,0.0005712265,0.04657923],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01805118,"threshold_uncertainty_score":0.03589219,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.006174295800243279,"score_gpt":0.1920085493004149,"score_spread":0.1858342535001716,"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."}}