1. Bouira University Digital Space

Recherche


Débuter une nouvelle recherche
Ajouter des filtres :

Vous pouvex utiliser des filtres pour chercher mieux.

 | 
Résultats 2981 à 2990 sur un total de 3504.
Résultats trouvés : Documents
Date de publicationTitreAuteur(s)
2013-12-01سؤال الكتابة...هواية أم هوية في قصة "تمثال بلا رأس" لعبد الحميد بن هدوقةولد يوسف, مصطفى
2018Using inheritance to represent hierarchical software product linesBennouar, Djamal
2020-08-13سيرورة بناء الرؤيا في الشعر العربي المعاصر، قصيدة "سماء بعيدة" لعاشور فنّي-أنموذجاسعدوني, يحيى
2017-12-20السّردي في الشعر الجزائري المعاصر قصيدة " أزهار البرواق" لأحمد عاشوري نموذجاسعدوني, يحيى
2019-12-01الرؤيا والإيقاع الدّلالي في الشعر الجزائري المعاصرسعدوني, يحيى
2019-12-01العنوان/الرؤيا في الشعر الجزائري المعاصرسعدوني, يحيى
2018-12-20الرؤيا ونهائية الصورة الشعرية المغاربية المعاصرةسعدوني, يحيى
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
2017ÉTUDEPHYTOGÉOGRAPHIQUE DES MASSIFS FORESTIERS DE KÉFRIDA, UN SECTEUR MÉCONNU DE LA ZONE IMPORTANTE POUR LES PLANTES DES BABORS (NORD-EST ALGÉRIEN)BOUCHIBANE, Mebarek; VÉLA, Errol; Franck BOUGAHAM, Abdelazize; ZEMOURI, Mourad; MAZOUZ, Azzedine; SAHNOUNE, Mohamed
2015Inventaire des orchidées de la Kabylie des Babors (Algérie) – éléments de cartographie et enjeux patrimoniauxFranck Bougaham, Abdelazize; Bouchibane, Mebarek; Véla, Errol

Découvrir