{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003053772,0.0004555263,0.0003106706,0.0007629963,0.0005288399,0.001027909,0.0008505551,0.0006185698,0.001510404],"category_scores_gemma":[0.005762825,0.0004318706,0.0009364706,0.0003473135,0.001227174,0.00112969,0.001160099,0.0006760001,0.0004196153],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001014322,"about_ca_system_score_gemma":0.001467019,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002606669,"about_ca_topic_score_gemma":0.002670664,"domain_scores_codex":[0.9974905,0.0008716356,0.0001769982,0.000236551,0.001057854,0.0001663546],"domain_scores_gemma":[0.9964605,0.001684551,0.0003848952,0.0008194029,0.0005729379,0.0000778174],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001891731,0.0001216168,0.003742078,0.0004015006,0.00009408327,0.0009416949,0.001340273,0.4544757,0.1137334,0.3357582,0.001006916,0.08819547],"study_design_scores_gemma":[0.00005127124,0.0001115434,0.0006536049,0.00006647786,0.00004740626,0.0001544172,0.0001074402,0.8793544,0.05347953,0.05825449,0.007694147,0.00002534676],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06085648,0.0001005581,0.9335704,0.0001171149,0.00002028889,0.0001366683,0.00005188277,0.001509407,0.003637216],"genre_scores_gemma":[0.5953268,0.0001529879,0.4020095,0.00005021972,0.00001043126,0.0001550671,0.0001373362,0.0001621795,0.001995455],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003053772,"threshold_uncertainty_score":0.01615006,"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."}}