{"id":"W4250009461","doi":"10.1109/formalise.2015.15","title":"A Methodology for the Simplification of Tabular Designs in Model-Based Development","year":2015,"lang":"en","type":"article","venue":"","topic":"Safety Systems Engineering in Autonomy","field":"Engineering","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Stateflow; Code refactoring; Software engineering; Automotive industry; Programming language; Readability; Gas meter prover; Software; MATLAB; Engineering","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.009436811,0.001581117,0.0008823462,0.002596929,0.001479168,0.003827133,0.003013094,0.001009703,0.007223265],"category_scores_gemma":[0.03142935,0.001569547,0.002833485,0.002407581,0.002285914,0.003295151,0.003251811,0.003386579,0.002673071],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001542329,"about_ca_system_score_gemma":0.004546686,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003204245,"about_ca_topic_score_gemma":0.004274509,"domain_scores_codex":[0.9924029,0.002958431,0.0009198918,0.0008623406,0.002553422,0.0003028981],"domain_scores_gemma":[0.9828038,0.008531273,0.001224141,0.003781267,0.003456412,0.0002029768],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001288274,0.0002111759,0.001154731,0.001637999,0.0001373688,0.0008930147,0.002772397,0.09745077,0.01774496,0.3016911,0.01155412,0.5646235],"study_design_scores_gemma":[0.0001721837,0.0003870362,0.0006447457,0.001596931,0.0003270765,0.00177214,0.0007050012,0.3975646,0.05653604,0.2438957,0.2961099,0.0002886322],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0005968637,0.00005217461,0.9973111,0.00006868958,0.00002707477,0.0001464884,0.00007645934,0.001014572,0.0007065872],"genre_scores_gemma":[0.005595249,0.000115572,0.9928023,0.0000446213,0.000008714062,0.0002188052,0.0002161799,0.0003090504,0.0006893956],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009436811,"threshold_uncertainty_score":0.04990727,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2500591087033626,"score_gpt":0.3100500937739528,"score_spread":0.05999098507059014,"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."}}