{"id":"W4316927202","doi":"10.1145/3571788.3571805","title":"Defining, Analyzing, Querying and Assuring Product Line Models","year":2023,"lang":"en","type":"article","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Software engineering; Software product line; Debugging; Product (mathematics); Domain (mathematical analysis); Certification; Software development; Software; Systems engineering; Engineering; 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.0007640771,0.0001174936,0.0001525816,0.0001900398,0.0000862591,0.00008401367,0.0003385424,0.00002901107,0.000001137149],"category_scores_gemma":[0.0008415838,0.0001064543,0.00002521749,0.000623258,0.0000220927,0.0006115113,0.0004519877,0.0001219842,0.00001894663],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001856403,"about_ca_system_score_gemma":0.00001996924,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001098147,"about_ca_topic_score_gemma":0.000002339594,"domain_scores_codex":[0.9989823,0.00004561478,0.0001491431,0.0004034244,0.0001297612,0.0002898018],"domain_scores_gemma":[0.998925,0.0005510069,0.00003599462,0.0003968948,0.00003629321,0.00005475047],"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.000001191487,0.00000422182,0.0005578968,0.00002941616,0.0000138942,0.00001771267,0.000422886,0.8533495,0.0004569864,0.07394329,0.0002028133,0.0710002],"study_design_scores_gemma":[0.0001536041,0.00003721545,0.001509701,0.00004050684,0.000005180337,0.00002178445,0.00003127715,0.882497,0.01046026,0.1043862,0.0004942091,0.0003630758],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.009106072,0.0005937878,0.9867269,0.0002795417,0.0002191589,0.00005944103,3.725761e-7,0.002569582,0.0004451401],"genre_scores_gemma":[0.168604,0.0001055622,0.8306111,0.00003441501,0.00003163848,0.000009966838,9.241664e-7,0.00001240427,0.0005900034],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.1594979,"threshold_uncertainty_score":0.4341081,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06196483031403906,"score_gpt":0.3082536760812426,"score_spread":0.2462888457672036,"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."}}