{"id":"W1912620169","doi":"10.1109/wpdrts.1996.557683","title":"Viewcharts: a behavioral specification language for complex systems","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Formalism (music); Computer science; Behavioral modeling; Specification language; Programming language; Formal specification; Software engineering; Behavioral analysis; Software requirements specification; Software; Software design; Artificial intelligence; Software development; Cognitive science; Psychology","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.0003039074,0.00008123407,0.000103877,0.00006286529,0.0000820231,0.0001410708,0.0005083991,0.00003883193,0.00009463878],"category_scores_gemma":[0.00002399249,0.00007355311,0.00004269954,0.0001857851,0.0000206483,0.000405374,0.00004151546,0.00004106758,0.0002021978],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004500318,"about_ca_system_score_gemma":0.000003746169,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002269379,"about_ca_topic_score_gemma":0.000001647884,"domain_scores_codex":[0.9991643,0.00005491843,0.0002191577,0.0002401591,0.0001513973,0.0001700626],"domain_scores_gemma":[0.9991891,0.00003515045,0.00008626859,0.0005659155,0.00007404012,0.00004955841],"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.000003260752,0.0002024367,0.00005543622,0.00004966985,0.000005976493,0.000001554987,0.002490174,0.00003185428,0.01698672,0.8274183,0.02049256,0.132262],"study_design_scores_gemma":[0.00026086,0.000110841,0.0007315655,0.000009730113,0.0000054559,0.00001755859,0.0002510698,0.9121973,0.002787832,0.0001799574,0.08325931,0.0001885511],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001918752,0.0001789667,0.9896861,0.000244955,0.0004353899,0.0004781251,0.000005221483,0.0002622925,0.006790234],"genre_scores_gemma":[0.215423,0.00001187107,0.7822129,0.000102131,0.0001016708,0.0001419109,0.000009016051,0.000008115767,0.001989337],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9121654,"threshold_uncertainty_score":0.2999409,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2249913798632949,"score_gpt":0.3686260712287662,"score_spread":0.1436346913654712,"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."}}