{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001041173,0.00007310076,0.00005724677,0.0000783225,0.00008362551,0.0001173883,0.0003298415,0.00002643646,0.00003655453],"category_scores_gemma":[0.0001004457,0.00006290428,0.00002408356,0.0002199182,0.0000103864,0.0005030233,0.00006126574,0.00006461333,0.00004207896],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003460587,"about_ca_system_score_gemma":0.0000033208,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002846932,"about_ca_topic_score_gemma":0.000003503952,"domain_scores_codex":[0.9993333,0.00001933293,0.0001322755,0.0001882438,0.0001820928,0.0001447166],"domain_scores_gemma":[0.9994835,0.00004529202,0.00006145023,0.0003359831,0.00004485088,0.00002887887],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000002852036,0.000048065,0.002625874,0.00001857418,0.00001188504,0.00001476274,0.005938107,0.00001034572,0.008495975,0.02262802,0.05133307,0.9088725],"study_design_scores_gemma":[0.0005277242,0.0000966874,0.01740412,0.00005895625,0.000007170879,0.00007067111,0.00005689781,0.9269068,0.02943637,0.02306515,0.001845684,0.0005237843],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02896969,0.0003335522,0.9486961,0.0005468578,0.0003716282,0.0001681627,5.328874e-7,0.01289019,0.008023279],"genre_scores_gemma":[0.7164593,0.000002519545,0.2829529,0.0002160097,0.00003272348,0.000004985233,0.000002568516,0.000003646165,0.0003253789],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9268965,"threshold_uncertainty_score":0.2565162,"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."}}