{"id":"W4287075879","doi":"10.48550/arxiv.2107.07690","title":"Applying Declarative Analysis to Software Product Line Models: An\\n Industrial Study","year":2021,"lang":"","type":"preprint","venue":"arXiv (Cornell University)","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Datalog; Programming language; Software engineering; Software; Process (computing); Pipeline (software); Set (abstract data type); Product (mathematics); Software product line; Expression (computer science); Declarative programming; Software development; Programming paradigm","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.003119099,0.0005737935,0.0003465523,0.0008874108,0.0006407623,0.002756669,0.001655708,0.0006625134,0.001400873],"category_scores_gemma":[0.008606738,0.0005945556,0.0007757919,0.001268682,0.001341327,0.003295972,0.001392993,0.00190375,0.0004032664],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001373353,"about_ca_system_score_gemma":0.00176267,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007631228,"about_ca_topic_score_gemma":0.007572435,"domain_scores_codex":[0.9965816,0.001312883,0.0002175012,0.0004859331,0.001263853,0.0001381973],"domain_scores_gemma":[0.9932107,0.00402248,0.0003952876,0.001236711,0.001035751,0.00009896365],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"observational","study_design_scores_codex":[0.0001962577,0.0008515826,0.01785723,0.001288419,0.0001608605,0.0007755981,0.004976564,0.221739,0.02987075,0.2953857,0.00511104,0.421787],"study_design_scores_gemma":[0.00003564003,0.0003658912,0.004612559,0.0002838564,0.00008409805,0.0005026566,0.001783305,0.8470925,0.03977695,0.0629502,0.04244152,0.000070808],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07901683,0.0008064967,0.9125764,0.0007216065,0.00002657598,0.00008599858,0.0001560786,0.001186959,0.005422992],"genre_scores_gemma":[0.4219852,0.002047624,0.5709055,0.000290683,0.00005138808,0.00008843527,0.0007693912,0.0005046019,0.003357124],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007631228,"threshold_uncertainty_score":0.01649553,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.3675659433795018,"score_gpt":0.2727640555082367,"score_spread":0.09480188787126509,"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."}}