{"id":"W4255120501","doi":"10.1109/iwssd.1993.315500","title":"Using design fragments to modularize the design of communications in concurrent systems","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"","keywords":"Computer science; Semantics (computer science); Programming language; Traceability; Component (thermodynamics); Concurrent engineering; Process (computing); Formal methods; Software engineering; 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.00829988,0.001267013,0.000487512,0.001155316,0.001001078,0.002031542,0.002045224,0.00137844,0.001880902],"category_scores_gemma":[0.02101657,0.001214326,0.001303335,0.0005473081,0.004474854,0.004772458,0.003975008,0.003164518,0.0004809498],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001280766,"about_ca_system_score_gemma":0.001891881,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001668783,"about_ca_topic_score_gemma":0.001443589,"domain_scores_codex":[0.9935305,0.003534505,0.0003891886,0.0005291218,0.001685305,0.0003315025],"domain_scores_gemma":[0.9852393,0.009185662,0.001016204,0.003361564,0.0008967038,0.0003005525],"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.0002595204,0.0001860907,0.001629991,0.000771936,0.000116492,0.0008118231,0.007675983,0.1208818,0.03030691,0.6234585,0.001835546,0.2120654],"study_design_scores_gemma":[0.0002391247,0.0007034374,0.0005762468,0.000615905,0.000237048,0.001068514,0.0006981185,0.2139037,0.05333112,0.6032836,0.1251657,0.0001775787],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006520052,0.0001513003,0.9912513,0.0001664454,0.00002001369,0.0001439674,0.00001321687,0.0003714876,0.0013622],"genre_scores_gemma":[0.1139901,0.0003368181,0.8829494,0.0001343898,0.00003331619,0.0004944347,0.00008505114,0.0003269462,0.001649547],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00829988,"threshold_uncertainty_score":0.04389447,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.4538529057927814,"score_gpt":0.3878912449828362,"score_spread":0.0659616608099452,"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."}}