{"id":"W4388894088","doi":"10.1109/iceccs59891.2023.00028","title":"Specification and Verification of Communication Paradigms for CBSE in Event B","year":2023,"lang":"en","type":"article","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"","keywords":"Computer science; Metamodeling; Component (thermodynamics); Event (particle physics); Software engineering; FIFO (computing and electronics); Context (archaeology); Distributed computing; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00923817,0.001005167,0.0007376331,0.001307045,0.001368853,0.003955447,0.001953983,0.002434081,0.002260028],"category_scores_gemma":[0.01765651,0.0009449414,0.001840245,0.0007207175,0.002938187,0.002948173,0.002061442,0.002950069,0.0005981985],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002594291,"about_ca_system_score_gemma":0.00602081,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008368059,"about_ca_topic_score_gemma":0.005185603,"domain_scores_codex":[0.9926023,0.002650216,0.000802773,0.0007675639,0.002596558,0.0005805718],"domain_scores_gemma":[0.9885201,0.005865053,0.001665926,0.00219047,0.001533189,0.0002252962],"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.0003133428,0.0003285972,0.002046118,0.0005379451,0.00007485817,0.001078212,0.001370555,0.157959,0.03467444,0.7688029,0.001494694,0.03131928],"study_design_scores_gemma":[0.0002881185,0.0002511172,0.0004558685,0.0002123616,0.00007685617,0.000269741,0.0002715949,0.8080796,0.05106409,0.1158943,0.02304358,0.00009275011],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01695033,0.0000615652,0.9782276,0.0002401837,0.00004848936,0.0003525744,0.00009215697,0.001238047,0.00278908],"genre_scores_gemma":[0.3871633,0.0002523877,0.6068567,0.0003170698,0.00004940206,0.001216856,0.0002777687,0.0006169463,0.003249591],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00923817,"threshold_uncertainty_score":0.04885668,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07642209762778314,"score_gpt":0.340376461035838,"score_spread":0.2639543634080549,"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."}}