{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003156832,0.0007877519,0.0005321804,0.002004023,0.001877483,0.004578458,0.003187386,0.002097595,0.004892131],"category_scores_gemma":[0.009284517,0.0008286436,0.001877952,0.001403043,0.007926265,0.007092025,0.002992754,0.003851009,0.001010683],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002961494,"about_ca_system_score_gemma":0.0022304,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00430898,"about_ca_topic_score_gemma":0.003588366,"domain_scores_codex":[0.9974897,0.0008626203,0.0002142901,0.0003720887,0.0008228065,0.0002385129],"domain_scores_gemma":[0.9938241,0.003768078,0.0004491268,0.001099843,0.0006446699,0.0002142185],"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.000009654784,0.00003000258,0.0001323669,0.0000638252,0.000008363243,0.0001300525,0.0004112693,0.008193741,0.0006966337,0.980814,0.0008938698,0.008616124],"study_design_scores_gemma":[0.000018491,0.00002474853,0.00008251596,0.0000632243,0.00002181063,0.00020471,0.0001023555,0.05030533,0.001032538,0.9216777,0.02644436,0.00002231585],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003062515,0.0008417831,0.9807778,0.001547214,0.000175037,0.00006511529,0.00008319847,0.0004779008,0.01296933],"genre_scores_gemma":[0.3010204,0.002609025,0.6772294,0.0009048628,0.0007937296,0.0005092733,0.0003507639,0.0003339262,0.01624865],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004892131,"threshold_uncertainty_score":0.02148718,"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."}}