{"id":"W1509712248","doi":"","title":"Deriving real-time monitors from system requirements documentation","year":2000,"lang":"en","type":"dissertation","venue":"","topic":"Software Reliability and Analysis Research","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Correctness; System requirements specification; Documentation; Computer science; Software requirements specification; Process (computing); System requirements; Automaton; Equivalence (formal languages); Software engineering; Reliability engineering; Programming language; Engineering; Software; Operating system; Theoretical computer science; Software development; Software design","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":["metaepi_narrow","insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0003405506,0.0002688041,0.000386457,0.0002859932,0.000222108,0.0006836944,0.001112322,0.0002471998,0.0008705499],"category_scores_gemma":[0.00004035731,0.00025116,0.0001961475,0.0005626687,0.0000149097,0.000806881,0.00007169513,0.0002040775,0.001491223],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003682449,"about_ca_system_score_gemma":0.0001849212,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004264032,"about_ca_topic_score_gemma":0.0001081176,"domain_scores_codex":[0.9970465,0.000208722,0.0005419145,0.0008011396,0.001053509,0.00034817],"domain_scores_gemma":[0.9984533,0.0002260718,0.0001904785,0.0008317709,0.0001624027,0.0001359618],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003764236,0.0007789258,0.009882587,0.001993761,0.002409506,0.000234098,0.01196177,0.0008568083,0.0414121,0.005369144,0.01268321,0.9120417],"study_design_scores_gemma":[0.005234846,0.0009432188,0.1958306,0.01015923,0.001483244,0.00002000936,0.01694943,0.5815573,0.1542539,0.01649029,0.007288388,0.009789502],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8880252,0.0003050535,0.02396925,0.00009415212,0.00123065,0.0008134761,0.00002010995,0.001639925,0.08390222],"genre_scores_gemma":[0.882013,0.001016708,0.03525372,0.00004235713,0.0005639837,0.0002193721,0.0035789,0.0000910496,0.07722093],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.9022521,"threshold_uncertainty_score":0.999994,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01368363899923928,"score_gpt":0.3060262590563875,"score_spread":0.2923426200571482,"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."}}