{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001738938,0.00003955815,0.00004919593,0.00005646404,0.00001294908,0.00003257875,0.0001983091,0.00002462963,0.0000496072],"category_scores_gemma":[0.0003538343,0.00003509077,0.00002148269,0.0001788374,0.000008050334,0.0005261295,0.00005332996,0.00003928776,0.000009900912],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000007426467,"about_ca_system_score_gemma":0.000003319887,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005067301,"about_ca_topic_score_gemma":5.8067e-7,"domain_scores_codex":[0.9995589,0.000008442029,0.0001451891,0.000120961,0.0001026806,0.00006381636],"domain_scores_gemma":[0.9989762,0.0004223654,0.00007774259,0.0004561779,0.00004417228,0.00002330604],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00005570121,0.00114483,0.03181258,0.0001733968,0.00009270397,0.007009481,0.003603526,0.0003210656,0.003561501,0.37588,0.1829536,0.3933916],"study_design_scores_gemma":[0.0003679993,0.001508355,0.1010373,0.0001113672,0.00003183077,0.01362367,0.00005493329,0.2309069,0.04804545,0.00200009,0.6014324,0.0008797972],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01267508,0.00006628414,0.9843785,0.0002193351,0.00007647732,0.00006288743,2.25863e-7,0.0003829138,0.002138345],"genre_scores_gemma":[0.5926031,0.00002252786,0.4065351,0.00002413858,0.0000115405,0.00000307319,3.4319e-7,0.000002294764,0.0007978696],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.579928,"threshold_uncertainty_score":0.143096,"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."}}