{"id":"W2055718439","doi":"10.1145/2237796.2237818","title":"Refinement patterns for ASTD","year":2012,"lang":"en","type":"article","venue":"ACM SIGSOFT Software Engineering Notes","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Sherbrooke","funders":"Natural Sciences and Engineering Research Council of Canada; Agence Nationale de la Recherche","keywords":"Computer science; Programming language; Semantics (computer science); Natural language processing; Software engineering","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01269896,0.001127298,0.0006974493,0.002413623,0.001451474,0.003096283,0.002007915,0.002617541,0.006021718],"category_scores_gemma":[0.02984589,0.001383857,0.002693403,0.00190225,0.005300258,0.006330494,0.005080001,0.004455665,0.002461364],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001801115,"about_ca_system_score_gemma":0.003240667,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003501924,"about_ca_topic_score_gemma":0.003447039,"domain_scores_codex":[0.97828,0.0069076,0.004729317,0.00205474,0.006943648,0.001084769],"domain_scores_gemma":[0.971135,0.01202499,0.00227695,0.008616013,0.005421268,0.0005257648],"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.0001893617,0.00008156099,0.001947491,0.0006299477,0.00004880179,0.001012314,0.003357386,0.008904607,0.01295731,0.873961,0.00549908,0.09141103],"study_design_scores_gemma":[0.0001822076,0.0002763731,0.0006922776,0.0005060632,0.00009895625,0.002305142,0.0009418688,0.06601425,0.02946056,0.6447921,0.2545622,0.0001679251],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003671808,0.0001091605,0.9887007,0.0004849403,0.00007041484,0.0002891177,0.0002238362,0.001622285,0.004827739],"genre_scores_gemma":[0.09671785,0.0003459784,0.8952087,0.0004151143,0.00005030652,0.0007843586,0.0008249607,0.0008208677,0.004831937],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01269896,"threshold_uncertainty_score":0.06715935,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03899175495774321,"score_gpt":0.2860445925203361,"score_spread":0.2470528375625929,"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."}}