{"id":"W4362576184","doi":"10.22215/etd/2023-15449","title":"Modular Verification of Hierarchical Component-Based Software Systems","year":2023,"lang":"en","type":"dissertation","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"","keywords":"Modular design; Computer science; Component (thermodynamics); Reusability; Reuse; Software engineering; Metamodeling; Component-based software engineering; Scalability; Software system; Functional verification; Software verification; Formal verification; Software; Systems engineering; Programming language; Software construction; Engineering; Operating system","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.0004411803,0.0002530054,0.0004664584,0.0003459098,0.00005252445,0.0000513023,0.00108891,0.0002852964,0.000002125049],"category_scores_gemma":[0.0009870687,0.0002548245,0.0001243714,0.0005141684,0.00002937546,0.0001375915,0.00005894151,0.0003064819,0.00003435984],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000662904,"about_ca_system_score_gemma":0.0001370389,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004456162,"about_ca_topic_score_gemma":0.000005094404,"domain_scores_codex":[0.9981105,0.0001630423,0.0004720383,0.0005232234,0.0004825116,0.0002486538],"domain_scores_gemma":[0.9973663,0.001140166,0.0002617483,0.0009619478,0.000205201,0.0000646568],"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.00003747728,0.00007607922,0.0000535409,0.001910569,0.00008396615,0.00002113336,0.0004677874,0.9305623,0.01102706,0.02818357,0.0003029856,0.0272735],"study_design_scores_gemma":[0.001600269,0.0005322639,0.05565793,0.003006997,0.0001301675,0.00001189746,0.0007503504,0.8342505,0.06733309,0.03183821,0.001636203,0.003252127],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005330109,0.0003209195,0.9894317,0.0000207298,0.002655462,0.0002926022,0.0000107648,0.001873538,0.00006418896],"genre_scores_gemma":[0.03138255,0.00003222983,0.9654995,0.00001084061,0.00005911002,0.0001259406,0.0006903874,0.00006919273,0.002130281],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.09631184,"threshold_uncertainty_score":0.9999904,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0393078298733357,"score_gpt":0.2986100096296914,"score_spread":0.2593021797563557,"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."}}