{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01245127,0.001082032,0.001134351,0.001726322,0.002569747,0.003519127,0.001568959,0.002764446,0.001912936],"category_scores_gemma":[0.05899028,0.001792896,0.001608407,0.00119477,0.007285776,0.005749484,0.004103359,0.002982041,0.001261325],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001783581,"about_ca_system_score_gemma":0.006486093,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003173654,"about_ca_topic_score_gemma":0.002077578,"domain_scores_codex":[0.9754533,0.008994295,0.002046543,0.002095495,0.01010343,0.001306788],"domain_scores_gemma":[0.9605608,0.01752892,0.003688769,0.01131149,0.006251465,0.0006586825],"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.0004630648,0.0003735122,0.0067657,0.0007228855,0.0001801212,0.001314606,0.004626845,0.1177692,0.03990742,0.6132691,0.00215329,0.2124542],"study_design_scores_gemma":[0.0003547241,0.0004026399,0.001214717,0.0002774539,0.0002301753,0.0008345088,0.0005254926,0.2908555,0.07098488,0.6092756,0.02492764,0.0001166649],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02294455,0.00005271211,0.9729951,0.0004223191,0.00002931396,0.0001914867,0.00002040928,0.0008775087,0.002466545],"genre_scores_gemma":[0.3436912,0.0002719674,0.6511104,0.0002958635,0.00008515696,0.000721582,0.0001505845,0.0005449902,0.003128202],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01245127,"threshold_uncertainty_score":0.06584942,"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."}}