{"id":"W2117344189","doi":"10.1109/iccie.2009.5223955","title":"Table-based specification techniques","year":2009,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Table (database); Completeness (order theory); Programming language; Consistency (knowledge bases); Formal specification; System requirements specification; Software engineering; Database; Artificial intelligence; Mathematics","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.004126168,0.001243459,0.0010066,0.002361293,0.0009383162,0.004188081,0.003194957,0.001462006,0.03322284],"category_scores_gemma":[0.008488373,0.00111619,0.002418968,0.002850487,0.001111327,0.004968766,0.002317284,0.002425409,0.01589761],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001406522,"about_ca_system_score_gemma":0.002336915,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001723909,"about_ca_topic_score_gemma":0.00167436,"domain_scores_codex":[0.9930558,0.00145288,0.00100188,0.0007855656,0.003300236,0.0004037349],"domain_scores_gemma":[0.9931617,0.002554914,0.000369883,0.002128151,0.001670088,0.0001153643],"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.0001814129,0.0001125981,0.0004205357,0.001015428,0.00009620729,0.0003466112,0.0005102978,0.01299291,0.01851286,0.6934438,0.02909154,0.2432759],"study_design_scores_gemma":[0.0002248231,0.000235709,0.0002828939,0.0004667756,0.0002148378,0.001306302,0.0002707925,0.1016852,0.05137359,0.2792059,0.5645822,0.0001509454],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0006892961,0.0003396335,0.9850448,0.0001573312,0.0001154487,0.0002877357,0.0006124417,0.00240116,0.01035203],"genre_scores_gemma":[0.03916755,0.002241301,0.9324049,0.0004739235,0.0001432745,0.0009580522,0.002685281,0.0009112963,0.02101445],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.03322284,"threshold_uncertainty_score":0.1111415,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03355573688083172,"score_gpt":0.3038566249366055,"score_spread":0.2703008880557738,"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."}}