{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001732283,0.000524663,0.001181166,0.0004387452,0.0003139568,0.0002044906,0.0008483073,0.0002172397,4.69311e-7],"category_scores_gemma":[0.0002507319,0.0003715296,0.000136699,0.0003424482,0.0003871842,0.0009293098,0.0001622066,0.0003789869,3.489165e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009034859,"about_ca_system_score_gemma":0.00003450912,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002948052,"about_ca_topic_score_gemma":0.000003781883,"domain_scores_codex":[0.9974402,0.00008281303,0.0009767399,0.0007774446,0.0003731079,0.0003497438],"domain_scores_gemma":[0.9958348,0.001848193,0.0008119291,0.001187878,0.0002529814,0.00006426686],"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.00002391718,0.000004531879,0.0001615838,0.0007253255,0.0001865064,2.635115e-7,0.0004159866,0.6961547,0.000003297287,0.2994207,0.000003858874,0.002899372],"study_design_scores_gemma":[0.0005613786,0.0001505547,0.001691816,0.0003639293,0.0003256042,0.0000253066,0.0001135225,0.9685353,0.00002202711,0.0003263913,0.02730111,0.0005830601],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0003037151,0.05824554,0.9393744,0.000014351,0.0007417244,0.000896794,0.00001444922,0.0003191247,0.00008988434],"genre_scores_gemma":[0.5292007,0.03483326,0.430963,0.00002508964,0.0008353812,0.0004329415,0.0001790626,0.0001635258,0.003367047],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5288969,"threshold_uncertainty_score":0.9998736,"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."}}