{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.03090037,0.001809814,0.001130517,0.006752725,0.001594923,0.006656718,0.004126397,0.002552307,0.004217642],"category_scores_gemma":[0.1188745,0.001644721,0.00276336,0.003520395,0.005598653,0.01139604,0.006524397,0.003506904,0.0009423798],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003440276,"about_ca_system_score_gemma":0.00450549,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.009021157,"about_ca_topic_score_gemma":0.009875863,"domain_scores_codex":[0.952083,0.0303597,0.004903013,0.002464722,0.00918116,0.0010085],"domain_scores_gemma":[0.8544901,0.1041462,0.007146446,0.02328534,0.01015405,0.0007779289],"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.0001963977,0.0002006728,0.003466724,0.0009949259,0.000175019,0.0005447658,0.002919788,0.1414469,0.005038397,0.5815061,0.002529063,0.2609813],"study_design_scores_gemma":[0.00007346073,0.0001680614,0.0004497265,0.0006785233,0.0001200333,0.0003852953,0.0007194911,0.6339383,0.009869666,0.326304,0.02716478,0.0001286466],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002158209,0.00007383142,0.9953276,0.0001636608,0.00002389884,0.0001616675,0.00004385252,0.0009222052,0.001125114],"genre_scores_gemma":[0.06414162,0.0001584324,0.9335495,0.0001153676,0.00003307888,0.0005736575,0.0002392766,0.0002671575,0.0009218978],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.03090037,"threshold_uncertainty_score":0.1634188,"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."}}