{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001263652,0.0005544488,0.0007571272,0.001957159,0.0008217547,0.0004087272,0.002506239,0.0005305468,4.148438e-7],"category_scores_gemma":[0.0007146715,0.0006598772,0.0003255602,0.001638187,0.00007396021,0.0009308562,0.0002451275,0.001263054,0.000003046161],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001481051,"about_ca_system_score_gemma":0.001354082,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000490217,"about_ca_topic_score_gemma":0.000105864,"domain_scores_codex":[0.9955975,0.0004002916,0.0004379364,0.001184387,0.0009036764,0.001476226],"domain_scores_gemma":[0.996236,0.001659041,0.0002676682,0.001058285,0.0005068871,0.0002721031],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.001441582,0.0003427183,0.002104334,0.00756505,0.000713386,0.001759158,0.001099899,0.8528896,0.004624819,0.1102729,0.001021739,0.01616479],"study_design_scores_gemma":[0.008759248,0.003507722,0.0640548,0.0037498,0.0003753384,0.0003042296,0.003527471,0.7473955,0.08634705,0.002659277,0.0696344,0.009685214],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01498703,0.0004601686,0.9791624,0.00003532742,0.001699681,0.001307026,0.00001103535,0.001243677,0.001093648],"genre_scores_gemma":[0.1913128,0.00006436535,0.7993805,0.00001067011,0.0006615719,0.0001000969,0.0004595259,0.0001630573,0.0078474],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.1797819,"threshold_uncertainty_score":0.9995853,"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."}}