{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0009294664,0.0004706816,0.0006072241,0.0006968235,0.0001991593,0.000167665,0.002270133,0.0002242328,0.000005622477],"category_scores_gemma":[0.0000794377,0.0003979488,0.00009009383,0.0004735993,0.0007029203,0.0007236614,0.000824439,0.000432898,0.00001462488],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005874013,"about_ca_system_score_gemma":0.0002726672,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000008859836,"about_ca_topic_score_gemma":0.000009575139,"domain_scores_codex":[0.9968353,0.0000677192,0.0005799868,0.0009979743,0.00100427,0.0005147869],"domain_scores_gemma":[0.9968865,0.0009164328,0.0004714691,0.001254847,0.0003468672,0.0001238712],"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.00003093431,0.00005157784,0.00008123447,0.0003685286,0.0000576349,0.00008393466,0.001566194,0.8725228,0.001423493,0.03177571,0.00001360746,0.09202439],"study_design_scores_gemma":[0.001153869,0.001623995,0.0008374164,0.004741393,0.00005765068,0.0005500242,0.000003380537,0.8738329,0.02959226,0.08529993,0.0003165983,0.001990531],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.000387696,0.000118378,0.9968584,0.00005934013,0.00128873,0.0004591802,0.0000107648,0.0003645916,0.00045299],"genre_scores_gemma":[0.1578783,0.000005581408,0.8418127,0.00006836437,0.0001507376,0.00001466592,0.000006905417,0.00002721115,0.00003545362],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.1574906,"threshold_uncertainty_score":0.9998472,"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."}}