{"id":"W2076573027","doi":"10.1145/1595453.1595455","title":"Formal methods versus engineering","year":2009,"lang":"en","type":"article","venue":"ACM SIGCSE Bulletin","topic":"Business Process Modeling and Analysis","field":"Business, Management and Accounting","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Engineering mathematics; Science and engineering; Position (finance); Formal methods; Domain (mathematical analysis); Computer science; Key (lock); Software engineering; Mathematics education; Management science; Applied mathematics; Calculus (dental); Mathematics; Engineering; Engineering ethics","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.01729624,0.001359681,0.001340582,0.00368092,0.002557256,0.008047274,0.002000018,0.005943652,0.00834316],"category_scores_gemma":[0.02193123,0.0006589122,0.001258474,0.002584328,0.04096443,0.02035638,0.003475758,0.007457423,0.002489479],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.007886249,"about_ca_system_score_gemma":0.003957801,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002950658,"about_ca_topic_score_gemma":0.001336494,"domain_scores_codex":[0.9801505,0.01243324,0.00101834,0.001951376,0.00366758,0.000779003],"domain_scores_gemma":[0.968776,0.02440403,0.001426148,0.002926221,0.00165401,0.0008136229],"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.000005306017,0.000004524812,0.00003420727,0.00008474742,0.000003485623,0.00001294301,0.0002685673,0.0001501691,0.00003591784,0.9936576,0.001379094,0.004363477],"study_design_scores_gemma":[0.00001075589,0.00001705652,0.00005747837,0.000192828,0.000004159385,0.00006148935,0.0001934718,0.0004675225,0.00008234865,0.9218137,0.07709045,0.000008613171],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00728582,0.1584635,0.4055691,0.1189492,0.006870855,0.0001481554,0.0002507395,0.0008921293,0.3015706],"genre_scores_gemma":[0.5980409,0.09683679,0.1819384,0.03807314,0.0155326,0.00109016,0.0004152683,0.001111748,0.06696095],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01729624,"threshold_uncertainty_score":0.09147233,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02731278489496189,"score_gpt":0.2765459763135167,"score_spread":0.2492331914185548,"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."}}