{"id":"W2994412325","doi":"10.1109/re.2019.00034","title":"Arithmetic Semantics of Feature and Goal Models for Adaptive Cyber-Physical Systems","year":2019,"lang":"en","type":"article","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"","keywords":"Computer science; Semantics (computer science); Feature (linguistics); Adaptation (eye); USable; Theoretical computer science; Goal modeling; Cyber-physical system; Systems Modeling Language; Artificial intelligence; Programming language; Unified Modeling Language; Requirements engineering; Software","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.0001542485,0.0001005472,0.0002389371,0.0000360067,0.00001541436,0.00002198323,0.0002451467,0.00005286613,2.007352e-7],"category_scores_gemma":[0.00007831868,0.00008060349,0.00003835796,0.0001083442,0.0000281532,0.0002587175,0.000164729,0.00007868002,0.000001949238],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001393945,"about_ca_system_score_gemma":0.0000124471,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005333099,"about_ca_topic_score_gemma":2.944722e-7,"domain_scores_codex":[0.9993858,0.000030554,0.00008698969,0.0002299841,0.0001161842,0.000150505],"domain_scores_gemma":[0.9987112,0.0008568764,0.00004551527,0.0002880472,0.00006532002,0.00003304737],"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.000007687506,0.00001673306,0.00003904566,0.00009021382,0.00002004257,8.309264e-7,0.0003475883,0.6426798,0.0009270093,0.3526998,0.0001070701,0.003064184],"study_design_scores_gemma":[0.0001781794,0.0001564014,0.0001526469,0.0000276133,0.000005708203,0.000006660907,0.00004372699,0.954668,0.001078526,0.04352286,0.0000479394,0.0001117507],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01119913,0.0001361609,0.9877685,0.00006759541,0.000235529,0.0002887469,0.000003512854,0.0001414646,0.0001593193],"genre_scores_gemma":[0.382288,0.000003250192,0.6172661,0.000008060928,0.00001616294,0.000008758246,2.543144e-7,0.000005932585,0.0004035724],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.3710888,"threshold_uncertainty_score":0.3286915,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03015724942660839,"score_gpt":0.270403682766246,"score_spread":0.2402464333396376,"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."}}