{"id":"W2101711087","doi":"10.1109/ase.1998.732645","title":"From Z to BON/Eiffel","year":2002,"lang":"en","type":"article","venue":"","topic":"Manufacturing Process and Optimization","field":"Engineering","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Eiffel; Notation; Programming language; Computer science; Object-orientation; Object (grammar); Object-oriented programming; Translation (biology); Expressive power; Transition (genetics); Formal specification; Unified Modeling Language; Software engineering; Artificial intelligence; Arithmetic; Mathematics; Software","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.00207596,0.0009988248,0.0004934208,0.001186516,0.0007793594,0.003456204,0.0008570791,0.0007907403,0.007267582],"category_scores_gemma":[0.003913403,0.0007230765,0.0007611187,0.001011953,0.001672938,0.005044315,0.003267139,0.003964015,0.003702161],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008110007,"about_ca_system_score_gemma":0.0008880923,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001051271,"about_ca_topic_score_gemma":0.001114468,"domain_scores_codex":[0.9979385,0.0006320579,0.0002889983,0.0002617599,0.0006498141,0.0002290145],"domain_scores_gemma":[0.9990249,0.000409603,0.0001141133,0.0001931099,0.0001843125,0.00007398464],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0002347388,0.00003988488,0.000432042,0.0007124174,0.0000360232,0.0004204155,0.0009011229,0.005503221,0.008626086,0.7416944,0.01643891,0.2249607],"study_design_scores_gemma":[0.00005347667,0.0001111518,0.000363912,0.0004107739,0.00005716107,0.0009778561,0.0003656266,0.01854002,0.02557375,0.3495451,0.6039141,0.00008714393],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"other","genre_scores_codex":[0.004672638,0.0007085443,0.9657571,0.001023778,0.0003638229,0.00006209782,0.0003534971,0.01119955,0.01585902],"genre_scores_gemma":[0.1388552,0.003209892,0.8372335,0.001858523,0.0001930903,0.0001932196,0.001710988,0.00472122,0.01202422],"genre_candidate":"other","genre_consensus":null,"teacher_disagreement_score":0.007267582,"threshold_uncertainty_score":0.0243125,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009965332079534544,"score_gpt":0.1756553312259221,"score_spread":0.1656899991463876,"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."}}