{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008218935,0.0008813567,0.0007235366,0.001482082,0.00128137,0.006173779,0.00243198,0.00168888,0.003050704],"category_scores_gemma":[0.0174217,0.001247013,0.002142421,0.00132702,0.006211427,0.01359746,0.007461053,0.004725485,0.0007840318],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001408322,"about_ca_system_score_gemma":0.00233055,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002521976,"about_ca_topic_score_gemma":0.004098608,"domain_scores_codex":[0.9946243,0.002930879,0.0004786128,0.0004064598,0.001222304,0.0003373329],"domain_scores_gemma":[0.986296,0.007150522,0.0005820991,0.004134609,0.001551647,0.0002851569],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00003907847,0.00001482007,0.0001865304,0.00006836582,0.00001510937,0.00007059461,0.001187396,0.007579035,0.001035828,0.9795607,0.0004077102,0.009834709],"study_design_scores_gemma":[0.00001079978,0.00001724573,0.00004265145,0.00005863759,0.00002225519,0.00004739247,0.0003168377,0.0347226,0.00244418,0.9537348,0.008564874,0.00001769308],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01763424,0.0001631137,0.9754878,0.0008252241,0.0000598436,0.00005253075,0.0001042887,0.0006939917,0.004978934],"genre_scores_gemma":[0.4378551,0.0005748667,0.5521109,0.0005653967,0.00008060745,0.0001992236,0.0006534994,0.00123377,0.006726756],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008218935,"threshold_uncertainty_score":0.04346639,"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."}}