{"id":"W2088428159","doi":"10.1145/584369.584371","title":"Analysing software requirements specifications for performance","year":2002,"lang":"en","type":"article","venue":"","topic":"Software System Performance and Reliability","field":"Computer Science","cited_by":42,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Software requirements specification; Notation; Software engineering; Abstraction; Formal specification; System requirements specification; Set (abstract data type); Key (lock); Software; Programming language; Software development; Software design","routes":{"ca_aff":true,"ca_fund":true,"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.02615013,0.001469144,0.000739413,0.003355046,0.001333322,0.004567243,0.002165403,0.002806501,0.003357234],"category_scores_gemma":[0.1099783,0.00140445,0.002029838,0.001898024,0.001971603,0.006738558,0.00218887,0.003270328,0.001545352],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003451776,"about_ca_system_score_gemma":0.005446061,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005283399,"about_ca_topic_score_gemma":0.002908016,"domain_scores_codex":[0.9551234,0.01944058,0.003738697,0.001058021,0.01872335,0.001916024],"domain_scores_gemma":[0.8668917,0.0942097,0.006614074,0.008260341,0.023463,0.000561154],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000210349,0.0002319663,0.003782338,0.0007984521,0.0000786543,0.001847232,0.0120952,0.1419485,0.01255153,0.7318884,0.009724648,0.08484266],"study_design_scores_gemma":[0.0001501682,0.0005695012,0.004131347,0.001545218,0.0001161038,0.001857228,0.009651612,0.4003011,0.0334559,0.4118755,0.1360322,0.0003141484],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.05264873,0.0003959492,0.9165506,0.003466227,0.00007486268,0.0008121511,0.001255997,0.00125942,0.02353608],"genre_scores_gemma":[0.4914698,0.0008203207,0.4926448,0.0008027013,0.0001490679,0.002276893,0.005733525,0.0008149202,0.005288109],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02615013,"threshold_uncertainty_score":0.1382968,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1146690905376581,"score_gpt":0.2702684230552098,"score_spread":0.1555993325175518,"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."}}