Abdelkrim Amirat

Learn More
To provide hierarchical description from different software architectural view points we need more than one abstraction hierarchy and connection mechanisms to support the interactions among components. Also, these mechanisms will support the refinement and traceability of architectural elements through the different levels of each hierarchy. Current methods(More)
Model Driven Software Engineering has matured over the last few years and is now becoming an established technology. As a consequence dealing with evolving metamodels and the necessary co-evolution of instances of this metamodel is becoming increasingly important. Several approaches have been proposed to solve model co-evolution problem. In this paper,(More)
In Model-Driven Engineering, analogously to any software artifact, metamodels are equally prone to evolution. When a metamodel undergoes modifications, all the related artifacts must be accordingly adapted in order to remain valid. Manual co-evolution of models after these metamodel changes is error-prone. In this setting, this paper introduces a(More)
The more important level of abstraction in the description of large and complex software is its architecture description. So, at this abstraction level we can describe the principal system components and their pathways of interaction. Software architecture is considered to be the driving aspect of the development process; it allows specifying which aspects(More)
A main challenge in software development process is to bring error detection to first phases of the software life cycle. The Verification and Validation (V&V) of UML diagrams is of interest in a number of applications such as detecting flaws at the design phase for software security, where it is crucial to detect security flaws before they can be exploited.(More)
Recent research studies have now confirmed the possibility of recognizing people by the way they walk i.e. their gait. As yet there has been little formal study in surveillance systems for identity tracking using gait signature over different camera views. We present a new approach for people tracking and identification between different non-intersecting(More)
There has been a significant body of work on separation of concerns (SoC) in the requirements engineering and architecture design communities. Techniques such as use cases, viewpoints and goals models help achieve separation of stakeholders concerns but ensuring their consistency with global requirements and constraints is largely unsupported. The work on(More)
This paper presents a graph transformation approach to software architecture evolution. Evolution is inevitable over the course of the complete life of complex software intensive systems and more importantly of entire product families. However, not only instance models, but also type models and entire modelling languages are subject to change. Obviously(More)
In spite of the generated benefits, Object-Oriented (OO) paradigm seems reaching its limits, regarding complexity reduction of current systems. In this context, the Aspect Oriented (AO) comes up as an alternative to reduce software development complexity while keeping OO advantages. Needs for investigating methodologies of AO Software Development have(More)