BlockASP: A Framework for AOP-Based Model Checking Blockchain System
IEEE Access, 2023 Blockchain systems are lauded for their security, and reliability. Security is a cornerstone, as they employ cryptographic techniques to ensure the immutability of data, making it extremely resistant to tampering.
Anas M. R. AlSobeh, Aws A. Magableh
doaj +1 more source
Practical Benefits of Aspect-Oriented Programming Paradigm in Discrete Event Simulation
Modelling and Simulation in Engineering, 2014 Aspect-oriented modeling and simulation is a new approach which uses the separation of concerns principle to enhance the quality of models and simulation tools. It adopts the separation of concerns (SOC) principle.
Meriem Chibani +2 more
doaj +1 more source
Term Rewriting Meets Aspect-Oriented Programming [PDF]
, 2005 We explore the connection between term rewriting systems (TRS) and aspect-oriented programming (AOP). Term rewriting is a paradigm that is used in fields such as program transformation and theorem proving. AOP is a method for decomposing software, complementary to the usual separation into programs, classes, functions, etc.
Klint, P. +2 more
openaire +2 more sources
Arch-pattern based design and aspect-oriented implementation of Readers-Writers concurrent problem [PDF]
Computer Science Journal of Moldova, 2007 The classical problems of concurrent programming start from the design problems of operating systems in the 80-s. But today there are still proposed new solutions for these problems with the help of various design and programming approaches.
Dumitru Ciorbă +3 more
doaj
An ontology of agile aspect oriented software development [PDF]
, 2011 Both agile methods and aspect oriented programming (AOP) have emerged in recent years as new paradigms in software development. Both promise to free the process of building software systems from some of the constraints of more traditional approaches.
Parsons, David
core
Content validity of D-MESS: Articulate storyline 3-based learning media in sport massage courses
Journal Sport Area, 2023 The development of innovative learning media is one of the solutions for educators in the learning process in higher education in the current era of digital and technological disruption.
Gede Doddy Tisna MS +3 more
doaj +1 more source
Towards detecting and solving aspect conflicts and interferences using unit tests [PDF]
, 2007 Aspect Oriented Programming (AOP) is a programming paradigm that aims at solving the problem of crosscutting concerns being normally scattered throughout several units of an application.Although an important step forward in the search for modularity, by ...
Ademar Aguiar, André Restivo
core +1 more source
Extensions of UML to Model Aspect-oriented Software Systems
CLEI Electronic Journal, 2011 Aspect-Oriented Programming (AOP) has arisen as a new technology to support a better SoC (Separation of Concerns), intending to contribute to the development of reusable, maintainable, and evolvable software sys- tems.
Milena Guessi +2 more
doaj +1 more source
Improving a Modular Verification Technique for Aspect Oriented Programming [PDF]
, 2006 As aspect oriented software becomes more popular, there will be more demand for a method of verifying the correctness of the programs. This paper tries to address the verification issue by improving a modular verification technique proposed by ...
Laarman, A.W.
core +1 more source
Impact of Aspect-Oriented Programming on the Quality of Novices’ Programs: A Comparative Study
Journal of Information and Organizational Sciences, 2013 Aspect-oriented programming has been introduced in order to increase the modularity of object-oriented programs and is claimed to improve software quality.
Marija Katic +2 more
doaj