{"id":"W2133708183","doi":"10.1109/aiccsa.2003.1227510","title":"Promotion of specifications","year":2004,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Regina","funders":"","keywords":"Promotion (chess); Reuse; Computer science; Software engineering; Algebraic specification; Formal specification; Risk analysis (engineering); Programming language; Engineering; Business; Political science","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.002289775,0.001269507,0.001157752,0.001696049,0.001175991,0.00351044,0.001249197,0.001032194,0.4301681],"category_scores_gemma":[0.0100814,0.0005802515,0.001127235,0.002229547,0.00116911,0.003350815,0.002931631,0.001629266,0.1998134],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002522564,"about_ca_system_score_gemma":0.002035836,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001641663,"about_ca_topic_score_gemma":0.00237964,"domain_scores_codex":[0.997554,0.000631653,0.0002144918,0.0005033052,0.000910054,0.0001864074],"domain_scores_gemma":[0.9949353,0.001590778,0.0002521033,0.001487389,0.001399772,0.0003345443],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002622928,0.00008686732,0.0003765874,0.001783997,0.00003803641,0.0003343699,0.0003683798,0.00161135,0.003424294,0.1375734,0.470828,0.3833125],"study_design_scores_gemma":[0.00001973612,0.00006427995,0.0001879929,0.000235118,0.00001474801,0.0001682683,0.00006266713,0.0005006364,0.0007223103,0.01373719,0.9842758,0.00001119954],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"other","genre_gemma":"empirical","genre_scores_codex":[0.004262433,0.009662027,0.1223973,0.006570011,0.01627298,0.0009011742,0.00456473,0.007780845,0.8275886],"genre_scores_gemma":[0.08297422,0.01416753,0.0412678,0.003234518,0.004011139,0.0008133998,0.01277722,0.003415646,0.8373385],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.4301681,"threshold_uncertainty_score":0.812796,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1207392439658128,"score_gpt":0.3133749816381516,"score_spread":0.1926357376723388,"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."}}