{"id":"W2143813917","doi":"10.1109/tencon.1994.369159","title":"Formal specification techniques for complex software systems","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Manitoba; Brock University; Concordia University","funders":"","keywords":"Computer science; Dependability; Formal specification; Software engineering; Software requirements specification; Formal methods; Software system; Programming language; Formal verification; Software development; Software; Software construction","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.009274302,0.002121319,0.00140255,0.003903373,0.001349634,0.004148014,0.002393001,0.002200301,0.008484352],"category_scores_gemma":[0.01436432,0.001349186,0.002546682,0.003645898,0.005686597,0.005912226,0.003031022,0.005661218,0.003458454],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002887381,"about_ca_system_score_gemma":0.003413525,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002243083,"about_ca_topic_score_gemma":0.0019874,"domain_scores_codex":[0.9926117,0.003081793,0.001141951,0.0006057124,0.002265666,0.000293189],"domain_scores_gemma":[0.9904694,0.006875117,0.0006041783,0.001006962,0.000921856,0.0001225693],"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.00001176099,0.00002193286,0.00007576338,0.0005671136,0.00003016097,0.000179021,0.0007350087,0.007695017,0.001232237,0.9460567,0.004067524,0.0393279],"study_design_scores_gemma":[0.00004390487,0.00002694561,0.00005404415,0.0004189276,0.00002781323,0.0003481286,0.0001538788,0.01805022,0.001379675,0.8546703,0.1247884,0.00003777664],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0006035868,0.004715813,0.9852643,0.0009203539,0.0001880529,0.0001785668,0.0001401887,0.0006061243,0.00738299],"genre_scores_gemma":[0.03788636,0.01203591,0.937908,0.0007672327,0.0004660479,0.00134168,0.0008284269,0.0004248014,0.008341586],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009274302,"threshold_uncertainty_score":0.04904777,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1296056256692406,"score_gpt":0.3141784588836677,"score_spread":0.1845728332144271,"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."}}