{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005184115,0.001637304,0.001126454,0.001787846,0.001474573,0.003237238,0.001909055,0.001418592,0.002269993],"category_scores_gemma":[0.02494654,0.001496703,0.002080196,0.001269658,0.002059391,0.004259586,0.002458944,0.001544009,0.0009134932],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001256291,"about_ca_system_score_gemma":0.006330244,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00635489,"about_ca_topic_score_gemma":0.006504029,"domain_scores_codex":[0.9921663,0.001825833,0.001136456,0.001303422,0.003082167,0.0004857795],"domain_scores_gemma":[0.9746838,0.01127004,0.002854092,0.006639985,0.004261874,0.0002901366],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00151409,0.0003478893,0.02500469,0.004021714,0.0006190005,0.003291729,0.003652784,0.2155423,0.2142538,0.0794083,0.004955691,0.447388],"study_design_scores_gemma":[0.0003426205,0.001190715,0.006235704,0.0003531514,0.001061002,0.001210963,0.0008822905,0.4353094,0.4809989,0.04948461,0.02276604,0.0001645578],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.08456922,0.0002831235,0.9069693,0.0001086664,0.00005639184,0.0003554527,0.0003383011,0.00641024,0.0009093189],"genre_scores_gemma":[0.4246942,0.0004203075,0.5683257,0.00005578575,0.00004337014,0.0003175002,0.002031004,0.001440845,0.002671364],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00635489,"threshold_uncertainty_score":0.02741653,"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."}}