{"id":"W2120070059","doi":"10.1109/apsec.1997.640207","title":"A Z specification of use cases: a preliminary report","year":2002,"lang":"en","type":"article","venue":"","topic":"Software Engineering Techniques and Practices","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Popularity; Confusion; Formalism (music); Software engineering; Use Case Diagram; Set (abstract data type); Architecture; Unified Modeling Language; Programming language; Software","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.01964415,0.002134516,0.001153415,0.006612839,0.002353649,0.01010863,0.003281571,0.002554301,0.02268916],"category_scores_gemma":[0.03379901,0.003103775,0.002770165,0.00596279,0.002442844,0.01482803,0.005196038,0.004652866,0.01182956],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003107204,"about_ca_system_score_gemma":0.01000875,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01523526,"about_ca_topic_score_gemma":0.01112321,"domain_scores_codex":[0.9857205,0.004044638,0.003744301,0.00140279,0.004165246,0.0009224672],"domain_scores_gemma":[0.9675763,0.01270758,0.003516424,0.005405172,0.01005431,0.0007402254],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002877657,0.0004824004,0.005559593,0.001996282,0.00006147168,0.00254161,0.008709585,0.008439003,0.01339916,0.7048948,0.04730032,0.2063281],"study_design_scores_gemma":[0.0001299067,0.0002897732,0.003120064,0.001793519,0.0001085877,0.00256109,0.003698471,0.02842751,0.01642739,0.07253796,0.8706799,0.0002259026],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.007227282,0.0006217026,0.9523715,0.001442848,0.0001140039,0.003573493,0.003832777,0.004902049,0.02591435],"genre_scores_gemma":[0.04488673,0.002271693,0.9164903,0.0003894613,0.00007870288,0.003852822,0.009268261,0.001731354,0.02103076],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02268916,"threshold_uncertainty_score":0.1038895,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07864484425474008,"score_gpt":0.2675269731799584,"score_spread":0.1888821289252183,"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."}}