Navigation de collection par Auteur(e) Bennouar, Djamal

Sauter vers : 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
ou entrer les premières lettres :  
Montrant les résultats 14 à 33 de 37 < précédent   suivant >
Date de publicationTitreAuteur(s)
2006The Design of a Complex Software System with ArchJavaBennouar, Djamal
2017-01-06A DSL-based Approach to Product Derivation for Software Product LinBennouar, Djamal
2016A Formal Approach for Maintainability and Availability Assessment Using Probabilistic Model CheckingBennouar, Djamal
2013A Framewor0 for Component and Aspect Oriented Programming in JavaBennouar, Djamal
2013A Framewor0 for Component and Aspect Oriented Programming in JavaBennouar, Djamal
2020-07-03A hybrid re-composition based on components and web servicesBennouar, Djamal
2018-06-19Involving the application domain expert in the construction of systems of systemBennouar, Djamal
2014-08-22An MDA Based Derivation process for e-Learning Software Product LineBennouar, Djamal
2015-11-23A model driven approach to derive e-learning applications in software product lineBennouar, Djamal
2015-09-15On the probabilistic verification of time constrained sysml state machineBennouar, Djamal
2018-08-01On the use of model transformation for the automation of product derivation process in SPBennouar, Djamal
2015-04-28A probabilistic and timed verification approach of SysML state machine diagramBennouar, Djamal
2015-11-30A quantitative verification framework of SysML activity diagrams under time constraintsBennouar, Djamal
2019-02-01Safety analysis of train control system based on model-driven designBennouar, Djamal
2019-02-01Safety analysis of train control system based on model-driven design methodologyBennouar, Djamal
2019-02-01Safety analysis of train control system based on model-driven design methodology Authors Abdelhakim Bouya, Otmane Ait Mohamed, Djamal Bennouar, Samir Ouchani Publication date 2019/2/1 Journal Computers in Industry Volume 105 Pages 1-16 Publisher Elsevier Description Embedded system design is a complex process that demands an extensive system level modeling. Its implementation encompasses software and hardware components and its interconnections. In such systems, it is widely recognized that safety should be considered at the design stage itself, particularly at the architectural level to minimize the design effort. This paper presents a novel methodology based on model-driven specification and probabilistic model checking to automatically analyze safety based availability before synthesizing the embedded software product. Initially, the specification relies on the Architecture Analysis and Design Language (AADL) standard. Applying this standard, software components, communication links, and hardware platform are modeled. From the software components, a formal specification suitable for analysis and verification is extracted. When the verification is done and …Bennouar, Djamal
2010Software Architecture Approach for the Specification of Human Computer Interface, A SurveBennouar, Djamal
2013-12-17A Software Product Line for Elearning ApplicationsBennouar, Djamal
2017„Software Product Lines Composition through Partial Derivation “Bennouar, Djamal
2019-11Systems of systems: From mission definition to architecture descriptionBennouar, Djamal