{"id":"W7074065397","doi":"","title":"Stimulus response requirements specification notation, an empirically evaluated requirements specification notation","year":2001,"lang":"en","type":"other","venue":"cIRcle (University of British Columbia)","topic":"Seismic Imaging and Inversion Techniques","field":"Earth and Planetary Sciences","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; Killam Trusts","keywords":"Notation; Software requirements specification; Formal specification; System requirements specification; Specification language; Functional specification; Language Of Temporal Ordering Specification; Requirements analysis; B-Method; Formal methods","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":true,"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.03882995,0.001309132,0.0006679097,0.0017439,0.0008453944,0.003774619,0.003113445,0.001475149,0.006245173],"category_scores_gemma":[0.1289947,0.0005648952,0.0007681411,0.001610234,0.001563456,0.00479964,0.002200752,0.001907744,0.001414346],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002890175,"about_ca_system_score_gemma":0.004813926,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002582019,"about_ca_topic_score_gemma":0.003847557,"domain_scores_codex":[0.9589522,0.02498351,0.004001802,0.001655141,0.009939272,0.0004680327],"domain_scores_gemma":[0.7996851,0.1346482,0.01614653,0.01777755,0.03020614,0.001536568],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.006181843,0.008090572,0.01896138,0.009494251,0.0003024017,0.001197843,0.007222745,0.1099516,0.08150332,0.1654669,0.03215367,0.5594735],"study_design_scores_gemma":[0.004917536,0.01953576,0.02325221,0.004244723,0.0007586521,0.003111773,0.00924108,0.4684629,0.12009,0.06036367,0.2851017,0.0009200243],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3184873,0.00103693,0.6052508,0.002163406,0.0004336484,0.01132291,0.00585508,0.008687769,0.04676215],"genre_scores_gemma":[0.2418081,0.0004337117,0.7440543,0.0004426967,0.00002816897,0.004432864,0.005142958,0.0004911164,0.003166092],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.03882995,"threshold_uncertainty_score":0.2053548,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03671595509958742,"score_gpt":0.2430327264564187,"score_spread":0.2063167713568313,"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."}}