University Sétif 1 FERHAT ABBAS Faculty of Sciences
Détail de l'éditeur
Setif:UFA |
Documents disponibles chez cet éditeur
Ajouter le résultat dans votre panier Affiner la recherche
Vers les bases de données objet / GUECHI, samira
Titre : Vers les bases de données objet Type de document : texte imprimé Auteurs : GUECHI, samira, Auteur ; BOUCHOUL,F, Directeur de thèse Editeur : Setif:UFA Année de publication : 2017 Importance : 1 vol (44f.) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Informatique Mots-clés : Génie logiciel
concept objet
persistance
CRUD
ROMIndex. décimale : 004 Informatique Vers les bases de données objet [texte imprimé] / GUECHI, samira, Auteur ; BOUCHOUL,F, Directeur de thèse . - [S.l.] : Setif:UFA, 2017 . - 1 vol (44f.) ; 29 cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Informatique Mots-clés : Génie logiciel
concept objet
persistance
CRUD
ROMIndex. décimale : 004 Informatique Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAI/0211 MAI/0211 Mémoire Bibliothéque des sciences Français Disponible
DisponibleVers une gestion de l’évolution des logiciels / CHARIKHI,Imane
Titre : Vers une gestion de l’évolution des logiciels Type de document : texte imprimé Auteurs : CHARIKHI,Imane ; SAKHRAOUI, S, Directeur de thèse Editeur : Setif:UFA Année de publication : 2016 Importance : 1 vol (44f.) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Informatique Mots-clés : Evolution logicielle, maintenance logicielle, SPEM, OCL, MDA, assistance. Index. décimale : 004 Informatique Résumé :
Résumé
Dans le domaine de l’évolution des logiciels, le chercheur M. Lehman a proposé, suite à des études empiriques, des bonnes pratiques afin de prévenir des effets négatifs résultant de cette activité inévitable. Ces bonnes pratiques, permettent de guider une organisation d’industrie logicielle pendant la réalisation des changements sur un système donné. Cependant, leur expression en langage naturel peut subir à une mauvaise interprétation par les membres de l’organisation et donc commettre des erreurs. De ce fait, il sera plus utile de formaliser leur description et les exploiter dans un outil d’aide ou d’assistance. En partant de ce point, nous avons mis en place une approche se basant sur quelques bonnes pratiques afin de fournir une assistance à l’évolution des logiciels.
Note de contenu :
Tables des matières
Introduction Générale .......................................................................................................................1
Partie I : Etat de l'art
Chapitre 1 Maintenance et évolution logicielle.............................................................................3
1.1 Introduction ..........................................................................................................3
1.2 Maintenance des logiciels........................................................................................... 3
1.2.1 Définition......................................................................................................3
1.2.2 Types de maintenance.............................................................................................3
1.2.4 Différence entre développement et maintenance du logiciel...........................................….4
1.3 Evolution des logiciels...............................................................................................5
1.3.1 Terminologie ...................................................................................................5
1.3.2 L’étude d’évolution logicielle.................................................................................6
1.3.2.1 Projets.................................................................................................7
1.3.2.2 Classification des systèmes............................................................................7
1.3.2.3 Lois d’évolution........................................................................................7
1.3.2.4 Bonnes pratiques....................................................................................8
1.4 Conclusion.................................................................................................11
Chapitre 2 Processus maintenance et évolution logicielle..........................................................13
2.1 Introduction .....................................................................................................13
2.2 Positionnement de la maintenance dans le cycle de vie logiciel..............................................13
2.3 Processus de maintenance et d’évolution..................................................................................14
2.4 Processus niveau macro……………….....................................................................................14
2.4.1 Le modèle étagé .....................................................................................................14
2.4.2 Le modèle étagé versionné .................................................................................................16
2.5 Processus niveau micro……………….....................................................................................17
2.5.1 Mini cycle du changement .................................................................................................17
2.5.2 Modèle du Boehm...............................................................................................................19
2.5.3 Le standard IEEE.................................................................................................................19
2.6 Conclusion ................................................................................................................................21
Chapitre 3 Assistance d’évolution................................................................................................22
3.1 Introduction ...............................................................................................................22
3.2 Assistance d’évolution......................................................................................................... 22
3.3 Méthodes et techniques..................................................................................................23
3.3.1 Technique de refactorisation..........................................................................................23
3.3.2 Technique de test de non régression.................................................................................25
3.4 Les outils d’assistance.................................................................................................28
3.4.1 Technique de refactorisation.......................................................................................28
3.4.2 Technique de test de non régression................................................................................29
3.5 Conclusion..............................................................................................................30
Partie II : Contribution
Chapitre 4 Assistance basée OCL...........................................................................................31
4.1 Introduction ......................................................................................................31
4.2 Proposition et démarche............................................................................................ 31
4.3 Classification des bonnes pratiques..................................................................................32
4.3.1 Première classification…………….....................................................................................32
4.3.2 Deuxième classification..........................................................................................34
4.3.3 Troisième classification.......................................................................................35
4.3.4 Quatrième classification......................................................................................37
4.4 Etablissement du méta modele........................................................................................37
4.5 Formalisation des bonnes pratiques……………......................................................................39
4.6 Définition du lien méta modele-contrainte OCL…………………..........................................41
4.7 Evaluation des contraintes…….........................................................................................42
4.8 Conclusion.........................................................................................................44
Chapitre 5 Implémentation...........................................................................................45
5.1 Introduction ....................................................................................................45
5.2 Environnement.................................................................................................. 45
5.2.1 Choix de java.............................................................................................45
5.2.2 Choix d’éclipse............................................................................................45
5.2.3 Démarche..................................................................................................46
5.3 Classes et méthodes utilisées pour le parsing.................................................................46
5.4 Architecture du système.………………………………………………………………….…..46
5.5 Evaluation des résultats.………………………………………………………………….…...47
5.6 Discussion.……………………………………………………………………….………..…..50
5.7 Conclusion...............................................................................................50
Références bibliographiques.........................................................................................51
Annexe..........................................................................................……………….54
Côte titre : MAI/0102 Vers une gestion de l’évolution des logiciels [texte imprimé] / CHARIKHI,Imane ; SAKHRAOUI, S, Directeur de thèse . - [S.l.] : Setif:UFA, 2016 . - 1 vol (44f.) ; 29 cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Informatique Mots-clés : Evolution logicielle, maintenance logicielle, SPEM, OCL, MDA, assistance. Index. décimale : 004 Informatique Résumé :
Résumé
Dans le domaine de l’évolution des logiciels, le chercheur M. Lehman a proposé, suite à des études empiriques, des bonnes pratiques afin de prévenir des effets négatifs résultant de cette activité inévitable. Ces bonnes pratiques, permettent de guider une organisation d’industrie logicielle pendant la réalisation des changements sur un système donné. Cependant, leur expression en langage naturel peut subir à une mauvaise interprétation par les membres de l’organisation et donc commettre des erreurs. De ce fait, il sera plus utile de formaliser leur description et les exploiter dans un outil d’aide ou d’assistance. En partant de ce point, nous avons mis en place une approche se basant sur quelques bonnes pratiques afin de fournir une assistance à l’évolution des logiciels.
Note de contenu :
Tables des matières
Introduction Générale .......................................................................................................................1
Partie I : Etat de l'art
Chapitre 1 Maintenance et évolution logicielle.............................................................................3
1.1 Introduction ..........................................................................................................3
1.2 Maintenance des logiciels........................................................................................... 3
1.2.1 Définition......................................................................................................3
1.2.2 Types de maintenance.............................................................................................3
1.2.4 Différence entre développement et maintenance du logiciel...........................................….4
1.3 Evolution des logiciels...............................................................................................5
1.3.1 Terminologie ...................................................................................................5
1.3.2 L’étude d’évolution logicielle.................................................................................6
1.3.2.1 Projets.................................................................................................7
1.3.2.2 Classification des systèmes............................................................................7
1.3.2.3 Lois d’évolution........................................................................................7
1.3.2.4 Bonnes pratiques....................................................................................8
1.4 Conclusion.................................................................................................11
Chapitre 2 Processus maintenance et évolution logicielle..........................................................13
2.1 Introduction .....................................................................................................13
2.2 Positionnement de la maintenance dans le cycle de vie logiciel..............................................13
2.3 Processus de maintenance et d’évolution..................................................................................14
2.4 Processus niveau macro……………….....................................................................................14
2.4.1 Le modèle étagé .....................................................................................................14
2.4.2 Le modèle étagé versionné .................................................................................................16
2.5 Processus niveau micro……………….....................................................................................17
2.5.1 Mini cycle du changement .................................................................................................17
2.5.2 Modèle du Boehm...............................................................................................................19
2.5.3 Le standard IEEE.................................................................................................................19
2.6 Conclusion ................................................................................................................................21
Chapitre 3 Assistance d’évolution................................................................................................22
3.1 Introduction ...............................................................................................................22
3.2 Assistance d’évolution......................................................................................................... 22
3.3 Méthodes et techniques..................................................................................................23
3.3.1 Technique de refactorisation..........................................................................................23
3.3.2 Technique de test de non régression.................................................................................25
3.4 Les outils d’assistance.................................................................................................28
3.4.1 Technique de refactorisation.......................................................................................28
3.4.2 Technique de test de non régression................................................................................29
3.5 Conclusion..............................................................................................................30
Partie II : Contribution
Chapitre 4 Assistance basée OCL...........................................................................................31
4.1 Introduction ......................................................................................................31
4.2 Proposition et démarche............................................................................................ 31
4.3 Classification des bonnes pratiques..................................................................................32
4.3.1 Première classification…………….....................................................................................32
4.3.2 Deuxième classification..........................................................................................34
4.3.3 Troisième classification.......................................................................................35
4.3.4 Quatrième classification......................................................................................37
4.4 Etablissement du méta modele........................................................................................37
4.5 Formalisation des bonnes pratiques……………......................................................................39
4.6 Définition du lien méta modele-contrainte OCL…………………..........................................41
4.7 Evaluation des contraintes…….........................................................................................42
4.8 Conclusion.........................................................................................................44
Chapitre 5 Implémentation...........................................................................................45
5.1 Introduction ....................................................................................................45
5.2 Environnement.................................................................................................. 45
5.2.1 Choix de java.............................................................................................45
5.2.2 Choix d’éclipse............................................................................................45
5.2.3 Démarche..................................................................................................46
5.3 Classes et méthodes utilisées pour le parsing.................................................................46
5.4 Architecture du système.………………………………………………………………….…..46
5.5 Evaluation des résultats.………………………………………………………………….…...47
5.6 Discussion.……………………………………………………………………….………..…..50
5.7 Conclusion...............................................................................................50
Références bibliographiques.........................................................................................51
Annexe..........................................................................................……………….54
Côte titre : MAI/0102 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAI/0102 MAI/0102 Mémoire Bibliothéque des sciences Français Disponible
Disponible
Titre : Visual-Algo Autre titre : Environnement de Développement Visuel (EDV) pour la conception, la modélisation et l'exécution des Algorithmes Type de document : texte imprimé Auteurs : Hassam,Maria, Auteur ; Reffad,Hamza, Directeur de thèse Editeur : Setif:UFA Année de publication : 2020 Importance : 1 vol (57 f .) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Informatique Mots-clés : Algorithme
Blockly
Simulation des algorithmesIndex. décimale : 004 - Informatique Résumé :
Les travaux menés dans ce mémoire s’intéressent particulièrement aux mesures et outils préposés pour faciliter l’apprentissage des algorithmes. Ces travaux visent donc à la conception et l’implémentation d’un outil interactif Visual-Algo. Ce dernier est implémenté avec l’objectif nouveau d’être intuitif accessible aux personnes non familiarisées avec la programmation. L’évaluation des performances de cet outil a montré que ce dernier permet de concevoir, exécuter et générer du code source d’une manière très intuitive. La conception de l’application a été réalisée en utilisant la modélisation Orientée Object/composant car cette modélisation facilite la tâche. Le simulateur a été réalisé en utilisant différentes plateformes informatiques tels que, JavaScript, Blockly, Bootstrap et Electron.Côte titre : MAI/0386 En ligne : https://drive.google.com/file/d/1TOPc7guiMPnae_XgkCntpmkQBGCAGZOa/view?usp=shari [...] Format de la ressource électronique : Visual-Algo ; Environnement de Développement Visuel (EDV) pour la conception, la modélisation et l'exécution des Algorithmes [texte imprimé] / Hassam,Maria, Auteur ; Reffad,Hamza, Directeur de thèse . - [S.l.] : Setif:UFA, 2020 . - 1 vol (57 f .) ; 29 cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Informatique Mots-clés : Algorithme
Blockly
Simulation des algorithmesIndex. décimale : 004 - Informatique Résumé :
Les travaux menés dans ce mémoire s’intéressent particulièrement aux mesures et outils préposés pour faciliter l’apprentissage des algorithmes. Ces travaux visent donc à la conception et l’implémentation d’un outil interactif Visual-Algo. Ce dernier est implémenté avec l’objectif nouveau d’être intuitif accessible aux personnes non familiarisées avec la programmation. L’évaluation des performances de cet outil a montré que ce dernier permet de concevoir, exécuter et générer du code source d’une manière très intuitive. La conception de l’application a été réalisée en utilisant la modélisation Orientée Object/composant car cette modélisation facilite la tâche. Le simulateur a été réalisé en utilisant différentes plateformes informatiques tels que, JavaScript, Blockly, Bootstrap et Electron.Côte titre : MAI/0386 En ligne : https://drive.google.com/file/d/1TOPc7guiMPnae_XgkCntpmkQBGCAGZOa/view?usp=shari [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAI/0386 MAI/0386 Mémoire Bibliothéque des sciences Français Disponible
Disponible
Titre : XC-groupe Type de document : texte imprimé Auteurs : Ghada Lahlali, Auteur ; Mounia Bouchelaghem, Directeur de thèse Editeur : Setif:UFA Année de publication : 2021 Importance : 1 vol (44 f.) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Mathématique Mots-clés : XC-groupe
FC-groupes
CC-groupes et (PF)C-groupes.Index. décimale : 510 - Mathématique Résumé :
L'objectif principal de ce mémoire concerne l'étudedes XC-groupes, où X est
la classe des groupes.
Parmiles XC groupes,Nous avonsréaliséune étudesurlestrois classes: FC-groupes,
CC-groupeset(PF)Cgroupes.Nous avons aussidonné les propriétéssuivid'une
démonstrationdétailléepour chaque classecitéprécédemment.Baer[1948] a été le
pionnier a donner une dénition des FC-groupes.Po-lovickii[1964] a donné quelques
propriétésetrésultatssurles CC-groupes.Franciosi et al.[1999], etTomkinson
[1984],sontles premiers qui ont étudiéla classedes(PF)C-groupes.Russoand
Trabelsi[2009] ont donné quelquesnouveauxpropriétésetrésultatssurles(PF)C-
groupes.Côte titre : MAM/0536 En ligne : https://drive.google.com/file/d/1cQR2n80oWR19uUrg_V7WDz5chNSWs34Q/view?usp=shari [...] Format de la ressource électronique : XC-groupe [texte imprimé] / Ghada Lahlali, Auteur ; Mounia Bouchelaghem, Directeur de thèse . - [S.l.] : Setif:UFA, 2021 . - 1 vol (44 f.) ; 29 cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Mathématique Mots-clés : XC-groupe
FC-groupes
CC-groupes et (PF)C-groupes.Index. décimale : 510 - Mathématique Résumé :
L'objectif principal de ce mémoire concerne l'étudedes XC-groupes, où X est
la classe des groupes.
Parmiles XC groupes,Nous avonsréaliséune étudesurlestrois classes: FC-groupes,
CC-groupeset(PF)Cgroupes.Nous avons aussidonné les propriétéssuivid'une
démonstrationdétailléepour chaque classecitéprécédemment.Baer[1948] a été le
pionnier a donner une dénition des FC-groupes.Po-lovickii[1964] a donné quelques
propriétésetrésultatssurles CC-groupes.Franciosi et al.[1999], etTomkinson
[1984],sontles premiers qui ont étudiéla classedes(PF)C-groupes.Russoand
Trabelsi[2009] ont donné quelquesnouveauxpropriétésetrésultatssurles(PF)C-
groupes.Côte titre : MAM/0536 En ligne : https://drive.google.com/file/d/1cQR2n80oWR19uUrg_V7WDz5chNSWs34Q/view?usp=shari [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAM/0536 MAM/0536 Mémoire Bibliothéque des sciences Français Disponible
Disponible
Titre : التقريب بكثيرات الحدود لحل بعض أنواع المعادلات التكاملية التفاضلية Titre original : Approche polynômiale pour la résolution de certaines classes d’équations Intégrodifférentielles Type de document : texte imprimé Auteurs : عبد الكريم بن الشيخ, Auteur ; لخضر شيــطر, Directeur de thèse Editeur : Setif:UFA Année de publication : 2018 Importance : 1 vol (93 f .) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Mathématique Mots-clés : معادلات تكاملية-تفاضلية
التقريب بكثيرات الحدود
مصفوفات العملياتIndex. décimale : 510 Mathématique Résumé : يهدف هذا البحث الى تقديم معالجات عددية لبعض اتواع المعادلات التكاملية- التقاضلية
( IDEs (
و هي :
معادلة تكاملية - تفاضلية من نوع القطع المكافئ بشروط غير محلية
معادلة فـولترا التكاملية التفاضلية الناتجة من مسالة Fowler-Emden ذات القيم الابتدائية الشاذة
معادلات تكاملية-تفاضلية من رتب كسرية الخطية و غيرالخطية
إعتمدنا في تلك التقنيات العددية على تقريب الحلول باستعمال كثيرات حدود برنشتاين BPs و كثيرات حدود جاكوبي JPs
و مويجات لوجندر LW و مويجات تشيبيشاف UW , عن طريق بناء مصفوفات العمليات OM أمكن تحويل تلك المسائل إلى
جمل معادات جبرية سهلة البرمجة و الحل و من خلال تطبيقات عددية أثبتت تلك الطرائق كفاءة عالية في ايجاد حلول تقريبية
و دقيقة مع عرض و تحليل لطرق عالجت الموضوع سابقا.Note de contenu : 4 Côte titre : DM/0137 En ligne : https://drive.google.com/file/d/1bKsw0CANfQAGV2Rcf2XRR-CA8oxJdlPu/view?usp=shari [...] Format de la ressource électronique : التقريب بكثيرات الحدود لحل بعض أنواع المعادلات التكاملية التفاضلية = Approche polynômiale pour la résolution de certaines classes d’équations Intégrodifférentielles [texte imprimé] / عبد الكريم بن الشيخ, Auteur ; لخضر شيــطر, Directeur de thèse . - [S.l.] : Setif:UFA, 2018 . - 1 vol (93 f .) ; 29 cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Mathématique Mots-clés : معادلات تكاملية-تفاضلية
التقريب بكثيرات الحدود
مصفوفات العملياتIndex. décimale : 510 Mathématique Résumé : يهدف هذا البحث الى تقديم معالجات عددية لبعض اتواع المعادلات التكاملية- التقاضلية
( IDEs (
و هي :
معادلة تكاملية - تفاضلية من نوع القطع المكافئ بشروط غير محلية
معادلة فـولترا التكاملية التفاضلية الناتجة من مسالة Fowler-Emden ذات القيم الابتدائية الشاذة
معادلات تكاملية-تفاضلية من رتب كسرية الخطية و غيرالخطية
إعتمدنا في تلك التقنيات العددية على تقريب الحلول باستعمال كثيرات حدود برنشتاين BPs و كثيرات حدود جاكوبي JPs
و مويجات لوجندر LW و مويجات تشيبيشاف UW , عن طريق بناء مصفوفات العمليات OM أمكن تحويل تلك المسائل إلى
جمل معادات جبرية سهلة البرمجة و الحل و من خلال تطبيقات عددية أثبتت تلك الطرائق كفاءة عالية في ايجاد حلول تقريبية
و دقيقة مع عرض و تحليل لطرق عالجت الموضوع سابقا.Note de contenu : 4 Côte titre : DM/0137 En ligne : https://drive.google.com/file/d/1bKsw0CANfQAGV2Rcf2XRR-CA8oxJdlPu/view?usp=shari [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité DM/0137 DM/0137 Thèse Bibliothéque des sciences Arabe Disponible
Disponibleتغيرات المقطع الفعال لتفاعل السلب لنكليونين بين الانوية الثقيلة مع طاقة الوقود / بكار, حسان
Permalink