{"id":"W42434049","doi":"10.1142/9789812562425_0006","title":"Properties of Software Systems Synthesized from Components","year":2004,"lang":"en","type":"book-chapter","venue":"Series on component-based software development","topic":"Software Reliability and Analysis Research","field":"Computer Science","cited_by":22,"is_retracted":false,"has_abstract":true,"ca_institutions":"Toronto Metropolitan University","funders":"","keywords":"Computer science","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.0007923372,0.000574243,0.0004676388,0.001002362,0.0005777032,0.002658037,0.0006432309,0.0006132796,0.003897095],"category_scores_gemma":[0.003483764,0.0004665943,0.0006063036,0.0006139094,0.00227273,0.003053376,0.0006978944,0.001433562,0.001465629],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008801872,"about_ca_system_score_gemma":0.0006202556,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004113231,"about_ca_topic_score_gemma":0.0002369001,"domain_scores_codex":[0.9991693,0.000159463,0.00006673533,0.0001502758,0.0004035251,0.00005068669],"domain_scores_gemma":[0.9984747,0.0008282765,0.0001173572,0.0002785001,0.0002579807,0.0000432202],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00003229404,0.00001714729,0.0002295132,0.0002341651,0.00001610265,0.0001837039,0.0006541194,0.01213499,0.009435723,0.9390959,0.002781728,0.03518458],"study_design_scores_gemma":[0.00002392248,0.00007358388,0.0003701536,0.0001291142,0.00002586789,0.0003450513,0.0001290529,0.03315644,0.008384588,0.8623283,0.09501059,0.00002327543],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.05362429,0.006890632,0.7615748,0.001130016,0.0005589077,0.000242318,0.0004611958,0.001352922,0.1741649],"genre_scores_gemma":[0.7058197,0.007972145,0.2426301,0.0003960308,0.0006976278,0.0005586778,0.001323064,0.0009989669,0.03960374],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003897095,"threshold_uncertainty_score":0.01303709,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03779400953434549,"score_gpt":0.2216605090870445,"score_spread":0.183866499552699,"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."}}