{"id":"W2141836776","doi":"10.1109/relaw.2013.6671345","title":"Towards a process for legally compliant software","year":2013,"lang":"en","type":"article","venue":"","topic":"Business Process Modeling and Analysis","field":"Business, Management and Accounting","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université du Québec en Outaouais; University of Ottawa","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Unified Modeling Language; Programming language; Software engineering; Modeling language; Model checking; Software","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":[],"consensus_categories":[],"category_scores_codex":[0.0001273398,0.0001845321,0.0002380362,0.000177966,0.0002224373,0.0005809455,0.0002982814,0.0000607571,0.0007624499],"category_scores_gemma":[0.0001312095,0.0001420062,0.0001230416,0.0004571936,0.00003089322,0.001567893,0.00006679524,0.00006571903,0.000586824],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000009663177,"about_ca_system_score_gemma":0.00003434208,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00139038,"about_ca_topic_score_gemma":0.00005207262,"domain_scores_codex":[0.9988984,0.00000134333,0.0002518232,0.0003146734,0.0002132918,0.00032044],"domain_scores_gemma":[0.998697,0.00001426074,0.0001221217,0.0001840661,0.0009679881,0.00001456651],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001896488,0.001410253,0.03779542,0.01095908,0.0006770472,0.00001144493,0.0003104575,0.02025756,0.00129368,0.1003529,0.1492129,0.6775296],"study_design_scores_gemma":[0.001732719,0.00001897799,0.00500347,0.0001982082,0.0003471008,0.000003275447,0.000850382,0.8009261,0.0002363943,0.1320527,0.05732458,0.001305989],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.135263,0.0001667169,0.8147478,0.01289391,0.0003691649,0.0010633,0.000005432459,0.00132147,0.03416924],"genre_scores_gemma":[0.9893436,0.00000187869,0.003872557,0.004075078,0.0007157956,0.0002779707,0.00004778041,0.00003662674,0.00162872],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8540806,"threshold_uncertainty_score":0.8348292,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03748301086166746,"score_gpt":0.2610993018629298,"score_spread":0.2236162910012623,"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."}}