{"id":"W2026525660","doi":"10.1109/ase.2011.6100136","title":"SAUML: A tool for symbolic analysis of UML-RT models","year":2011,"lang":"en","type":"article","venue":"","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Unified Modeling Language; Computer science; Modularity (biology); IBM; Programming language; UML tool; Applications of UML; Reuse; Software engineering; Symbolic data analysis; Software; Theoretical computer science; Engineering","routes":{"ca_aff":true,"ca_fund":true,"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.001528529,0.001427951,0.0008022602,0.002696406,0.0005142326,0.00171136,0.001520716,0.0009882875,0.01839793],"category_scores_gemma":[0.005797234,0.0008878604,0.001271465,0.001188046,0.0007055242,0.002028496,0.002050575,0.001658478,0.005046137],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000571969,"about_ca_system_score_gemma":0.001433366,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001191964,"about_ca_topic_score_gemma":0.001611002,"domain_scores_codex":[0.9988815,0.0003415664,0.000122396,0.0001100384,0.0004722619,0.00007225876],"domain_scores_gemma":[0.9977849,0.001473385,0.0001975032,0.0002508629,0.0002383959,0.00005504403],"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.0004911164,0.0002145508,0.003429056,0.002915534,0.000273867,0.001612504,0.001396399,0.1127746,0.04839668,0.1367199,0.06922959,0.6225462],"study_design_scores_gemma":[0.0002490885,0.0001339432,0.0006768328,0.0004961316,0.0001055288,0.001105889,0.0001659427,0.6183283,0.04173333,0.06727365,0.2696136,0.0001178464],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001813647,0.0001141,0.9487998,0.00007657308,0.00002928238,0.00007776218,0.000865087,0.04556389,0.002659867],"genre_scores_gemma":[0.05526222,0.0003960179,0.9285961,0.0001260773,0.00004088544,0.000627292,0.004171431,0.006117659,0.004662383],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01839793,"threshold_uncertainty_score":0.06154722,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05023780574176046,"score_gpt":0.2468030976322737,"score_spread":0.1965652918905133,"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."}}