{"id":"W2084206470","doi":"10.1007/s10270-004-0056-z","title":"A behavioral analysis and verification approach to pattern-based design composition","year":2003,"lang":"en","type":"article","venue":"Software & Systems Modeling","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":23,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Software engineering; Reuse; Software design pattern; Software; Software development; Composition (language); 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009199387,0.0002021071,0.0003247673,0.0003620334,0.0001451484,0.0001856007,0.0003219104,0.00008938836,2.895466e-7],"category_scores_gemma":[0.0001536912,0.0002075256,0.00007180327,0.0008435744,0.00001404479,0.0002824803,0.0000450414,0.0001204706,0.000003044712],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001108158,"about_ca_system_score_gemma":0.00004056879,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007238565,"about_ca_topic_score_gemma":5.845449e-7,"domain_scores_codex":[0.9981457,0.0003908398,0.000325946,0.0005857173,0.0002662582,0.0002855274],"domain_scores_gemma":[0.9987999,0.0002532449,0.00008553973,0.0006149497,0.0001240105,0.0001223388],"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.000002578036,0.00003168773,0.0007081433,0.00003373394,0.00002649111,0.000001531681,0.0003278065,0.994429,0.0003808797,0.0002909451,0.000002334431,0.003764888],"study_design_scores_gemma":[0.0001392671,0.00004135377,0.0001142563,0.00003118299,0.00006877143,0.000007503137,0.00005389445,0.998696,0.0003761221,0.0002084946,0.00000771679,0.0002554605],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01421158,0.0002421954,0.9841757,0.000009274923,0.0002099514,0.000400436,0.000003618351,0.0007424586,0.000004786588],"genre_scores_gemma":[0.4978653,0.000001004372,0.5020054,0.00001839251,0.000008923186,0.00008166806,0.000006058784,0.00001056416,0.000002647473],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.4836538,"threshold_uncertainty_score":0.8462647,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09185485213269434,"score_gpt":0.2971870864862056,"score_spread":0.2053322343535112,"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."}}