{"id":"W2056339801","doi":"10.1002/j.2334-5837.2002.tb02569.x","title":"1.6.2 Formalizing a Structured Natural Language Requirements Specification Notation","year":2002,"lang":"en","type":"article","venue":"INCOSE International Symposium","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Notation; Computer science; Programming language; B-Method; Formal specification; Formal methods; Readability; Software engineering; Linguistics","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001550279,0.0001234847,0.00008419134,0.0001251777,0.0001016012,0.0002363027,0.0008097877,0.00004744345,0.0000444466],"category_scores_gemma":[0.0001287533,0.0001200389,0.00005156115,0.0001907982,0.00002153577,0.000832671,0.0001565427,0.0001237577,0.00008040611],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001673717,"about_ca_system_score_gemma":0.000007219894,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006307394,"about_ca_topic_score_gemma":0.000006819298,"domain_scores_codex":[0.9988161,0.00002421418,0.0002562791,0.0002897986,0.0004384574,0.0001751321],"domain_scores_gemma":[0.9992318,0.00008309859,0.0001542107,0.0003337396,0.0001518858,0.00004527673],"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.00005277157,0.0005101693,0.01335153,0.00005232728,0.0002017816,0.0002167356,0.0191128,0.0003577751,0.1557043,0.06200384,0.06590331,0.6825327],"study_design_scores_gemma":[0.001184543,0.0001465604,0.01300596,0.0001931123,0.00001563069,0.0003257711,0.00004835136,0.9041924,0.04741982,0.02111635,0.01152061,0.0008308869],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2660517,0.0008213031,0.6601309,0.01239309,0.008652541,0.0007818813,0.00002573337,0.01933272,0.03181017],"genre_scores_gemma":[0.943608,0.00001310633,0.05534525,0.0003936456,0.0002250859,0.00002139793,0.0000236538,0.0000105334,0.0003593585],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9038346,"threshold_uncertainty_score":0.4895045,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0239139729607938,"score_gpt":0.277986382232176,"score_spread":0.2540724092713822,"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."}}