{"id":"W2112000202","doi":"10.1145/1173706.1173738","title":"Verifying feature-based model templates against well-formedness OCL constraints","year":2006,"lang":"en","type":"article","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":288,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Template; Computer science; Feature (linguistics); Feature model; Programming language; Software; Software product line; Software engineering; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007354009,0.001028548,0.0008386184,0.0008725608,0.0007166011,0.002088911,0.002563047,0.001754624,0.002938375],"category_scores_gemma":[0.04868187,0.0009273165,0.001736176,0.0006338982,0.00208585,0.003793068,0.001455212,0.001334082,0.001145248],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001335873,"about_ca_system_score_gemma":0.003915528,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00308619,"about_ca_topic_score_gemma":0.003869291,"domain_scores_codex":[0.9865752,0.003668419,0.001658764,0.001894844,0.005562761,0.0006400271],"domain_scores_gemma":[0.9452202,0.02754144,0.00539779,0.01541043,0.006060616,0.0003695378],"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.0008128579,0.0005420949,0.01256487,0.001023115,0.0003290436,0.002325955,0.002081912,0.4140169,0.1083271,0.1707273,0.00752849,0.2797204],"study_design_scores_gemma":[0.0001461571,0.0003225966,0.0008707385,0.00008102645,0.00009497828,0.0005741966,0.0001864037,0.8005071,0.1418824,0.04646373,0.008797758,0.00007299898],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04351985,0.00004003282,0.947198,0.0001759096,0.0000474387,0.0004099513,0.0006845334,0.006477807,0.001446521],"genre_scores_gemma":[0.4392557,0.0001043606,0.5558665,0.0001739013,0.00003652065,0.0006528619,0.001754675,0.001073489,0.001081968],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007354009,"threshold_uncertainty_score":0.03889215,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02772900119790573,"score_gpt":0.2649892915571686,"score_spread":0.2372602903592629,"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."}}