{"id":"W1977640927","doi":"10.1016/j.ins.2013.02.038","title":"Pattern Language Verification in Model Driven Design","year":2013,"lang":"en","type":"article","venue":"Information Sciences","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Software design pattern; Pattern language (formal languages); Formalism (music); Software walkthrough; Natural language processing; Programming language; Modeling language; Artificial intelligence; Software; Software development","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.0004129352,0.00007250452,0.00006576815,0.0002612327,0.00005932049,0.0003078435,0.0007925335,0.00003700398,0.000009668101],"category_scores_gemma":[0.00001282712,0.00006392071,0.00001541977,0.0004571038,0.00004146432,0.005618944,0.00008519648,0.000063298,0.0001823119],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004172321,"about_ca_system_score_gemma":0.0000550392,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000127787,"about_ca_topic_score_gemma":0.000002514163,"domain_scores_codex":[0.9991718,0.00002288173,0.0002331175,0.0001194574,0.0002869153,0.0001658636],"domain_scores_gemma":[0.9995481,0.00002820003,0.00007847094,0.0002475347,0.00006084611,0.00003688291],"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":[2.994951e-7,0.00001100246,0.0006775374,0.000008536213,9.96713e-7,3.232927e-7,0.008011171,0.5643257,0.0005717262,0.0243625,0.0008672525,0.4011629],"study_design_scores_gemma":[0.00004775432,0.0000163739,0.002116393,0.00001085129,2.14921e-7,0.000001492569,0.00002557361,0.9951497,0.001200658,0.0010664,0.0002788133,0.00008576241],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01248026,0.000005929137,0.9860758,0.0003315944,0.00005076878,0.0002304245,6.78453e-7,0.0003320812,0.0004924751],"genre_scores_gemma":[0.5828602,0.000002581043,0.4168856,0.0001792514,0.000003404547,0.00005883125,0.000001172692,0.000001118004,0.000007780343],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.57038,"threshold_uncertainty_score":0.4073599,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02505260938569466,"score_gpt":0.2525559950593367,"score_spread":0.227503385673642,"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."}}