{"id":"W2117484396","doi":"10.1145/1229375.1229382","title":"Verification of Aspect-UML models using alloy","year":2007,"lang":"en","type":"article","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":16,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"","keywords":"Unified Modeling Language; Computer science; UML tool; Programming language; Software engineering; Software","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.002575693,0.0006977026,0.0005491802,0.001193639,0.0006287702,0.001704047,0.001257599,0.000878941,0.00143219],"category_scores_gemma":[0.009678856,0.0008624019,0.00178493,0.0004461805,0.001265158,0.001508113,0.001356633,0.0007350164,0.0003776313],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001230487,"about_ca_system_score_gemma":0.002219803,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00809993,"about_ca_topic_score_gemma":0.007240043,"domain_scores_codex":[0.9964656,0.0009854904,0.0002896233,0.0002806536,0.001749114,0.0002295739],"domain_scores_gemma":[0.994996,0.002591037,0.0006683606,0.0009341706,0.0007396963,0.00007078862],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0004360173,0.0002067918,0.007912048,0.0004837474,0.0002086041,0.001345538,0.001479202,0.6117419,0.05575832,0.2605021,0.00162901,0.05829676],"study_design_scores_gemma":[0.00005466741,0.00008070064,0.0004558417,0.0000609459,0.00004763473,0.0001221063,0.0001017875,0.9329168,0.0320807,0.0277384,0.006318227,0.00002210114],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.087051,0.0001191881,0.905432,0.0001902376,0.00005394215,0.0001543706,0.0002334001,0.003145014,0.003620856],"genre_scores_gemma":[0.586273,0.0002602995,0.4097931,0.00008794571,0.00002510773,0.0002267627,0.0006328946,0.000482467,0.002218326],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00809993,"threshold_uncertainty_score":0.01610559,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1094576994629968,"score_gpt":0.3305747062519779,"score_spread":0.2211170067889811,"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."}}