{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.005397612,0.0003287221,0.0005319763,0.0002697632,0.0001309428,0.0001963553,0.002807543,0.000302593,0.000007757573],"category_scores_gemma":[0.002982045,0.0003585678,0.0002418562,0.0004679902,0.0001444851,0.0005648383,0.003669471,0.0006156659,0.00001580064],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001229149,"about_ca_system_score_gemma":0.0002976162,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001279895,"about_ca_topic_score_gemma":0.00003598911,"domain_scores_codex":[0.9943354,0.003194651,0.0006534621,0.000867981,0.0005417833,0.0004067309],"domain_scores_gemma":[0.9909177,0.003010108,0.0007028534,0.003751939,0.001511429,0.0001059426],"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.00001308109,0.0002455115,0.0004075676,0.0004993396,0.00008940062,0.00000418947,0.01267252,0.5388244,0.006535398,0.3948585,0.0003249131,0.04552513],"study_design_scores_gemma":[0.0004582957,6.691478e-7,0.0007387081,0.001109179,0.00002113518,0.00000913215,0.00007429175,0.7651356,0.09187954,0.1397199,0.000308968,0.0005445139],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01669596,0.0004211996,0.974099,0.001407534,0.0003865502,0.0004676117,0.00002777556,0.000536802,0.005957569],"genre_scores_gemma":[0.228254,0.0001629061,0.7697252,0.00002732573,0.000009649964,0.00005099291,0.00007463141,0.00002947256,0.001665839],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.2551386,"threshold_uncertainty_score":0.9998866,"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."}}