{"id":"W2238076878","doi":"","title":"A categorical framework for the specification and the verification of aspect oriented systems","year":2012,"lang":"en","type":"dissertation","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"","keywords":"Computer science; Software engineering; Traceability; Aspect-oriented programming; Software development; Object-oriented programming; Component-based software engineering; Modularity (biology); Modular design; Software system; Software development process; Programming language; Systems engineering; Software; Engineering","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.009341715,0.001205127,0.001362711,0.004159427,0.002123283,0.006672047,0.005417464,0.003013041,0.006891994],"category_scores_gemma":[0.01337915,0.001255765,0.00379713,0.003143423,0.007671296,0.006564828,0.004983419,0.006449037,0.002594258],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004509504,"about_ca_system_score_gemma":0.004101361,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01118321,"about_ca_topic_score_gemma":0.005892122,"domain_scores_codex":[0.9935993,0.002314084,0.0008584672,0.0008551415,0.001841052,0.0005319525],"domain_scores_gemma":[0.9916061,0.004539494,0.0007053027,0.001145164,0.001644501,0.0003593813],"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.00001580382,0.00001204761,0.0001189209,0.0001061043,0.00001189509,0.0001182818,0.0002238952,0.003682016,0.0005930391,0.9871976,0.0008838043,0.007036589],"study_design_scores_gemma":[0.00004503902,0.00004545673,0.0001934163,0.0001569589,0.00002750608,0.0001365824,0.000107811,0.03679286,0.00077327,0.897312,0.06437348,0.00003562601],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001381333,0.001101828,0.9871067,0.000906213,0.0001244099,0.0001269584,0.0002372507,0.000509768,0.008505464],"genre_scores_gemma":[0.1040515,0.002988743,0.8805748,0.001036832,0.0007882636,0.001175324,0.001281928,0.000328311,0.007774301],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01118321,"threshold_uncertainty_score":0.04940432,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04664987197909866,"score_gpt":0.3176343548584172,"score_spread":0.2709844828793186,"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."}}