Skip navigation
Accueil
Parcourir le dépôt par :
Communautés et collections
Naviguer les items de :
Date publié
Auteur(e)
Titre
Sujet
Aide
Langue
English
français
Services personnalisés :
Espace personnel
Recevoir les nouveautés
Modifier mon profil
Bouira University Digital Space
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 :
Arranger par :
titre
date publié
date soumis
Ordre :
Croissant
Décroissant
Résultats par page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Auteurs par dossier:
Tout
1
5
10
15
20
25
30
35
40
45
50
Montrant les résultats 12 à 31 de 37
< précédent
suivant >
Date de publication
Titre
Auteur(s)
2011-10
Dealing with the Web Services Composition Problem at theArchitectural Level
Bennouar, Djamal
2008
The design of a complex software system using a software architecture approach
Bennouar, Djamal
2006
The Design of a Complex Software System with ArchJava
Bennouar, Djamal
2017-01-06
A DSL-based Approach to Product Derivation for Software Product Lin
Bennouar, Djamal
2016
A Formal Approach for Maintainability and Availability Assessment Using Probabilistic Model Checking
Bennouar, Djamal
2013
A Framewor0 for Component and Aspect Oriented Programming in Java
Bennouar, Djamal
2013
A Framewor0 for Component and Aspect Oriented Programming in Java
Bennouar, Djamal
2020-07-03
A hybrid re-composition based on components and web services
Bennouar, Djamal
2018-06-19
Involving the application domain expert in the construction of systems of system
Bennouar, Djamal
2014-08-22
An MDA Based Derivation process for e-Learning Software Product Line
Bennouar, Djamal
2015-11-23
A model driven approach to derive e-learning applications in software product line
Bennouar, Djamal
2015-09-15
On the probabilistic verification of time constrained sysml state machine
Bennouar, Djamal
2018-08-01
On the use of model transformation for the automation of product derivation process in SP
Bennouar, Djamal
2015-04-28
A probabilistic and timed verification approach of SysML state machine diagram
Bennouar, Djamal
2015-11-30
A quantitative verification framework of SysML activity diagrams under time constraints
Bennouar, Djamal
2019-02-01
Safety analysis of train control system based on model-driven design
Bennouar, Djamal
2019-02-01
Safety analysis of train control system based on model-driven design methodology
Bennouar, Djamal
2019-02-01
Safety 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
2010
Software Architecture Approach for the Specification of Human Computer Interface, A Surve
Bennouar, Djamal
2013-12-17
A Software Product Line for Elearning Applications
Bennouar, Djamal