{"id":"W1846517309","doi":"10.14288/1.0051377","title":"Transformations on dependency graphs : formal specification and efficient mechanical verification","year":2009,"lang":"en","type":"article","venue":"cIRcle (University of British Columbia)","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Dependency (UML); Programming language; Formal specification; Formal methods; Formal verification; Theoretical computer science; Software engineering","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.005287182,0.001133499,0.000582652,0.00139167,0.0009130813,0.001882656,0.001888088,0.001209393,0.004364472],"category_scores_gemma":[0.01292619,0.001172134,0.002492619,0.001184991,0.004311719,0.004270216,0.002848205,0.00301813,0.001111845],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001650152,"about_ca_system_score_gemma":0.003108219,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004761884,"about_ca_topic_score_gemma":0.003839553,"domain_scores_codex":[0.9936759,0.002080499,0.0004730987,0.0006208975,0.002776199,0.0003733224],"domain_scores_gemma":[0.9917235,0.004894366,0.0005478906,0.00173341,0.001027258,0.00007369672],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00005444824,0.00007254654,0.0003704094,0.0002843229,0.00003426856,0.000312409,0.0004111555,0.1074284,0.01029638,0.8098001,0.002548114,0.06838736],"study_design_scores_gemma":[0.0001114723,0.0000949891,0.000194991,0.000175286,0.00004822672,0.0002409109,0.000153433,0.4368299,0.02475306,0.48629,0.05104019,0.00006751234],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001524268,0.00004887787,0.9958363,0.0001039235,0.00002119598,0.0001311816,0.00007800687,0.0004379569,0.001818432],"genre_scores_gemma":[0.08407176,0.0004329034,0.9108354,0.0001319751,0.00004660422,0.0007400739,0.0005382312,0.0004370583,0.002765885],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005287182,"threshold_uncertainty_score":0.02796167,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007727052379877285,"score_gpt":0.1721547394771303,"score_spread":0.164427687097253,"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."}}