{"id":"W2471860518","doi":"","title":"Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2","year":2006,"lang":"en","type":"article","venue":"Data Archiving and Networked Services (DANS)","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; European Commission; National Science Foundation","keywords":"Computer science; Programming language; Java; Modular design; Class (philosophy); Frame (networking); Aliasing; Object-oriented programming; Theoretical computer science; Artificial intelligence","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002604438,0.0001686484,0.0001453135,0.00007768013,0.0001963721,0.0002198669,0.0006386057,0.00003967711,4.528502e-7],"category_scores_gemma":[0.000001470451,0.0001495639,0.000007599502,0.0002019782,0.00006148037,0.0009325356,0.0003886304,0.0001194707,8.371762e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001213416,"about_ca_system_score_gemma":0.00001095291,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001589678,"about_ca_topic_score_gemma":0.0002566115,"domain_scores_codex":[0.9988002,0.00005093682,0.0001951882,0.0006012235,0.0001470356,0.0002054297],"domain_scores_gemma":[0.9987609,0.00008621668,0.00009604834,0.0009564821,0.00002800673,0.00007237704],"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":[0.0001110115,0.0001744708,0.06221218,0.0005582653,0.0000739715,0.00001760518,0.004123892,0.009416682,0.0134138,0.1473751,0.0005569585,0.761966],"study_design_scores_gemma":[0.0002593838,0.00006356719,0.2012964,0.0001929196,0.00001804813,0.0000343858,0.0000266834,0.7852165,0.000238893,0.003109304,0.009261385,0.000282529],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2122874,0.000487372,0.7864386,0.0001260356,0.00003159245,0.0001517653,0.00002309388,0.0003090431,0.0001450399],"genre_scores_gemma":[0.6075215,0.0004097978,0.3915971,0.00003789423,0.00006367361,0.00002260305,0.0003086756,0.00001458152,0.00002414268],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7757998,"threshold_uncertainty_score":0.6099038,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.006551231994009351,"score_gpt":0.2023999180659623,"score_spread":0.195848686071953,"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."}}