{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002516022,0.001084435,0.0006205909,0.001301075,0.0006155948,0.002545238,0.001728085,0.001328861,0.008135025],"category_scores_gemma":[0.005646298,0.0009884655,0.001358314,0.001359295,0.001480958,0.004039658,0.00160541,0.002824005,0.002133584],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008901113,"about_ca_system_score_gemma":0.003142098,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003602584,"about_ca_topic_score_gemma":0.00454685,"domain_scores_codex":[0.9982822,0.000543041,0.0002115079,0.0001881411,0.0006721681,0.000103058],"domain_scores_gemma":[0.9975154,0.001362091,0.0002693399,0.0003419259,0.0003843316,0.0001268649],"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.0001187313,0.0000796407,0.0005358733,0.000933927,0.00007824501,0.0005055586,0.0009346153,0.02970098,0.01263383,0.7744378,0.04607853,0.1339622],"study_design_scores_gemma":[0.0001272779,0.0001155098,0.0003342798,0.0003864993,0.00006637157,0.0006256186,0.0001402459,0.1132913,0.01258322,0.291837,0.5803891,0.0001035207],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0006629581,0.0002369197,0.9917992,0.0002837221,0.00009940347,0.0001257593,0.0006258089,0.003326204,0.002840075],"genre_scores_gemma":[0.03796858,0.001937873,0.9438388,0.0006367348,0.0002061796,0.001206691,0.00432489,0.001914153,0.007966029],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008135025,"threshold_uncertainty_score":0.02721435,"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."}}