{"id":"W2033745143","doi":"10.1145/1067915.1067919","title":"Converging CSP specifications and C++ programming via selective formalism","year":2005,"lang":"en","type":"article","venue":"ACM Transactions on Embedded Computing Systems","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Guelph","funders":"","keywords":"Computer science; Programming language; Communicating sequential processes; Executable; Specification language; Formal specification; Concurrency; Formal methods; Formalism (music); Inter-process communication; Semantics (computer science); Operational semantics; Distributed computing","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.001753021,0.0005286935,0.0002771663,0.0008768866,0.0005815978,0.001641202,0.001110789,0.0005975068,0.002750413],"category_scores_gemma":[0.003525713,0.0004118028,0.0006070614,0.0010548,0.00202474,0.001656956,0.001657323,0.001534751,0.0008799767],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007737148,"about_ca_system_score_gemma":0.001919331,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001870938,"about_ca_topic_score_gemma":0.001852202,"domain_scores_codex":[0.9981401,0.0005143419,0.0001300393,0.0001544109,0.0009305404,0.0001305883],"domain_scores_gemma":[0.998082,0.000977118,0.0001544386,0.0002811193,0.0004082499,0.00009706418],"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.00002680771,0.00001413859,0.000137854,0.00008842222,0.000006263282,0.0001779021,0.0003106638,0.01188812,0.004309292,0.9566397,0.001226566,0.0251743],"study_design_scores_gemma":[0.00008295017,0.00008202193,0.0001530441,0.00009519068,0.00002430203,0.0004163583,0.0001932236,0.2764645,0.02712203,0.620347,0.07498094,0.0000384428],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.007429945,0.0001041518,0.9815979,0.0002208523,0.00002397132,0.00005350864,0.00004695505,0.0004909487,0.01003189],"genre_scores_gemma":[0.1913841,0.000776571,0.7994083,0.0003506615,0.00007794033,0.000423974,0.0002960484,0.0003486834,0.006933684],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.002750413,"threshold_uncertainty_score":0.009270966,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02958926631069245,"score_gpt":0.2639274736380406,"score_spread":0.2343382073273482,"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."}}