{"id":"W2166790309","doi":"10.5555/954014.954021","title":"Combining UCMs and formal methods for representing and checking the validity of scenarios as user requirements","year":2003,"lang":"en","type":"article","venue":"South African Institute of Computer Scientists and Information Technologists","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Software engineering; Usability; Requirements engineering; Heuristics; Formal methods; Formal specification; Context (archaeology); Software requirements specification; Notation; Human–computer interaction; Software development; Software; Software design; Programming language","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.002314068,0.0001461697,0.0002589142,0.0002609398,0.0003257183,0.0001781185,0.0004766147,0.00008226002,2.306189e-7],"category_scores_gemma":[0.001423422,0.0001120252,0.00003755003,0.0004669182,0.0006822762,0.002930808,0.0006636104,0.0001244223,1.622989e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001652869,"about_ca_system_score_gemma":0.00004353863,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005963192,"about_ca_topic_score_gemma":3.710379e-7,"domain_scores_codex":[0.9987664,0.00006224789,0.0004807069,0.0002358593,0.0001875243,0.00026723],"domain_scores_gemma":[0.9986365,0.0002583604,0.0004593205,0.000420017,0.0001773933,0.00004836198],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000009759696,0.00001982646,0.002686672,0.0003022676,0.00003972246,7.711812e-7,0.006463761,0.003385651,0.0003961255,0.6568009,0.00002081895,0.3298737],"study_design_scores_gemma":[0.008042165,0.002447274,0.03545051,0.001116831,0.0001501834,0.000521057,0.004788631,0.5375748,0.1110861,0.201898,0.09433724,0.00258716],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0700312,0.00008663752,0.928713,0.00008260483,0.0004757726,0.0003235411,0.000003552686,0.0001412059,0.0001424727],"genre_scores_gemma":[0.4424231,0.00001365666,0.5575176,0.00002414098,0.000003779769,0.00001053629,9.601422e-7,0.00000220322,0.000003933784],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5341892,"threshold_uncertainty_score":0.4568254,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0527743353092594,"score_gpt":0.3267462962630641,"score_spread":0.2739719609538047,"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."}}