{"id":"W2158309598","doi":"10.1007/978-3-642-39512-3_8","title":"From Software Models to Dependability Analysis Models","year":2013,"lang":"en","type":"book-chapter","venue":"","topic":"Software Reliability and Analysis Research","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"Carleton University","funders":"","keywords":"Dependability; Computer science; Reliability engineering; Software engineering; Engineering","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":["metaepi_narrow","insufficient_payload"],"consensus_categories":["insufficient_payload"],"category_scores_codex":[0.0006723788,0.0006786236,0.001432524,0.001072613,0.0001953429,0.0007036199,0.003629022,0.0006595157,0.004662105],"category_scores_gemma":[0.0001091759,0.000582797,0.001433115,0.0007686935,0.0001136999,0.001222609,0.002047434,0.00073073,0.002495037],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003220233,"about_ca_system_score_gemma":0.0002960916,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005490944,"about_ca_topic_score_gemma":0.0007381105,"domain_scores_codex":[0.9940791,0.000103019,0.0009091521,0.002412522,0.001799501,0.0006967285],"domain_scores_gemma":[0.992941,0.0008635978,0.0001867142,0.004333865,0.0009021396,0.00077268],"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.00002009845,0.0001857059,0.0001017773,0.00006994441,0.005689465,0.00004108622,0.001091897,0.3377214,0.000005594841,0.4549769,0.01151963,0.1885764],"study_design_scores_gemma":[0.00005904195,0.00002505519,0.00001256011,0.00001885999,0.0002730627,3.872315e-7,0.000004880462,0.4557343,0.00001107923,0.540127,0.003263368,0.0004704645],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.00008493956,0.000241379,0.8738179,0.0006977798,0.00008278984,0.0004938268,0.0001258261,0.0005835645,0.123872],"genre_scores_gemma":[0.02246262,0.0001766272,0.4415977,0.0009235526,0.00025643,0.0001227614,0.0002446181,0.00008915629,0.5341265],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.4322202,"threshold_uncertainty_score":0.9996623,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05453463509694056,"score_gpt":0.2695427000511866,"score_spread":0.2150080649542461,"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."}}