{"id":"W48157968","doi":"","title":"Formal semantics and verification of use case maps","year":2008,"lang":"en","type":"dissertation","venue":"Spectrum Research Repository (Concordia University)","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; Executable; Software engineering; Programming language; Formal semantics (linguistics); Formal methods; Reuse; Notation; Formal specification; Formal verification; Software development; Semantics (computer science); Software; Engineering","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.009403458,0.001321923,0.0007507996,0.003058041,0.001546693,0.005376071,0.003256063,0.002077111,0.003622808],"category_scores_gemma":[0.02913809,0.001306146,0.003108392,0.00178336,0.005974451,0.007152403,0.004534287,0.003052494,0.000959852],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002742382,"about_ca_system_score_gemma":0.004482157,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004717659,"about_ca_topic_score_gemma":0.002193975,"domain_scores_codex":[0.9844354,0.005225315,0.0018542,0.001532384,0.005932911,0.001019821],"domain_scores_gemma":[0.9783177,0.01290279,0.001814273,0.002525704,0.004121572,0.0003177897],"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.00005705202,0.0001059507,0.0006132997,0.0003421702,0.00005262027,0.0007528235,0.001664682,0.03485373,0.004922654,0.9305024,0.001237042,0.0248956],"study_design_scores_gemma":[0.00009972167,0.00008361558,0.000345721,0.000351204,0.00007382639,0.0004700262,0.0004588302,0.1820691,0.01471848,0.7533105,0.04794022,0.00007882257],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.007870072,0.0001956042,0.9849782,0.0004151467,0.00006653086,0.0002822081,0.0002188427,0.001008051,0.004965321],"genre_scores_gemma":[0.292615,0.00111096,0.695827,0.0003495257,0.0002000331,0.001936397,0.001570943,0.0005296657,0.005860506],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009403458,"threshold_uncertainty_score":0.04973078,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06203369366498383,"score_gpt":0.304180296523221,"score_spread":0.2421466028582371,"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."}}