{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001787182,0.00009625978,0.0002442744,0.00009691065,0.00007127498,0.00004736506,0.0006909532,0.00003391396,0.000003938353],"category_scores_gemma":[0.00004610741,0.00008456136,0.00003649182,0.0003486643,0.00002256316,0.0004056905,0.00005954264,0.00007952825,0.00001046445],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001036166,"about_ca_system_score_gemma":0.00003793986,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002665239,"about_ca_topic_score_gemma":0.00001129668,"domain_scores_codex":[0.9984996,0.0005007358,0.0003957653,0.0002678297,0.0001378648,0.0001981995],"domain_scores_gemma":[0.9985892,0.0003122613,0.0002213799,0.0006412739,0.0002029554,0.00003294872],"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.00002275712,0.0005696216,0.00005993016,0.00001691117,0.00003978867,1.543762e-8,0.005295371,0.00182403,0.004627896,0.9177544,0.0003028192,0.06948651],"study_design_scores_gemma":[0.0005486337,0.0007379694,0.001776492,0.000005035248,0.00001248263,0.000002880292,0.001825804,0.9573303,0.0181,0.0008047203,0.01871865,0.0001370187],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01455938,0.0001469917,0.9810354,0.0001024449,0.0001521711,0.001198713,5.4677e-7,0.0000880757,0.002716264],"genre_scores_gemma":[0.4561512,0.000002762623,0.5435201,0.00001457252,0.00002709552,0.0001149286,8.005194e-7,0.000003027737,0.0001655628],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9555063,"threshold_uncertainty_score":0.3448312,"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."}}