AspectJ

From MaRDI portal
Software:16602



swMATH4426MaRDI QIDQ16602


No author found.





Related Items (98)

Semantics and Algorithms for Parametric MonitoringUnnamed ItemUnnamed ItemExtending the object model to provide explicit support for crosscutting concernsIntegration testing of object-oriented and aspect-oriented programs: A structural pairwise approach for JavaDynamic Reusability Measurement Using Machine Learning Algorithms in Object-Oriented EnvironmentCompositional type checking of delta-oriented software product linesLabs of the world, unite!!!Unnamed ItemUnnamed ItemUnnamed ItemUnnamed ItemUnnamed ItemA core calculus for dynamic delta-oriented programmingModularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority frameworkAn extended comparative study of language support for generic programmingUnnamed ItemUnnamed ItemSemantics and scoping of aspects in higher-order languagesA type-theoretic interpretation of pointcuts and adviceAspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework\(\text{MiniMAO}_1\): an imperative core language for studying aspect-oriented reasoningSemantics of static pointcuts in aspectJUnnamed ItemCorrelating temporal communication patterns of the eclipse open source community with performance and creativityImplementation of a modelica compiler using JastAdd attribute grammarsUnnamed ItemRuntime Verification Based on Register AutomataUnnamed ItemUnnamed ItemUnnamed ItemUnnamed ItemUnnamed ItemUnnamed ItemUnnamed ItemUnnamed ItemUnnamed ItemUnnamed ItemAspects of availability. Enforcing timed properties to prevent denial of serviceProgramming with C++ conceptsScoping strategies for distributed aspectsMAVEN: Modular aspect verification and interference analysisUnnamed ItemUnnamed ItemUnnamed ItemUnnamed ItemSide-effect localization for lazy, purely functional languages via aspectsUnnamed ItemUnnamed ItemUnnamed ItemUnnamed ItemUnnamed ItemUnnamed ItemAn empirical study of aspect-oriented metrics\textsc{InterAspect}: aspect-oriented instrumentation with GCCUnnamed ItemA Fine-Grained Join Point Model for More Reusable AspectsStatic AnalysisOn the interoperability of model-to-model transformation languagesLoPSiL: A Location-Based Policy-Specification LanguageUnnamed ItemModel driven middleware: A new paradigm for developing distributed real-time and embedded systemsRuntime verification for dynamic architecturesStatically safe program generation with SafeGenA type system for reflective program generatorsChemical foundations of distributed aspectsClassboxes: controlling visibility of class extensionsUnnamed ItemProgram transformations for light-weight CPU accounting and control in the Java virtual machineAspect-oriented model-driven skeleton code generation: a graph-based transformation approachAn algebraic foundation for automatic feature-based program synthesisMining early aspects based on syntactical and dependency analysesComposition by Colimit and Formal Software DevelopmentScoped types and aspects for real-time Java memory managementParametric Trace Slicing and MonitoringUnnamed ItemA theory of monitorsCooperative aspect-oriented programmingFormal Methods for Components and ObjectsModularizing Design Patterns with Aspects: A Quantitative StudyAspect Categories and Classes of Temporal PropertiesAn Overview of CaesarJTowards a Catalogue of Refactorings and Code Smells for AspectJDesign and Implementation of an Aspect Instantiation Mechanismabc : An Extensible AspectJ CompilerOn Horizontal Specification Architectures and Their Aspect-Oriented ImplementationsA Framework for Policy Driven Auto-adaptive Systems Using Dynamic Framed AspectsRun-Time and Atomic Weaving of Distributed AspectsWeaving Multiple Aspects in Sequence DiagramsDetection and Resolution of Weaving InteractionsProcesses, Terms and Cycles: Steps on the Road to InfinityUnnamed ItemSuperimpositions and Aspect-oriented ProgrammingAspectual Collaborations: Combining Modules and AspectsReplicated data types that unify eventual consistency and observable atomic consistencyPerformERL: a performance testing framework for ErlangMiddleware for Network Eccentric and Mobile ApplicationsIntroducing fuzziness in object models and database interfaces through aspects


This page was built for software: AspectJ