{"id":"W4319228909","doi":"10.1007/s10664-023-10290-2","title":"Applying declarative analysis to industrial automotive software product line models","year":2023,"lang":"en","type":"article","venue":"Empirical Software Engineering","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo; University of Toronto","funders":"General Motors of Canada; Canadian Network for Research and Innovation in Machining Technology, Natural Sciences and Engineering Research Council of Canada","keywords":"Automotive industry; Software product line; Software engineering; Computer science; Software; Milestone; Product (mathematics); Programming language; Software development; Engineering","routes":{"ca_aff":true,"ca_fund":true,"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":["metaresearch","metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001031321,0.0005768208,0.000835253,0.001390822,0.0002055062,0.0001897685,0.001399139,0.0002402302,0.000008805082],"category_scores_gemma":[0.01536771,0.0005775847,0.0003249698,0.01036873,0.00003491878,0.0009124732,0.001085129,0.0007757434,0.0001262664],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000359356,"about_ca_system_score_gemma":0.0001292797,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001131022,"about_ca_topic_score_gemma":0.000002532732,"domain_scores_codex":[0.9960843,0.0001383693,0.0006083348,0.00130838,0.0007481927,0.001112392],"domain_scores_gemma":[0.9949213,0.003097977,0.00011027,0.001126378,0.0002844366,0.0004596419],"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.000007690776,0.00002300351,0.002182854,0.00001881853,0.0003170637,0.00005878032,0.0009045689,0.9799122,0.00006502103,0.0001213064,0.0009412467,0.01544742],"study_design_scores_gemma":[0.001162388,0.0004348809,0.02040238,0.0001932895,0.0003847988,0.0000307767,0.0001085666,0.9471251,0.006957524,0.007977585,0.01191037,0.003312278],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01336327,0.0001291057,0.9743689,0.0004482606,0.0009508656,0.0008206416,0.0000241886,0.009888727,0.000006002344],"genre_scores_gemma":[0.05199992,0.00001049705,0.9461727,0.0002879296,0.0004206354,0.0007733606,0.00003826565,0.00009023185,0.0002064986],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.03863664,"threshold_uncertainty_score":0.9996676,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1475329072300927,"score_gpt":0.342799952386393,"score_spread":0.1952670451563003,"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."}}