{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002502667,0.000100015,0.0001265772,0.00008745441,0.000294163,0.00009750057,0.0005676587,0.00004321192,0.0001087539],"category_scores_gemma":[0.00006053514,0.00007968212,0.0000846305,0.0004139145,0.00002805491,0.0007590766,0.00006968578,0.00004849038,0.0002554333],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000543471,"about_ca_system_score_gemma":0.00001299534,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003910021,"about_ca_topic_score_gemma":0.000001612318,"domain_scores_codex":[0.998938,0.00001453562,0.0002699306,0.0003268716,0.0002000308,0.0002505808],"domain_scores_gemma":[0.9989232,0.00008201467,0.00007227432,0.000719643,0.0001400257,0.00006284288],"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.000009124434,0.0004551425,0.2141995,0.000339377,0.00011222,0.000001620496,0.001763391,0.0009774601,0.0004292307,0.0107894,0.0435547,0.7273689],"study_design_scores_gemma":[0.00100384,0.0002413344,0.04577319,0.00007806881,0.00002856636,0.00001778324,0.00006173454,0.8689564,0.004002241,0.001292233,0.07786848,0.0006760651],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04195125,0.0001047011,0.9532844,0.0005509938,0.0003699131,0.0002915667,0.000001599667,0.0003942876,0.003051255],"genre_scores_gemma":[0.8016089,0.00004021576,0.1953845,0.0001657787,0.00009134899,0.00005848318,0.000002916828,0.000006388657,0.002641539],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.867979,"threshold_uncertainty_score":0.3283164,"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."}}