{"id":"W7097569464","doi":"","title":"M.: Formalizing a structured natural language requirements specification notation","year":2002,"lang":"en","type":"article","venue":"","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Notation; Formal specification; Readability; B-Method; Specification language; Programming language specification; Software requirements specification; Formal methods","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"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.009069356,0.001184786,0.0004482109,0.001185234,0.0009272727,0.002688947,0.00156463,0.00158346,0.003915925],"category_scores_gemma":[0.01286701,0.0008285349,0.00158082,0.0006973855,0.002064855,0.003645117,0.002277284,0.002256831,0.001762164],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001170317,"about_ca_system_score_gemma":0.003083748,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002124343,"about_ca_topic_score_gemma":0.002806078,"domain_scores_codex":[0.9952242,0.00251064,0.0006949105,0.0005288935,0.0008470697,0.0001943701],"domain_scores_gemma":[0.992448,0.004471296,0.001037403,0.0009642835,0.0008881235,0.0001907855],"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.0001615974,0.0001185494,0.00075061,0.0005706397,0.00003462562,0.0008089215,0.001720187,0.02407052,0.01472259,0.868818,0.01166752,0.07655623],"study_design_scores_gemma":[0.0002975807,0.0004509394,0.0005134264,0.0006799158,0.0001082295,0.001492351,0.000625374,0.3043143,0.05108004,0.2947084,0.3455579,0.0001715464],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003111234,0.00007373161,0.9895103,0.0005058309,0.00006755973,0.0002938643,0.0003617238,0.001516483,0.004559175],"genre_scores_gemma":[0.02990774,0.0001258062,0.9660931,0.0002722913,0.00003234781,0.0005469308,0.0005842756,0.0001804796,0.002257015],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009069356,"threshold_uncertainty_score":0.04796392,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03928953644046304,"score_gpt":0.2763948160140021,"score_spread":0.2371052795735391,"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."}}