{"id":"W2056331670","doi":"10.1007/s11155-006-9020-7","title":"Requirements Analysis for Engineering Computation: A Systematic Approach for Improving Reliability","year":2006,"lang":"en","type":"article","venue":"Reliable Computing","topic":"Software Reliability and Analysis Research","field":"Computer Science","cited_by":23,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Documentation; Computer science; Software requirements specification; Software engineering; Requirements engineering; System requirements specification; Requirements analysis; Reliability (semiconductor); Computation; Reliability engineering; Functional specification; Argument (complex analysis); Software; Software system; Systems engineering; Programming language; Software construction; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01029806,0.003098271,0.002271418,0.006372975,0.00175068,0.004177903,0.004089039,0.001860455,0.003128074],"category_scores_gemma":[0.04258114,0.001975577,0.003492882,0.002999874,0.002889107,0.004937381,0.003020371,0.004280911,0.001879822],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002168106,"about_ca_system_score_gemma":0.008734155,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004349703,"about_ca_topic_score_gemma":0.00559356,"domain_scores_codex":[0.9801959,0.008114326,0.001061332,0.001195284,0.009048245,0.0003848881],"domain_scores_gemma":[0.9702106,0.01549634,0.001455541,0.00611016,0.006488417,0.0002389278],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001094893,0.0004673331,0.002282137,0.003477117,0.0003919406,0.0004189287,0.001881821,0.0767699,0.02251102,0.2498228,0.01085759,0.6310099],"study_design_scores_gemma":[0.0001351708,0.0003148129,0.001425031,0.002095142,0.0005067249,0.0006937684,0.0009274741,0.4657062,0.03778306,0.4190716,0.07109014,0.0002508419],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001648223,0.0005680886,0.9941171,0.000478788,0.00002819207,0.0002931507,0.00008678519,0.0005386432,0.002241043],"genre_scores_gemma":[0.02208466,0.0008914241,0.975176,0.0001587888,0.00004437445,0.0003214591,0.0002276883,0.0002742938,0.0008212916],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01029806,"threshold_uncertainty_score":0.05446202,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02422770441222972,"score_gpt":0.278808969988708,"score_spread":0.2545812655764783,"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."}}