{"id":"W2044496112","doi":"10.1007/s11704-010-0026-2","title":"Documenting and verifying systems assembled from components","year":2010,"lang":"en","type":"article","venue":"Frontiers of Computer Science in China","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"Science Foundation Ireland","keywords":"Computer science; Software engineering; 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":[],"consensus_categories":[],"category_scores_codex":[0.001327541,0.0001650676,0.0003259773,0.0003666886,0.0001276714,0.0002799876,0.001734321,0.00006306588,3.226519e-7],"category_scores_gemma":[0.000218644,0.0001599364,0.00003038043,0.0006806309,0.000234476,0.0015,0.0008323829,0.0003255695,8.471537e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003986096,"about_ca_system_score_gemma":0.00005890555,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001717954,"about_ca_topic_score_gemma":0.000003371063,"domain_scores_codex":[0.9982146,0.00006756435,0.0003349013,0.0005701586,0.0004253655,0.0003874003],"domain_scores_gemma":[0.9988062,0.0002498723,0.0001677914,0.0006106451,0.0000604822,0.0001049806],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002691878,0.000210301,0.277573,0.0001424836,0.00005273176,0.00008701665,0.009790015,0.2174733,0.2342218,0.0174109,0.000641815,0.2423698],"study_design_scores_gemma":[0.0003477028,0.00003842868,0.2493497,0.00006590733,0.000002459434,0.00001127514,0.00002284074,0.7369684,0.004442092,0.00833957,0.0001533292,0.0002582979],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.4403878,0.0001357532,0.5551189,0.00003886684,0.004124992,0.00007795988,5.522324e-7,0.00009062095,0.00002456455],"genre_scores_gemma":[0.4871487,0.000006377511,0.5127913,0.000007342885,0.00003687287,0.000002783457,2.911401e-7,0.000003965501,0.000002291953],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5194951,"threshold_uncertainty_score":0.6522018,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01512157989881205,"score_gpt":0.2614243267920669,"score_spread":0.2463027468932548,"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."}}