{"id":"W3048807750","doi":"","title":"Formal representation of SysML/KAOS domain model","year":2019,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Sherbrooke","funders":"","keywords":"Computer science; Domain (mathematical analysis); Representation (politics); Mathematics; Political science","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.002530744,0.0009511939,0.0005994558,0.00235397,0.0007595801,0.004031315,0.001929241,0.001266717,0.005116379],"category_scores_gemma":[0.003877504,0.0006721895,0.001344717,0.001394623,0.00160653,0.002604037,0.001557874,0.002481923,0.002665285],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001382127,"about_ca_system_score_gemma":0.003061537,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004118731,"about_ca_topic_score_gemma":0.002939619,"domain_scores_codex":[0.9970618,0.0009235037,0.0004372319,0.0004289143,0.0009634048,0.0001851863],"domain_scores_gemma":[0.9979084,0.0008924532,0.0002823905,0.0003421907,0.0005002324,0.00007433916],"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.00007909281,0.00007989839,0.0003919546,0.0005654198,0.00004279758,0.0008914725,0.001005406,0.03045459,0.009619836,0.9133304,0.00635362,0.03718552],"study_design_scores_gemma":[0.000135344,0.00009550033,0.0003978972,0.0003886332,0.00008121512,0.001004737,0.000362387,0.2140373,0.0177632,0.4420781,0.3235554,0.0001002441],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002155761,0.0002614624,0.9873416,0.0003447105,0.00008630128,0.0002279146,0.000981319,0.001903817,0.006697138],"genre_scores_gemma":[0.08762877,0.0009466335,0.9000981,0.0004148023,0.0001512579,0.001232002,0.003113515,0.000622457,0.00579237],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005116379,"threshold_uncertainty_score":0.01711595,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03393058360668949,"score_gpt":0.2761145102788745,"score_spread":0.242183926672185,"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."}}