{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003685592,0.0009280719,0.0004977066,0.002398446,0.001167226,0.004370722,0.001902122,0.001742311,0.01207898],"category_scores_gemma":[0.006580321,0.001148761,0.001443202,0.001519139,0.002513401,0.006392777,0.002443546,0.002273698,0.002772893],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000981371,"about_ca_system_score_gemma":0.001814351,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002419844,"about_ca_topic_score_gemma":0.002724075,"domain_scores_codex":[0.9964665,0.001332507,0.0003331935,0.0004207974,0.001189804,0.0002571797],"domain_scores_gemma":[0.9933697,0.004257926,0.0003853505,0.001062173,0.0007719157,0.0001528102],"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.00006281307,0.00006139604,0.0005988046,0.0001769644,0.00003455057,0.0006625486,0.001134954,0.009557143,0.003148077,0.9515114,0.003476519,0.0295749],"study_design_scores_gemma":[0.00005859887,0.0001007285,0.0002942974,0.0002272422,0.0001822404,0.001117203,0.0004800064,0.1778399,0.03263302,0.5909262,0.1960638,0.00007670276],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005975228,0.00007631892,0.9773042,0.0004468345,0.00004587294,0.0002001606,0.0003485958,0.002997457,0.01260542],"genre_scores_gemma":[0.3155206,0.0004459447,0.6544192,0.000343418,0.00008583541,0.0009524417,0.00105564,0.001339834,0.02583694],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01207898,"threshold_uncertainty_score":0.04040819,"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."}}