Výsledky vyhledávání - "Aïcha Choutri"

A formal framework-based K-Maude for modelling scalable software architectures

Autor: Smaali Sahar, Faiza Belala, Aïcha Choutri

Publikováno v: International Journal of Computer Aided Engineering and Technology. 11:361

Dynamic software architecture (DySA) is one of the most important challenges and crucial problems for managing dynamically scalable software evolution. In this paper, we propose DySAL, a DySA specific modelling language, primarily based on interfaces

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::81d50177ee3d2443b9b6dd2bc237b12d
https://doi.org/10.1504/ijcaet.2019.099328

Zobrazit plný text záznamu

A Tile Logic Based Approach for Software Architecture Description Analysis

Autor: Kamel Barkaoui, Aïcha Choutri, Faiza Belala

Publikováno v: Journal of Software Engineering and Applications. :1067-1079

A main advantage of Architecture Description Languages (ADL) is their aptitude to facilitate formal analysis and verification of complex software architectures. Since some researchers try to extend them by new techniques, we show in this paper how th

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::b882a64ab578249706c3a50966db6a47
https://doi.org/10.4236/jsea.2010.311126

Zobrazit plný text záznamu

K-based definition of Real Time Distributed Systems: from a meta-model to maude modules

Autor: Faiza Belala, Sahar Smaali, Aïcha Choutri

Publikováno v: CFIP/NOTERE

Besides the increasing complexity, real time behavior and dynamic evolution are other critical challenges imposed by the RT-DS (Real Time Distributed Systems) design. Component Based Software Engineering, as well as Model Driven Engineering may offer

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::b66c79d4d6e43bef7ae122de9d4131a2
https://doi.org/10.1109/notere.2015.7293487

Zobrazit plný text záznamu

Towards a meta-model for dynamic applications

Autor: Aïcha Choutri, Sahar Smaali, Faiza Belala

Publikováno v: CBSE

Interfaces are the key architectural elements able to offer a better behavior or evolution view of software system architecture and components interactions.In this paper, we propose a single software architecture description meta-model based on MDA a

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::c56dd09c0fd45cb81224b2a467e2acb3
https://doi.org/10.1145/2602458.2602469

Zobrazit plný text záznamu

For more understandable UML diagrams

Autor: Faiza Belala, Aïcha Choutri, Kamel Boukhelfa, Halima Douibi

Publikováno v: AICCSA

The use of formal methods is an effective means to improve the reliability and the quality of complex systems. The objective of this work is to adapt one of these methods to UML, so that the systems development depending on this notation can benefit

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::084c3848242a6b140be5ba73cacd23ae
https://doi.org/10.1109/aiccsa.2010.5586987

Zobrazit plný text záznamu

Towards a Tile Based LfP Semantics

Autor: Kamel Barkaoui, Faiza Belala, Aïcha Choutri

Publikováno v: RCIS'08, 2nd IEEE International Conference on Research Challenges in Information Science, Marrakech, Morocco
RCIS'08, 2nd IEEE International Conference on Research Challenges in Information Science, Marrakech, Morocco, Jan 2008, X, France. pp.9-16
RCIS

LfP (Language for Prototyping) is an ADL (Architecture Description Language) with a hierarchical and modular structure. In this paper, we propose tile logic (a rewriting logic extension) as a suitable semantic framework for this language. Indeed, it

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2ef15dd05dd3d1c5610173c637c29492
https://hal.archives-ouvertes.fr/hal-01125535

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání