{"id":"W381873492","doi":"10.1016/j.scico.2015.05.007","title":"Implementability of requirements in the four-variable model","year":2015,"lang":"en","type":"article","venue":"Science of Computer Programming","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Nondeterministic algorithm; Software; Variable (mathematics); Software system; Software requirements; Software requirements specification; Physical system; Functional requirement; Software engineering; Software construction; Theoretical computer science; Programming language; Mathematics","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.009960054,0.00008763991,0.0001515011,0.0001680562,0.00007354038,0.000109849,0.002641567,0.00002322525,5.842209e-7],"category_scores_gemma":[0.0001578877,0.00006554135,0.00003168246,0.001785974,0.0004061995,0.001300013,0.000560228,0.00008753158,8.604749e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008168244,"about_ca_system_score_gemma":0.0004081282,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006512326,"about_ca_topic_score_gemma":0.00000289036,"domain_scores_codex":[0.9977848,0.0001391031,0.0004800225,0.0003338937,0.0009204195,0.0003417762],"domain_scores_gemma":[0.998486,0.00005496623,0.0002355896,0.0008355065,0.0003211761,0.00006676026],"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.00001168782,0.0003460634,0.005983298,0.00006862864,0.000005110772,0.00000100383,0.009946976,0.0178484,0.003361746,0.4749907,0.00006157783,0.4873748],"study_design_scores_gemma":[0.0002415507,0.0001765003,0.001619425,0.00002461643,0.000001948052,0.000004465457,0.0001560442,0.9699427,0.005041772,0.02252463,0.000182215,0.00008410527],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.08980228,0.00001221314,0.9090744,0.00009623826,0.0002269568,0.0003189306,5.009103e-7,0.00002324748,0.0004451917],"genre_scores_gemma":[0.4575587,2.485862e-7,0.5423942,0.00002503718,0.000008611944,0.0000106119,1.988282e-7,0.000001344368,0.000001052851],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9520943,"threshold_uncertainty_score":0.4908732,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.157395670495039,"score_gpt":0.3779316375933396,"score_spread":0.2205359670983006,"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."}}