{"id":"W159855645","doi":"10.1007/978-3-642-33826-7_8","title":"Verification of Aspectual Composition in Feature-Modeling","year":2012,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Aspect-oriented programming; Computer science; Weaving; Feature (linguistics); Context (archaeology); Software engineering; Programming language; Set (abstract data type); Separation of concerns; Formal methods; Formal verification; Software; Theoretical computer science; 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.006404,0.001203982,0.001226624,0.0009125168,0.0009805084,0.002342133,0.00337581,0.001703451,0.004177008],"category_scores_gemma":[0.01786938,0.001526253,0.003385834,0.0007036666,0.002737589,0.004038626,0.003746368,0.002511657,0.001119861],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001096696,"about_ca_system_score_gemma":0.002595412,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003634954,"about_ca_topic_score_gemma":0.003559413,"domain_scores_codex":[0.9918656,0.00253457,0.0005843744,0.0009667222,0.003398033,0.0006507334],"domain_scores_gemma":[0.9877256,0.006905345,0.0007875956,0.002988223,0.001430331,0.0001628378],"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.0009660096,0.0004713925,0.006614941,0.001398612,0.0004596821,0.00148324,0.001115913,0.2934837,0.05669298,0.3547292,0.003488761,0.2790956],"study_design_scores_gemma":[0.0001131731,0.0001473359,0.0007635522,0.0001575862,0.0002081694,0.0003925238,0.0001057148,0.8106232,0.05728981,0.1225424,0.007605036,0.00005153376],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01658751,0.00006687793,0.9787493,0.00008364024,0.00003205413,0.0001207518,0.0000620299,0.002482018,0.001815759],"genre_scores_gemma":[0.4620047,0.0002210573,0.5333043,0.0001349404,0.00005545147,0.0002284569,0.0004668799,0.001034322,0.002549855],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006404,"threshold_uncertainty_score":0.03386796,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03961761202041255,"score_gpt":0.2835849464305952,"score_spread":0.2439673344101827,"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."}}