{"id":"W2886614420","doi":"10.1007/978-3-319-98938-9_22","title":"Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions","year":2018,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Sherbrooke","funders":"Natural Sciences and Engineering Research Council of Canada; Agence Nationale de la Recherche","keywords":"Systems Modeling Language; Computer science; Goal modeling; Software engineering; Component (thermodynamics); Domain (mathematical analysis); Unified Modeling Language; Programming language; Systems engineering; Requirements engineering; Software; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002850693,0.001117531,0.0005155892,0.001655958,0.0008827451,0.003674265,0.001445323,0.001006455,0.008399638],"category_scores_gemma":[0.005607653,0.001166915,0.00158106,0.001045323,0.002459475,0.003252456,0.003148909,0.002880215,0.003551929],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001220258,"about_ca_system_score_gemma":0.002504582,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004572686,"about_ca_topic_score_gemma":0.004298245,"domain_scores_codex":[0.9971755,0.000992914,0.0002579957,0.0004753833,0.000760293,0.0003379989],"domain_scores_gemma":[0.9971918,0.001293578,0.0002441973,0.000553626,0.0005706717,0.000146039],"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.0002886178,0.0001929528,0.0007404562,0.0005690408,0.00006590116,0.0005581506,0.001784749,0.04521869,0.02067975,0.7804821,0.008536366,0.1408831],"study_design_scores_gemma":[0.0001573065,0.0001161915,0.0006490145,0.0005259769,0.0001180051,0.0004430128,0.0005913418,0.3183047,0.05074273,0.5181369,0.11012,0.00009504698],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005197046,0.00006135577,0.984378,0.0001339447,0.00005470576,0.0001027256,0.0001430116,0.002865301,0.007063866],"genre_scores_gemma":[0.1742924,0.0002045987,0.8149847,0.0001931354,0.00005656787,0.000289699,0.0006695111,0.001744135,0.007565346],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008399638,"threshold_uncertainty_score":0.0280996,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02268169286686167,"score_gpt":0.2593402220441314,"score_spread":0.2366585291772697,"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."}}