{"id":"W2169408775","doi":"10.1109/ecbs.2000.839887","title":"Ensuring structure and behavior correctness in design composition","year":2002,"lang":"en","type":"article","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":41,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Correctness; Computer science; Component (thermodynamics); Reuse; Composition (language); Component-based software engineering; Software design pattern; Design pattern; Structural pattern; Mathematical proof; Software engineering; Software design; Programming language; Software; Theoretical computer science; Software development; Distributed computing; Mathematics; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001014263,0.00007271503,0.00008769305,0.00007097343,0.00002798153,0.00003460617,0.0001633662,0.00003725759,0.000009329735],"category_scores_gemma":[0.00004941874,0.00006743388,0.000007445285,0.0001482269,0.00001667807,0.0002507641,0.0000739036,0.00009130144,0.000001624175],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002240763,"about_ca_system_score_gemma":0.000001749236,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003533152,"about_ca_topic_score_gemma":0.000001163037,"domain_scores_codex":[0.999483,0.00006511495,0.00008336667,0.0001756042,0.00006546324,0.0001273784],"domain_scores_gemma":[0.9994945,0.0002974744,0.00001647529,0.0001538872,0.00001232984,0.0000253424],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000006110266,0.00009747273,0.007457173,0.00004252973,0.000006823098,0.0001755626,0.002603452,0.4714849,0.05225637,0.006107206,0.000113855,0.4596486],"study_design_scores_gemma":[0.001198577,0.0001941409,0.2301532,0.00008485682,0.00001388521,0.0004642552,0.00005994686,0.6074607,0.1445292,0.01479181,0.00004380428,0.001005732],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1132538,0.0001037526,0.8861031,0.00002721354,0.0001806111,0.00008157418,2.800948e-7,0.0002302787,0.00001940425],"genre_scores_gemma":[0.4859185,0.000005685131,0.5140311,0.00001446877,0.000005252591,0.000004673273,1.213371e-7,0.000002601827,0.00001761803],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.4586428,"threshold_uncertainty_score":0.2749874,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06133794433085066,"score_gpt":0.2672008134282432,"score_spread":0.2058628690973925,"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."}}