{"id":"W2136555272","doi":"10.1016/j.ress.2004.08.024","title":"An effective technique for the software requirements analysis of NPP safety-critical systems, based on software inspection, requirements traceability, and formal specification","year":2004,"lang":"en","type":"article","venue":"Reliability Engineering & System Safety","topic":"Software Reliability and Analysis Research","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"Atomic Energy of Canada Limited","keywords":"Traceability; Requirements traceability; Computer science; Software requirements specification; Software requirements; Formal specification; Verification and validation; Software engineering; Requirements analysis; Formal methods; Software system; Reliability engineering; Software construction; Functional requirement; Software; Systems engineering; Requirement; Engineering; Programming language","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001651032,0.0009664315,0.0007862299,0.002030259,0.0007828496,0.0008418682,0.001220943,0.0008748623,0.002126832],"category_scores_gemma":[0.006348916,0.0005752515,0.001269531,0.001276953,0.001022609,0.001743467,0.001185015,0.002388968,0.0008259243],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005124537,"about_ca_system_score_gemma":0.001756353,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001219405,"about_ca_topic_score_gemma":0.001753491,"domain_scores_codex":[0.9969636,0.0006166994,0.0001393489,0.0002911908,0.001879853,0.0001093464],"domain_scores_gemma":[0.9971414,0.001426098,0.0002322107,0.0006163346,0.0005423464,0.00004151054],"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.0001351403,0.000225993,0.001023248,0.0007456641,0.00009198186,0.0005506421,0.0007976493,0.02188906,0.1029017,0.09993216,0.005149275,0.7665574],"study_design_scores_gemma":[0.0001875065,0.0004799794,0.001753898,0.0003084572,0.00026567,0.002523786,0.0003026059,0.6787315,0.1268316,0.1306887,0.05778233,0.0001438968],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0009299293,0.00002141568,0.9980627,0.0000432421,0.000008496436,0.00004658672,0.00001397731,0.000569791,0.0003038934],"genre_scores_gemma":[0.02646752,0.00009069257,0.972329,0.0000574142,0.00001735665,0.0001565865,0.00007882709,0.000141601,0.0006611064],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.002126832,"threshold_uncertainty_score":0.008731604,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01485468640863993,"score_gpt":0.2864042797227543,"score_spread":0.2715495933141144,"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."}}