{"id":"W2149539327","doi":"10.1007/s00766-010-0102-z","title":"Deconstructing the semantics of big-step modelling languages","year":2010,"lang":"en","type":"article","venue":"Requirements Engineering","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":32,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Semantics (computer science); Class (philosophy); Natural language processing; Popularity; Formal semantics (linguistics); Semantic compression; Distributional semantics; Artificial intelligence; Semantic data model; Programming language; Semantic computing; Semantic technology; Semantic 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.0004740367,0.0001379896,0.000155565,0.00007856471,0.00005454717,0.0000360765,0.0006912074,0.00005226591,0.00000292534],"category_scores_gemma":[0.0003842859,0.0001115085,0.0000510379,0.0002588967,0.00003096815,0.0002294732,0.0002726938,0.0002651816,0.000002784954],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001557583,"about_ca_system_score_gemma":0.00001368821,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007789889,"about_ca_topic_score_gemma":0.000001465282,"domain_scores_codex":[0.9990917,0.00001650601,0.0002393755,0.0001931029,0.0001992833,0.0002599853],"domain_scores_gemma":[0.9989113,0.0003745264,0.00008230193,0.0005560785,0.00003667984,0.00003915403],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[4.785657e-7,0.000005065467,0.0002718332,0.00003590532,0.00002040877,0.000003477016,0.0002057767,0.9156723,0.0426093,0.01518915,0.000004606028,0.02598168],"study_design_scores_gemma":[0.0001422556,0.00001480598,0.0002079565,0.00004959941,0.000009287009,0.00002984447,0.00004159871,0.9565526,0.04115044,0.001070093,0.0005085184,0.0002230549],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.07318363,0.0000829997,0.9252673,0.00003803697,0.0009332866,0.00007839027,6.418333e-7,0.0002974239,0.0001183012],"genre_scores_gemma":[0.4279675,0.000006715921,0.5719383,0.000006216384,0.00005638283,0.000003866818,2.167636e-7,0.00001148115,0.000009333321],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.3547838,"threshold_uncertainty_score":0.4547184,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0425032482677643,"score_gpt":0.2895575056585273,"score_spread":0.247054257390763,"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."}}