{"id":"W4236057684","doi":"10.1007/978-3-540-87873-5_9","title":"JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform for JML","year":2008,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":15,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Java; Programming language; Java Modeling Language; Software engineering; Java annotation; Java applet","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.002636165,0.001174211,0.0007702862,0.001590896,0.0006605164,0.003645476,0.004302018,0.002003076,0.04218077],"category_scores_gemma":[0.00481301,0.001609995,0.001325423,0.000789028,0.0008231257,0.005215151,0.003552484,0.003790752,0.02606215],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001016344,"about_ca_system_score_gemma":0.001641293,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001413385,"about_ca_topic_score_gemma":0.001696441,"domain_scores_codex":[0.9984091,0.0002345598,0.0001254145,0.0002318892,0.0007881831,0.0002109341],"domain_scores_gemma":[0.9985465,0.0003190805,0.00007896907,0.0004172174,0.00037647,0.0002616976],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.00054549,0.0006287768,0.001076718,0.0009855516,0.0000694644,0.0003167893,0.001044262,0.003332039,0.1131572,0.08281493,0.1965475,0.5994812],"study_design_scores_gemma":[0.0001975446,0.0002500896,0.0009228831,0.0002488302,0.00006451526,0.0004194425,0.00009148217,0.02529435,0.06252772,0.02611176,0.8837565,0.000114866],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007507696,0.0004280403,0.7995946,0.0008361441,0.0005947748,0.0003999372,0.001074964,0.1167756,0.07278819],"genre_scores_gemma":[0.04978224,0.0005972456,0.63257,0.001101782,0.0002484261,0.0005214257,0.006565672,0.07013657,0.2384767],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.04218077,"threshold_uncertainty_score":0.1411088,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2284420807037663,"score_gpt":0.3451873365424115,"score_spread":0.1167452558386451,"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."}}