{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01235295,0.0006752721,0.0005263321,0.001268107,0.0009961046,0.00398805,0.002302394,0.001445889,0.00447368],"category_scores_gemma":[0.01604173,0.0008795421,0.001480137,0.0008971376,0.002843905,0.005556938,0.002789015,0.002529477,0.001627787],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001098848,"about_ca_system_score_gemma":0.002299357,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003237132,"about_ca_topic_score_gemma":0.003378852,"domain_scores_codex":[0.9944639,0.00228258,0.0005226538,0.0003814605,0.002024377,0.0003250336],"domain_scores_gemma":[0.9880314,0.00698885,0.0009323448,0.002229906,0.001600716,0.0002167904],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001581221,0.0001999333,0.002045918,0.0005617217,0.00005793132,0.0008313744,0.001884885,0.04238122,0.0143253,0.7715501,0.008940973,0.1570625],"study_design_scores_gemma":[0.0001023905,0.00009052235,0.0004348546,0.0004907224,0.00005851177,0.0004536409,0.0002172372,0.5887449,0.03363402,0.2684195,0.1072735,0.00008027013],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003138308,0.0001109843,0.9898736,0.0003850658,0.00005006489,0.00006735875,0.00008901137,0.003137199,0.003148307],"genre_scores_gemma":[0.07237073,0.0003448951,0.9228922,0.0003398021,0.00007550808,0.0001625064,0.0003672429,0.0008627559,0.00258434],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01235295,"threshold_uncertainty_score":0.06532937,"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."}}