{"id":"W2158182160","doi":"10.1109/iceccs.1996.558427","title":"An algorithmic semantics for Viewcharts","year":2002,"lang":"en","type":"article","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Computer science; Notation; Semantics (computer science); Programming language; Formal semantics (linguistics); Theoretical computer science; Mathematics","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.003538905,0.0009041879,0.0006147619,0.001807157,0.001753223,0.005496255,0.001905352,0.002131802,0.005742216],"category_scores_gemma":[0.007153815,0.0008682358,0.002259786,0.001766189,0.004598447,0.008773185,0.003231256,0.003374049,0.001394951],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001653944,"about_ca_system_score_gemma":0.00235284,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002269779,"about_ca_topic_score_gemma":0.002190369,"domain_scores_codex":[0.9967774,0.001089776,0.0003885904,0.0005495898,0.0009081478,0.0002864962],"domain_scores_gemma":[0.9964352,0.001713366,0.0003363286,0.0004702915,0.0008466056,0.0001983572],"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.000008918372,0.000009528278,0.00005008341,0.00004039473,0.000004614452,0.00005915907,0.0002457139,0.00186547,0.0005415899,0.9900368,0.0005810863,0.00655668],"study_design_scores_gemma":[0.00002991312,0.00002470657,0.0000477033,0.00005664626,0.0000137235,0.000130264,0.0001211412,0.01766586,0.00125447,0.9447039,0.03593028,0.00002136231],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00338148,0.0002069123,0.9883901,0.0004379905,0.0001000793,0.00009146518,0.0001638571,0.0006079804,0.006620117],"genre_scores_gemma":[0.1607603,0.0008951636,0.8289083,0.0005621468,0.0002559922,0.0006541417,0.0008621123,0.00053943,0.006562415],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005742216,"threshold_uncertainty_score":0.01920962,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08108985946091467,"score_gpt":0.3136176370105073,"score_spread":0.2325277775495926,"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."}}