{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001497671,0.000797722,0.0003397546,0.0009668243,0.0005412538,0.002118889,0.00112024,0.001021217,0.003329566],"category_scores_gemma":[0.003355612,0.0003182316,0.001338641,0.0006635655,0.002312544,0.004752488,0.001668314,0.001593378,0.0005263396],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001087086,"about_ca_system_score_gemma":0.0008018336,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001189269,"about_ca_topic_score_gemma":0.00108022,"domain_scores_codex":[0.9985903,0.0004307112,0.0001895089,0.0002583623,0.0004045221,0.0001266433],"domain_scores_gemma":[0.9989944,0.0004522382,0.0001303552,0.0001923756,0.0001883687,0.00004218128],"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.00003318794,0.00001938962,0.0001578366,0.00007674567,0.00001043365,0.00008812538,0.0002798147,0.01720789,0.002676751,0.9656425,0.0005468879,0.01326036],"study_design_scores_gemma":[0.00003911075,0.00008799852,0.0001810558,0.00004651094,0.00003477982,0.0001827994,0.0001366571,0.129798,0.005398406,0.8379168,0.02614491,0.00003292133],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01425508,0.0001387813,0.9767835,0.0003146291,0.00007397876,0.00006272948,0.0001746373,0.0005463956,0.007650211],"genre_scores_gemma":[0.4658441,0.0003392515,0.5269479,0.0003223503,0.0001249729,0.0004222414,0.0005334074,0.0002954556,0.005170399],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003329566,"threshold_uncertainty_score":0.01113856,"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."}}