{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002384938,0.001329369,0.0007358767,0.002832624,0.0006220497,0.002500167,0.001997226,0.001505373,0.008516648],"category_scores_gemma":[0.01649669,0.0009556758,0.001110353,0.002160643,0.0007844301,0.004037195,0.002834307,0.002268195,0.004180362],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003926067,"about_ca_system_score_gemma":0.001296369,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005482124,"about_ca_topic_score_gemma":0.0005751037,"domain_scores_codex":[0.9966371,0.0008220518,0.000401144,0.0001877105,0.001766263,0.0001857711],"domain_scores_gemma":[0.9912342,0.004799346,0.0005904465,0.001809261,0.001299042,0.0002676072],"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.0001969405,0.0001812779,0.001047389,0.001583161,0.000114147,0.0004915993,0.000872632,0.01015036,0.02440506,0.1225238,0.02540733,0.8130263],"study_design_scores_gemma":[0.0003973184,0.0007120212,0.002048146,0.002616283,0.0004487855,0.002355705,0.0004314805,0.1538962,0.07894038,0.2954309,0.4625104,0.0002125744],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.007189599,0.002163454,0.9629555,0.0004603955,0.0002724038,0.0001442438,0.0002019108,0.01714544,0.009467022],"genre_scores_gemma":[0.08676132,0.002928413,0.8983507,0.0002560121,0.0001664656,0.0002872425,0.001024451,0.003345666,0.006879719],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008516648,"threshold_uncertainty_score":0.02849102,"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."}}