{"id":"W2071396752","doi":"10.1007/s10270-007-0076-6","title":"Use Case Maps as a property specification language","year":2007,"lang":"en","type":"article","venue":"Software & Systems Modeling","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":18,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Model checking; Formal specification; Programming language; Rotation formalisms in three dimensions; Property (philosophy); Specification language; Notation; Architectural style; Computation tree logic; Software engineering; Temporal logic; Formal verification; Architecture","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.002088727,0.0001802305,0.0001866578,0.0001755805,0.0002202756,0.0003602713,0.0005383245,0.0001227203,0.00000253891],"category_scores_gemma":[0.0005060566,0.0001388496,0.00006229419,0.0004153071,0.00002187108,0.001265762,0.0001275847,0.0001968595,0.0001372414],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001879398,"about_ca_system_score_gemma":0.00006517459,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001822388,"about_ca_topic_score_gemma":0.00002593437,"domain_scores_codex":[0.9980132,0.0001515588,0.0005503258,0.0005083798,0.0003923137,0.0003842201],"domain_scores_gemma":[0.9982642,0.0001136476,0.0001799051,0.001071468,0.0002325326,0.0001382729],"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.0001293068,0.0003615821,0.001730931,0.0007945612,0.0001103693,0.005027832,0.03911535,0.1999091,0.01124418,0.1642499,0.0008500988,0.5764768],"study_design_scores_gemma":[0.0001606206,0.00004194475,0.00001941109,0.0001153039,0.000008388361,0.002791994,0.001178592,0.9917682,0.0008660909,0.0002840654,0.002441077,0.0003242935],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.075388,0.0003571123,0.9217962,0.00002546987,0.0008916519,0.0004702787,0.00000423181,0.0006835525,0.0003834849],"genre_scores_gemma":[0.5619704,0.000006214854,0.437295,0.00004353042,0.0001498145,0.00002446138,0.000006415446,0.00001878144,0.0004854667],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7918591,"threshold_uncertainty_score":0.5662124,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0794449198254544,"score_gpt":0.3125764168692408,"score_spread":0.2331314970437864,"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."}}