{"id":"W2889370539","doi":"","title":"Poster: Assurance Cases for Scientific Computing Software","year":2018,"lang":"en","type":"article","venue":"International Conference on Software Engineering","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Documentation; Correctness; Computer science; Software; Software engineering; Software security assurance; Information assurance; Function (biology); Computer security; Information security; Algorithm; Programming language","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":[],"consensus_categories":[],"category_scores_codex":[0.03519442,0.001131122,0.0006020878,0.003095818,0.004955445,0.007544009,0.002725031,0.007809878,0.02481587],"category_scores_gemma":[0.1331898,0.001078917,0.00181091,0.001225804,0.007903327,0.01167351,0.007913694,0.007618312,0.006148145],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002830794,"about_ca_system_score_gemma":0.003703431,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002815902,"about_ca_topic_score_gemma":0.001575891,"domain_scores_codex":[0.9603986,0.01650792,0.003233151,0.002086823,0.01591917,0.001854433],"domain_scores_gemma":[0.8775867,0.06903251,0.004991527,0.02148083,0.02482277,0.002085642],"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.0002483483,0.0001136846,0.002591222,0.0003997688,0.00003426737,0.003641975,0.005640285,0.004446742,0.003374843,0.8529651,0.06256633,0.06397739],"study_design_scores_gemma":[0.0001118938,0.0002527651,0.001264891,0.0008492766,0.0000784841,0.005090424,0.001447447,0.02893976,0.01433843,0.415221,0.5322452,0.0001603855],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0281396,0.0008680845,0.7292758,0.0377629,0.002071073,0.0009499369,0.0005004708,0.00789548,0.1925366],"genre_scores_gemma":[0.4987385,0.0009339924,0.410248,0.00719481,0.001350238,0.0009125113,0.001110661,0.003601495,0.07590981],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.03519442,"threshold_uncertainty_score":0.1861281,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0348055362742543,"score_gpt":0.2663048326612035,"score_spread":0.2314992963869492,"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."}}