{"id":"W4416684846","doi":"10.1007/978-3-032-12086-1_2","title":"A Modular Orthogonal Integration of Operational and Prescriptive Timing Requirements Using TASTD","year":2025,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université de Sherbrooke","funders":"Agence Nationale de la Recherche","keywords":"Modular design; Process (computing); Formal specification; Unified Modeling Language; Scheme (mathematics); System requirements specification; Formal methods; Software requirements specification","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.002311137,0.0007728073,0.0006709654,0.0009532737,0.0003764234,0.001719592,0.001368263,0.0006267877,0.005634568],"category_scores_gemma":[0.004488527,0.0007433015,0.001363801,0.000585557,0.001028273,0.001657676,0.002220451,0.001443334,0.002142948],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005311022,"about_ca_system_score_gemma":0.001898934,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00104763,"about_ca_topic_score_gemma":0.00135268,"domain_scores_codex":[0.9973927,0.0004086646,0.0002334923,0.0003807342,0.001342677,0.0002417105],"domain_scores_gemma":[0.9966094,0.0009659879,0.0002852458,0.001190853,0.0008135252,0.0001349364],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0004779845,0.0002500339,0.001651357,0.0006195782,0.0001440296,0.0007610955,0.0006272825,0.07721581,0.2123976,0.2374362,0.005287942,0.4631311],"study_design_scores_gemma":[0.0001670203,0.0006587367,0.0007700911,0.0002304422,0.0003183653,0.001216315,0.0001654685,0.6000501,0.2058716,0.1035166,0.08692485,0.0001103992],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004809256,0.00003920483,0.9894803,0.00004753421,0.00003704865,0.00009606535,0.00004567273,0.002057781,0.003387205],"genre_scores_gemma":[0.1739428,0.0001225033,0.819557,0.0001078523,0.0000457138,0.0001898499,0.0002700242,0.0008281968,0.004936059],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005634568,"threshold_uncertainty_score":0.01884955,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06379155558351089,"score_gpt":0.3194676322387537,"score_spread":0.2556760766552428,"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."}}