{"id":"W2128454637","doi":"10.1007/s10009-005-0209-6","title":"Software tools for safety-critical software development","year":2005,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Software Reliability and Analysis Research","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Software development; Software engineering; Package development process; Variety (cybernetics); Software construction; Software peer review; Software analytics; Software; Social software engineering; Personal software process; Verification and validation; Avionics software; Operating system; Engineering; Artificial intelligence","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":["metaresearch","metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.001279067,0.0004965095,0.0006385461,0.001154801,0.0007831091,0.00127501,0.003857913,0.0005964128,0.000159598],"category_scores_gemma":[0.011769,0.0004524435,0.0007027183,0.000605981,0.000311402,0.002363799,0.0002411973,0.001054961,0.0001483931],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007684914,"about_ca_system_score_gemma":0.0006751653,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001194421,"about_ca_topic_score_gemma":0.00001362537,"domain_scores_codex":[0.9951978,0.0000837917,0.001279139,0.0009898549,0.001383946,0.001065467],"domain_scores_gemma":[0.9919865,0.004662997,0.0001132585,0.0006880027,0.002227713,0.0003215195],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0003511416,0.0005037458,0.0007329546,0.00004380263,0.000447271,0.00004881564,0.0001626169,0.00064087,0.00009666994,0.0319862,0.001277172,0.9637088],"study_design_scores_gemma":[0.004965976,0.001143395,0.00100216,0.0004557436,0.00009423805,0.0007083658,0.00009494412,0.001712283,0.01820538,0.04333861,0.9269729,0.001306057],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.008360988,0.0003363412,0.9668025,0.02153144,0.0009785263,0.0006901661,0.0001986049,0.001080583,0.00002088777],"genre_scores_gemma":[0.1139395,0.0001859375,0.8817133,0.002342138,0.0006891686,0.0005506462,0.0001124086,0.00008011149,0.0003868259],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9624027,"threshold_uncertainty_score":0.9997928,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03718945379551026,"score_gpt":0.3308925594451662,"score_spread":0.2937031056496559,"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."}}