{"id":"W1590719333","doi":"10.1007/978-3-642-16265-7_18","title":"Systematic Translation Rules from astd to Event-B","year":2010,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":16,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Computer science; Translation (biology); Event (particle physics); Transfer-based machine translation; Programming language; Process calculus; Process (computing); Natural language processing; Mathematical proof; Set (abstract data type); Animation; Software engineering; Artificial intelligence; Machine translation; Example-based machine translation; Computer graphics (images); Mathematics","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.002661136,0.001349912,0.001008052,0.001945621,0.001040328,0.002857416,0.001559649,0.001413883,0.01749981],"category_scores_gemma":[0.00875794,0.001627169,0.002056022,0.00148077,0.00200681,0.002899584,0.004360036,0.003333103,0.01245882],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008266227,"about_ca_system_score_gemma":0.002852889,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002972386,"about_ca_topic_score_gemma":0.003431603,"domain_scores_codex":[0.9965737,0.000830594,0.0005134921,0.0007075858,0.0009705322,0.0004041604],"domain_scores_gemma":[0.9938068,0.002739433,0.0002059196,0.001754133,0.001359205,0.0001344828],"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.0008080467,0.0003232187,0.001589508,0.001798034,0.0001640489,0.001034801,0.001325856,0.01131002,0.03702522,0.4100868,0.06703231,0.467502],"study_design_scores_gemma":[0.0002987013,0.0001549998,0.0006134549,0.0004763452,0.0003222332,0.0008080009,0.0004946597,0.05845281,0.1194074,0.568384,0.2504312,0.0001561334],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00470407,0.0001280848,0.963729,0.0002959002,0.0003450921,0.0004183818,0.001837248,0.01756393,0.0109784],"genre_scores_gemma":[0.1174421,0.0004570949,0.8513678,0.0005205999,0.0001307619,0.0006517443,0.00580442,0.009137893,0.01448745],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01749981,"threshold_uncertainty_score":0.05854267,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02571222289687767,"score_gpt":0.2800246125856278,"score_spread":0.2543123896887501,"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."}}