{"id":"W2134071215","doi":"10.1007/s00165-003-0024-3","title":"ERC – An object-oriented refinement calculus for Eiffel","year":2004,"lang":"en","type":"article","venue":"Formal Aspects of Computing","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":19,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"","keywords":"Eiffel; Refinement calculus; Computer science; Programming language; Executable; Notation; Unified Modeling Language; Process calculus; Context (archaeology); Object-oriented programming; Algorithm; Software; Theoretical computer science; Mathematics","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":[],"consensus_categories":[],"category_scores_codex":[0.0009592747,0.0001777761,0.0002460927,0.0001480749,0.0002538417,0.00006197854,0.0008338816,0.00007135925,0.000002515401],"category_scores_gemma":[0.0001500158,0.0001718249,0.0001044415,0.0004181421,0.00005220457,0.001001305,0.0003039287,0.0001343708,0.00000656918],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001297209,"about_ca_system_score_gemma":0.0001217656,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004621002,"about_ca_topic_score_gemma":0.000009702552,"domain_scores_codex":[0.9981959,0.00004542936,0.0005173791,0.0003711172,0.0003610628,0.000509053],"domain_scores_gemma":[0.9986562,0.00006221133,0.0003136165,0.0006034409,0.0002498606,0.0001147266],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0000202121,0.000125923,0.00002150481,0.00005168159,0.00001354147,0.00000184785,0.001308413,0.005877192,0.001920966,0.9551236,0.00001184645,0.03552325],"study_design_scores_gemma":[0.002694081,0.002016563,0.00885865,0.0001373713,0.00002115986,0.00004972591,0.0002591407,0.7708962,0.184212,0.02823201,0.002049891,0.0005732165],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1594275,0.0000225953,0.836506,0.0001400661,0.0006126995,0.0003474113,0.000002948352,0.0002000031,0.002740792],"genre_scores_gemma":[0.5208268,5.441817e-7,0.4789992,0.00006409017,0.00008264427,0.000006337716,0.000005624893,0.000007908259,0.000006851922],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9268916,"threshold_uncertainty_score":0.7006814,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02304390770913123,"score_gpt":0.3050553951612518,"score_spread":0.2820114874521206,"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."}}