{"id":"W2096370872","doi":"10.1145/952532.952744","title":"An integrated framework for formal development of open distributed systems","year":2003,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria","funders":"","keywords":"Notation; Computer science; Unified Modeling Language; Formalism (music); Software engineering; Formal methods; Formal specification; Programming language; Formal verification; Development (topology); Formal language; Software","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.01488574,0.0009841879,0.0009260027,0.002198993,0.001327934,0.003762465,0.004310835,0.001861609,0.00318822],"category_scores_gemma":[0.011898,0.001170298,0.00217438,0.001538913,0.004232229,0.00707098,0.005704831,0.003936123,0.0007696083],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002341024,"about_ca_system_score_gemma":0.004811588,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003144633,"about_ca_topic_score_gemma":0.003778129,"domain_scores_codex":[0.9934501,0.002922705,0.0007072871,0.0005915966,0.002045704,0.0002826687],"domain_scores_gemma":[0.9943517,0.002884577,0.0004012393,0.001231275,0.0008025808,0.0003284966],"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.00001677575,0.0000560163,0.0001643289,0.0001912059,0.0000260275,0.0001843597,0.0008878052,0.01867133,0.001682271,0.9370291,0.001124979,0.03996583],"study_design_scores_gemma":[0.0001239436,0.0001562025,0.0001761597,0.0005623334,0.00008376034,0.0004739867,0.0003924205,0.147315,0.003368517,0.6785734,0.168683,0.00009135775],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0004937196,0.000131554,0.9973608,0.0002329088,0.00003033773,0.00006855589,0.00001537012,0.000406874,0.001259909],"genre_scores_gemma":[0.01667096,0.0002780168,0.9817176,0.00006538001,0.00002648104,0.0002691506,0.00008352587,0.0001008132,0.0007880279],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01488574,"threshold_uncertainty_score":0.07872427,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04268657709306487,"score_gpt":0.2983687256304247,"score_spread":0.2556821485373598,"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."}}