{"id":"W120358129","doi":"10.3233/jcm-2006-6s107","title":"Generating Maude formal specifications from AUML diagrams","year":2006,"lang":"en","type":"article","venue":"Journal of Computational Methods in Sciences and Engineering","topic":"Multi-Agent Systems and Negotiation","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université du Québec à Trois-Rivières","funders":"","keywords":"Computer science; Programming language","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.001541627,0.00007147226,0.0001359551,0.0002116586,0.0001032109,0.0001854168,0.0002503099,0.00002575592,0.000002416276],"category_scores_gemma":[0.00006947197,0.00006000028,0.00003798446,0.0003549661,0.00002288012,0.0008068116,0.00004359598,0.00009452458,4.905023e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002992692,"about_ca_system_score_gemma":0.00003836704,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003689248,"about_ca_topic_score_gemma":0.000004047642,"domain_scores_codex":[0.9989936,0.00006702356,0.0004072106,0.0001270685,0.0002676778,0.0001374649],"domain_scores_gemma":[0.999145,0.0004834417,0.0002061148,0.00005434749,0.00006869424,0.0000423458],"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":[5.452944e-7,0.00001209968,0.001546787,0.000003998223,0.000003148939,0.000002316044,0.0001735713,0.9531903,0.00394456,0.02240628,0.00001938933,0.01869697],"study_design_scores_gemma":[0.0001434175,0.0000211493,0.08759706,0.00003224557,0.000001687089,0.00002502478,0.00002522275,0.9043284,0.0002413326,0.007256563,0.0002611282,0.00006674389],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.2056815,0.0003530255,0.7932638,0.0002303998,0.0003823701,0.00002962603,6.019101e-7,0.000008813067,0.00004989861],"genre_scores_gemma":[0.3869476,0.000007562651,0.6128645,0.00001301153,0.0001611082,8.853153e-7,4.298504e-7,0.000001666716,0.000003218789],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.1812662,"threshold_uncertainty_score":0.244674,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06425205886490312,"score_gpt":0.3382258259840847,"score_spread":0.2739737671191815,"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."}}