{"id":"W2095956920","doi":"10.1109/hase.2007.52","title":"A Formal Approach to Website Maintenance","year":2007,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":19,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Windsor","funders":"","keywords":"Correctness; Computer science; Model checking; Automaton; Formal verification; The Internet; Software engineering; Temporal logic; Programming language; Web application; Theoretical computer science; World Wide Web","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00145041,0.0000709907,0.00006835214,0.00009185538,0.00006527174,0.00006080119,0.000734215,0.0000345267,0.000005380012],"category_scores_gemma":[0.00006586259,0.00005831735,0.00002812377,0.0004894187,0.000015814,0.0007231371,0.0002128587,0.0000707395,0.0002408857],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004107589,"about_ca_system_score_gemma":0.00001416991,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000009086805,"about_ca_topic_score_gemma":0.000002105192,"domain_scores_codex":[0.9990302,0.00001793757,0.0001650469,0.0002331379,0.0001841116,0.0003696202],"domain_scores_gemma":[0.9992812,0.00002289358,0.00003278395,0.0004929419,0.00005741691,0.0001127767],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000005999499,0.00002650529,0.00007039498,0.000003759028,0.000001530149,8.679226e-7,0.0003160911,0.00004023861,0.0005448745,0.9143335,0.001202758,0.08345355],"study_design_scores_gemma":[0.0007681959,0.0003404827,0.08413119,0.00002435197,0.000004851206,0.0002040187,0.0003472343,0.5798698,0.06449267,0.009792447,0.2590667,0.0009580321],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001545096,0.00000377882,0.7438928,0.0001107435,0.0001623498,0.0001117943,1.40145e-7,0.0001513538,0.2540219],"genre_scores_gemma":[0.1413013,5.098177e-7,0.855673,0.001043898,0.00003572524,0.000008140054,3.25904e-7,0.000003589395,0.001933456],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.904541,"threshold_uncertainty_score":0.3096178,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02816682743112741,"score_gpt":0.2901603247418721,"score_spread":0.2619934973107447,"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."}}