Djamel Bennouar

Learn More
Architecture Description Languages (ADLs) provide an abstract representation of software systems. Achieving a concrete mapping of such representation into the implementation is one of the principal aspects of MDA (Model Driven Architecture). Integration of ADLs within MDA confers to the MDA platform a higher level of abstraction and a degree of reuse of(More)
Software product lines have known an increasing use over the last years, taking advantage from the important benefits they may bring to software development in terms of time, cost and effort. However, product line approaches remain immature owing to the fact that they still base on traditional design concepts of software engineering which are not adequate(More)
Assessment is a key component of the teaching and learning process. In most Algerian Universities, assessing a student’s answer to an open ended question, even if it is a short answer question, is a difficult and time-consuming activity. In order to enhance the learning process quality and the global student evaluation process and to highly reduce the(More)
Time-constrained and probabilistic verification approaches gain a great importance in system behavior validation including avionic, transport risk assessment, automotive systems and industrial process controllers. They enable the evaluation of system behavior according to the design requirements and ensure their correctness before any implementation. Due to(More)
Software systems evolve over their lifetime. New requirements are involved, and bugs must be fixed. Dynamism is fundamental for designing systems which often change their structure. To update a software system, it must be stopped, patched, and restarted. This causes time periods of unavailability, which is always a problem for highly available system. This(More)
  • 1