{"id":"W2908880040","doi":"10.4018/978-1-4666-6026-7.ch008","title":"An Algebraic Approach for the Specification and the Verification of Aspect-Oriented Systems","year":2014,"lang":"en","type":"book-chapter","venue":"Advances in systems analysis, software engineering, and high performance computing book series","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"","keywords":"Aspect-oriented programming; Computer science; Modularity (biology); Modular design; Traceability; Programming language; Object-oriented programming; Formal specification; Formal verification; Algebraic specification; Software engineering; Theoretical computer science; Software","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.001404163,0.0008481633,0.0005388118,0.002097382,0.001039793,0.002925213,0.001738162,0.001140628,0.005565751],"category_scores_gemma":[0.002747908,0.0007799081,0.001486651,0.002457396,0.002513134,0.003316398,0.001807426,0.00344063,0.002017013],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001659677,"about_ca_system_score_gemma":0.002026895,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001986799,"about_ca_topic_score_gemma":0.002233864,"domain_scores_codex":[0.9985405,0.0002755244,0.0001373704,0.0001669041,0.0008205309,0.00005917058],"domain_scores_gemma":[0.9988663,0.0005824537,0.00007433144,0.0001357228,0.000302801,0.00003843472],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001010141,0.00002069872,0.00006408101,0.0002505217,0.0000110657,0.0001566389,0.0003106527,0.005962109,0.002548454,0.9304406,0.004284015,0.05594108],"study_design_scores_gemma":[0.0000208099,0.00005272252,0.0001672563,0.0003401512,0.00003383679,0.0006655309,0.0001464971,0.05404774,0.003918129,0.6144573,0.3261035,0.0000464609],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001193724,0.003178217,0.9643139,0.0007900052,0.0003211364,0.0001105715,0.00008559917,0.0004041798,0.02960263],"genre_scores_gemma":[0.05541449,0.01193275,0.9035323,0.0006060038,0.0006258116,0.000490578,0.0004240875,0.0002198411,0.02675422],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005565751,"threshold_uncertainty_score":0.01861936,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01096697872470748,"score_gpt":0.2282357987877096,"score_spread":0.2172688200630021,"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."}}