{"id":"W7027351943","doi":"","title":"Combining semi-formal and formal notations in software specification, an approach to modelling time-constrained systems","year":2001,"lang":"en","type":"other","venue":"Library and Archives Canada (Government of Canada)","topic":"Evolution and Genetic Dynamics","field":"Biochemistry, Genetics and Molecular Biology","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"","keywords":"Software; Software system; Notation; Formal methods; Formal verification; Abstraction; Software verification; Software development; Formal specification","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.007600624,0.001391203,0.001162632,0.002082486,0.001441423,0.00734624,0.003144372,0.001682969,0.003210217],"category_scores_gemma":[0.01396609,0.001499103,0.001944366,0.003318415,0.00490505,0.007476019,0.003054307,0.003407157,0.0009053517],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00441395,"about_ca_system_score_gemma":0.01084136,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.05568777,"about_ca_topic_score_gemma":0.06595831,"domain_scores_codex":[0.9956453,0.001845853,0.0007099487,0.0003256202,0.001242065,0.0002311181],"domain_scores_gemma":[0.9884717,0.007421566,0.0007032215,0.001425266,0.001679669,0.0002985936],"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.00009146953,0.00006255373,0.0004604259,0.0006505126,0.00004461671,0.0002680513,0.002205525,0.05237539,0.004025719,0.8516603,0.005072095,0.0830834],"study_design_scores_gemma":[0.00008272132,0.00008374624,0.0002862358,0.0006328938,0.0001605314,0.0003351843,0.00077872,0.3193696,0.009185601,0.5736205,0.09530548,0.0001586544],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002151036,0.0004959392,0.9937685,0.0005452725,0.00005031929,0.00005263628,0.0001433821,0.0005557376,0.002237401],"genre_scores_gemma":[0.0885818,0.001703422,0.8999692,0.0002007192,0.00005308678,0.0003242128,0.0009410001,0.0004645037,0.007762125],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.05568777,"threshold_uncertainty_score":0.1107273,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.004388778671937875,"score_gpt":0.1531058441531688,"score_spread":0.1487170654812309,"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."}}