{"id":"W2489291216","doi":"10.1007/b102837","title":"Formal Methods and Software Engineering","year":2004,"lang":"en","type":"book","venue":"Lecture notes in computer science","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"","keywords":"Software engineering; Computer science; Formal methods; Programming language","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001339337,0.0006007167,0.0005802177,0.000985625,0.0001536841,0.0004954376,0.002985788,0.000410592,0.000002411887],"category_scores_gemma":[0.0001061399,0.0005961029,0.0001016237,0.0009056283,0.0003012628,0.001149887,0.002451676,0.001050107,0.000003533777],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00104961,"about_ca_system_score_gemma":0.001436718,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001184058,"about_ca_topic_score_gemma":0.00000471997,"domain_scores_codex":[0.9965473,0.00003534794,0.0004536279,0.001400698,0.0006590196,0.0009040185],"domain_scores_gemma":[0.9976659,0.000447658,0.0001498538,0.00136741,0.0001441916,0.0002250149],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[8.298757e-7,0.00001008695,0.00001885256,0.0001111812,0.000006964084,0.00004790579,0.0005629663,0.1678887,0.00005704193,0.01554965,0.00001282116,0.815733],"study_design_scores_gemma":[0.0002185794,0.000148779,0.0001670723,0.0007677352,0.000007708963,0.0002285265,1.158414e-8,0.9369057,0.003155516,0.04448432,0.01293516,0.0009808829],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00001682564,0.0007614834,0.9963578,0.00009510324,0.001077988,0.0003497531,0.000003001379,0.001286942,0.00005113189],"genre_scores_gemma":[0.0008925195,0.00002741697,0.9983774,0.0002830477,0.0002307553,0.0000248774,0.000003306357,0.0000481322,0.0001124748],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8147521,"threshold_uncertainty_score":0.999649,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01065806386428246,"score_gpt":0.2657019735173698,"score_spread":0.2550439096530874,"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."}}