{"id":"W90319414","doi":"10.5555/2557696.2557720","title":"Explicit modelling of statechart simulation environments","year":2013,"lang":"en","type":"article","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Debugging; Computer science; Formalism (music); Visualization; Programming language; Model transformation; Architecture; Model checking; Software engineering; Artificial intelligence","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.0000959348,0.00005613542,0.00007569114,0.0000396067,0.00001422673,0.00001139061,0.0002297251,0.00002284212,0.00001831785],"category_scores_gemma":[0.000038978,0.00005008144,0.00001705327,0.0000715106,0.000007869438,0.000492734,0.0000913072,0.0000359408,0.00004046402],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001366707,"about_ca_system_score_gemma":0.000002742423,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000009408792,"about_ca_topic_score_gemma":2.861894e-8,"domain_scores_codex":[0.9995155,0.00001820582,0.0001233266,0.0001304035,0.0001070093,0.0001056086],"domain_scores_gemma":[0.9993987,0.0002645392,0.00003626076,0.0002650289,0.0000126017,0.00002288517],"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":[2.032768e-7,0.000004888619,0.00001585809,0.000002336272,0.000001832041,1.017128e-7,0.00009276622,0.9865735,0.002839462,0.002434758,0.000004629225,0.008029621],"study_design_scores_gemma":[0.00004157127,0.00001406401,0.0001356413,0.000002711781,4.384467e-7,1.524615e-7,0.000008552867,0.9568216,0.01592311,0.0269119,0.00008425477,0.00005596739],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01338791,0.00001565474,0.9861903,0.00002202273,0.00005374522,0.00008565048,1.538655e-7,0.0001542596,0.00009030606],"genre_scores_gemma":[0.4540713,0.000004203966,0.5457758,0.00001129563,0.000002916439,0.000005413146,1.839239e-7,0.000002612262,0.0001262833],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.4406834,"threshold_uncertainty_score":0.2042262,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08371881941279666,"score_gpt":0.2730724191040804,"score_spread":0.1893535996912838,"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."}}