{"id":"W1224289729","doi":"","title":"Runtime verification for the web: a tutorial introduction to interface contracts in web applications","year":2010,"lang":"en","type":"article","venue":"Runtime Verification","topic":"Service-Oriented Architecture and Web Services","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université du Québec à Montréal; Université du Québec à Chicoutimi","funders":"","keywords":"Computer science; Web application; Runtime verification; Web modeling; Web API; Programming language; World Wide Web; Web service; Operating system; Formal verification","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.0007342216,0.0002068862,0.0001820673,0.0002609149,0.0003012246,0.0002872903,0.001293479,0.000139239,0.00002724578],"category_scores_gemma":[0.00006854795,0.0001755335,0.00006964128,0.001158682,0.00004291626,0.0005432201,0.0001113507,0.0003168863,0.0003022328],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006330117,"about_ca_system_score_gemma":0.0001416018,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009411263,"about_ca_topic_score_gemma":0.0005318626,"domain_scores_codex":[0.9981576,0.00006281016,0.0004330708,0.0007335271,0.0002835484,0.0003294885],"domain_scores_gemma":[0.9977792,0.0002319129,0.0002093222,0.001397694,0.0002842894,0.00009756723],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001245188,0.0002623525,0.00016209,0.00003059709,0.00003170256,1.978181e-7,0.002393662,0.001005525,0.8701158,0.07257417,0.002471188,0.0508282],"study_design_scores_gemma":[0.0008213319,0.00008864361,0.007426847,0.00001305408,0.0000311705,0.000006969341,0.0001335589,0.07538767,0.0378472,0.001000404,0.876923,0.00032018],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.154774,0.0001926719,0.7855901,0.0477882,0.00528571,0.005073129,0.00004178723,0.000558212,0.000696286],"genre_scores_gemma":[0.9756301,0.00002243622,0.01959483,0.000502747,0.002525638,0.001488612,0.00006704489,0.00002475522,0.0001438393],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8744518,"threshold_uncertainty_score":0.7158047,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.005499363355318848,"score_gpt":0.2457804665204299,"score_spread":0.240281103165111,"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."}}