{"id":"W2133105422","doi":"10.1109/aiccsa.2005.1387097","title":"A comparative study of specification methods for electronic commerce systems","year":2005,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Manitoba","funders":"","keywords":"Computer science; Formal specification; Sample (material); System requirements specification; E-commerce; Software engineering; Database; 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.03161673,0.0005797404,0.000554389,0.003005589,0.0008817465,0.002727381,0.001319525,0.001118062,0.004826436],"category_scores_gemma":[0.05593957,0.0005741355,0.001131747,0.003603665,0.002089754,0.00359338,0.001190124,0.0014222,0.0004827775],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002288887,"about_ca_system_score_gemma":0.002504645,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002520386,"about_ca_topic_score_gemma":0.00224668,"domain_scores_codex":[0.9661936,0.02142369,0.002458333,0.0008316468,0.008517216,0.0005754634],"domain_scores_gemma":[0.8594215,0.1246503,0.002936536,0.00542779,0.007049974,0.0005139193],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"observational","study_design_scores_codex":[0.0007092504,0.0003301884,0.006409102,0.002283139,0.0001506458,0.000238768,0.005720106,0.04416454,0.007952457,0.4233593,0.001917418,0.5067652],"study_design_scores_gemma":[0.0006865684,0.004129739,0.0142455,0.004373696,0.0005517395,0.002379966,0.009863559,0.4581986,0.04500598,0.1949675,0.2651764,0.0004206958],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05439851,0.004846321,0.922314,0.0006894812,0.0000660366,0.0004090493,0.0000820373,0.0006352947,0.01655928],"genre_scores_gemma":[0.3325672,0.004137674,0.6584777,0.000163457,0.00004710606,0.000591804,0.0003400713,0.0003228692,0.003352166],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.03161673,"threshold_uncertainty_score":0.1672072,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1284523664360049,"score_gpt":0.4526686826596369,"score_spread":0.324216316223632,"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."}}