{"id":"W2077586887","doi":"10.3166/isi.17.3.95-118","title":"Une approche pour la prise en compte des buts non fonctionnels dans les spécifications abstraites Event-B","year":2012,"lang":"fr","type":"article","venue":"Ingénierie des systèmes d information","topic":"Business Process Modeling and Analysis","field":"Business, Management and Accounting","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"Political science; Philosophy","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":true,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007140439,0.00207457,0.001349571,0.001565129,0.001918308,0.008510124,0.002994211,0.005515875,0.009626648],"category_scores_gemma":[0.01593697,0.00227493,0.003455475,0.001245192,0.002701538,0.006757556,0.003716843,0.006506421,0.003736428],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001671079,"about_ca_system_score_gemma":0.003570867,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.007751509,"about_ca_topic_score_gemma":0.008465044,"domain_scores_codex":[0.9867384,0.003075543,0.0009034062,0.00181641,0.006875515,0.0005907345],"domain_scores_gemma":[0.9878449,0.004744945,0.0005009939,0.003446858,0.003194465,0.0002678723],"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.0008359926,0.0003924583,0.002443454,0.0008962059,0.0003808191,0.001846473,0.003315229,0.06323086,0.06662856,0.4967104,0.01114966,0.3521699],"study_design_scores_gemma":[0.0003659087,0.0003513937,0.0008560147,0.0004134688,0.0004212805,0.001897012,0.0006706126,0.4858959,0.1027671,0.2074067,0.1986512,0.0003034294],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002117258,0.00006260432,0.9933648,0.0003235365,0.00007254032,0.00006344935,0.00004859293,0.001993756,0.001953522],"genre_scores_gemma":[0.06814435,0.000257365,0.9168884,0.0004425288,0.00009598282,0.0002207448,0.0003040534,0.001102987,0.01254366],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009626648,"threshold_uncertainty_score":0.0377627,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02178880343665175,"score_gpt":0.2367768934604509,"score_spread":0.2149880900237992,"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."}}