{"id":"W2131689139","doi":"10.5381/jot.2009.8.2.a2","title":"Generating Maude Specifications From UML Use Case Diagrams.","year":2009,"lang":"en","type":"article","venue":"The Journal of Object Technology","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université du Québec à Trois-Rivières","funders":"","keywords":"Programming language; Computer science; Unified Modeling Language; Use Case Diagram; Class diagram; 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.007294815,0.001740763,0.0006610716,0.005105473,0.001100464,0.00334907,0.003168159,0.001871494,0.006842556],"category_scores_gemma":[0.03339651,0.002308273,0.003011423,0.001832898,0.0008518435,0.002945748,0.003025422,0.002369786,0.003515793],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001354636,"about_ca_system_score_gemma":0.002948724,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004051166,"about_ca_topic_score_gemma":0.008871821,"domain_scores_codex":[0.992974,0.002632453,0.0007395404,0.0006015673,0.002782302,0.0002699932],"domain_scores_gemma":[0.9860491,0.008421292,0.001004945,0.002166804,0.002215465,0.000142291],"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.0002270879,0.0003909198,0.004641765,0.002308393,0.0003742166,0.002888407,0.007690671,0.1060564,0.03202776,0.4597887,0.02603343,0.3575722],"study_design_scores_gemma":[0.0001803344,0.0002225402,0.001266817,0.001188703,0.000267592,0.002614384,0.001619576,0.3587974,0.06094535,0.1028914,0.4697652,0.0002407555],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003082519,0.0001101386,0.9872339,0.0001475708,0.00004678926,0.00057016,0.0009017822,0.002791797,0.005115253],"genre_scores_gemma":[0.02289533,0.0002532313,0.9677527,0.00006315304,0.00001218723,0.0009980353,0.004341609,0.0008507184,0.002832965],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007294815,"threshold_uncertainty_score":0.03857917,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03235921265435653,"score_gpt":0.2496369388369096,"score_spread":0.2172777261825531,"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."}}