{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004248527,0.001853995,0.002006269,0.002424778,0.001007448,0.004710721,0.00212731,0.003439823,0.007020107],"category_scores_gemma":[0.008723821,0.001847658,0.00295286,0.00311614,0.003532283,0.007501168,0.002505351,0.006903986,0.003298332],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002223264,"about_ca_system_score_gemma":0.002029583,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002472844,"about_ca_topic_score_gemma":0.001935172,"domain_scores_codex":[0.9964305,0.001014972,0.0003708179,0.0005808574,0.001357991,0.0002450165],"domain_scores_gemma":[0.995561,0.003237505,0.0001245433,0.0004043231,0.0005728396,0.00009984408],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00008520308,0.0002272757,0.000408329,0.001701694,0.0001382553,0.0004796023,0.0009408038,0.01852372,0.00710114,0.5172409,0.04427985,0.4088731],"study_design_scores_gemma":[0.00005984927,0.00009095384,0.000680926,0.001215128,0.000109449,0.001107672,0.0001313856,0.05481122,0.007475212,0.6552342,0.2788945,0.00018954],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001130963,0.04684838,0.9361825,0.001746761,0.0009529991,0.00007481241,0.0001076964,0.00136889,0.011587],"genre_scores_gemma":[0.06778375,0.0973912,0.7934756,0.002589832,0.007101325,0.0005389327,0.0008148879,0.002528546,0.02777597],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007020107,"threshold_uncertainty_score":0.02348465,"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."}}