{"id":"W2166251938","doi":"","title":"A formal component-based software engineering approach for developing trustworthy systems","year":2009,"lang":"en","type":"dissertation","venue":"Spectrum Research Repository (Concordia University)","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Component (thermodynamics); Computer science; Software system; Component-based software engineering; Software engineering; Trustworthiness; Software; Computer security; 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.004476578,0.001521764,0.0007666628,0.002224419,0.001685401,0.003316646,0.00292057,0.001958084,0.003664158],"category_scores_gemma":[0.007510574,0.001203147,0.002693051,0.001628219,0.004256009,0.003645864,0.002997309,0.004731516,0.001499403],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002502243,"about_ca_system_score_gemma":0.004311786,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003986384,"about_ca_topic_score_gemma":0.003990892,"domain_scores_codex":[0.9961323,0.001347803,0.0004041617,0.0004622522,0.001497893,0.0001555958],"domain_scores_gemma":[0.9960988,0.00206499,0.0002673162,0.0006554837,0.0007945405,0.0001189387],"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.00001143692,0.00004124811,0.0001696736,0.0002732684,0.00002900612,0.0002495535,0.0005626419,0.05092644,0.00239551,0.9223915,0.001480686,0.02146902],"study_design_scores_gemma":[0.00005584838,0.0001103006,0.0001278938,0.0004041816,0.0001027244,0.0004276683,0.000193923,0.2577503,0.00491838,0.6181429,0.1176943,0.0000716702],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0004614316,0.0002710201,0.9952625,0.0003039728,0.00006933482,0.000115718,0.00002435969,0.0001694366,0.003322227],"genre_scores_gemma":[0.03037918,0.0009675176,0.9638515,0.0001801213,0.00009251534,0.0006030957,0.0001100673,0.0001120115,0.003703911],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004476578,"threshold_uncertainty_score":0.02367467,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04666571707377461,"score_gpt":0.2877684624344632,"score_spread":0.2411027453606886,"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."}}