Les Inscriptions à la Bibliothèque sont ouvertes en
ligne via le site: https://biblio.enp.edu.dz
Les Réinscriptions se font à :
• La Bibliothèque Annexe pour les étudiants en
2ème Année CPST
• La Bibliothèque Centrale pour les étudiants en Spécialités
A partir de cette page vous pouvez :
| Retourner au premier écran avec les recherches... |
Détail de l'auteur
Auteur Laribi, Sid Ahmed
Documents disponibles écrits par cet auteur
Affiner la rechercheConception et définition de L.E.P.C. / Chérief Née Hadjeres, Farroudja
Titre : Conception et définition de L.E.P.C. : langage pour l'expression du parallélisme et de la communication et étude formelle de la sémantique dynamique Type de document : texte imprimé Auteurs : Chérief Née Hadjeres, Farroudja, Auteur ; Laribi, Sid Ahmed, Directeur de thèse Editeur : Université des Sciences et de la Technologie Houari Boumedienne Année de publication : 1985 Importance : 58 f. Présentation : ill. Format : 27 cm. Note générale : Mémoire de Magister : Informatique : Alger, Université des Sciences et de la Technologie Houari Boumedienne : 1985
Annexe f. 59 - 65 . Bibliogr. [1] fLangues : Français (fre) Mots-clés : Langage -- programmation ; Fonctions ; Processus ; Sémantique -- dynamique ; Etude -- formelle ; Fonctions -- auxiliaires ; Langage -- C.S.P. ; Langage -- ADA Index. décimale : M001685 Résumé : Dans ce travail, nous avons conçu et défini le langage L.E.P.C. (Langage pour l'expression du parallélisme et de la communication) qui permet de définir des processus communicants et de construire des réseaux de processus à travers des expressions basées sur les opérations suivantes: l'union (parallélisme), la connexion, l'abstraction, le renommage et la séquentialité.
L'application de ces opérations n'entraine que des manipulations syntaxiques des processus.
La synchronisation des processus est assurée par le mécanisme de "Rendez-vous" (attente de communication).
L'étude formelle de la sémantique comporte deux parties: l'étude formelle de la sémantique statique développée dans la thèse et la définition formelle de la sémantique dynamique traitée en détail dans ce document.
Le premier chapitre de ce document présente les langages de programmation parallèle ADA et CSP (Communicating Sequential Processes).
Le deuxième chapitre décrit de manière informelle le langage L.E.P.C.
On y trouve la description des types de données (tableau, enregistrement, etc...), des différentes unités de programmes (fonctions, processus) et de toutes les commandes du langage (Commande alternative, Commande répétitive, Commande de communication et l'affectation).
Le troisième chapitre présente quatre méthodes de formalisation de la sémantique: la sémantique par attributs, la sémantique opérationnelle, la sémantique axiomatique et la sémantique dénotationnelle.
La méthode utilisée pour décrire L.E.P.C. est le formalisme de sémantique dénotationnelle qui vise à ramener la définition des langages de programmation à un formalisme mathématique.
Le quatrième et dernier chapitre définit de façon formelle la sémantique (dynamique) de L.E.P.C., qui consiste à décrire le comportement à l'exécution de chaque phrase du langage à l'aide d'une fonction Meaning notée M.
Cette fonction associe à chaque objet du langage un objet mathématique appelé dénotation.Conception et définition de L.E.P.C. : langage pour l'expression du parallélisme et de la communication et étude formelle de la sémantique dynamique [texte imprimé] / Chérief Née Hadjeres, Farroudja, Auteur ; Laribi, Sid Ahmed, Directeur de thèse . - Alger : Université des Sciences et de la Technologie Houari Boumedienne, 1985 . - 58 f. : ill. ; 27 cm.
Mémoire de Magister : Informatique : Alger, Université des Sciences et de la Technologie Houari Boumedienne : 1985
Annexe f. 59 - 65 . Bibliogr. [1] f
Langues : Français (fre)
Mots-clés : Langage -- programmation ; Fonctions ; Processus ; Sémantique -- dynamique ; Etude -- formelle ; Fonctions -- auxiliaires ; Langage -- C.S.P. ; Langage -- ADA Index. décimale : M001685 Résumé : Dans ce travail, nous avons conçu et défini le langage L.E.P.C. (Langage pour l'expression du parallélisme et de la communication) qui permet de définir des processus communicants et de construire des réseaux de processus à travers des expressions basées sur les opérations suivantes: l'union (parallélisme), la connexion, l'abstraction, le renommage et la séquentialité.
L'application de ces opérations n'entraine que des manipulations syntaxiques des processus.
La synchronisation des processus est assurée par le mécanisme de "Rendez-vous" (attente de communication).
L'étude formelle de la sémantique comporte deux parties: l'étude formelle de la sémantique statique développée dans la thèse et la définition formelle de la sémantique dynamique traitée en détail dans ce document.
Le premier chapitre de ce document présente les langages de programmation parallèle ADA et CSP (Communicating Sequential Processes).
Le deuxième chapitre décrit de manière informelle le langage L.E.P.C.
On y trouve la description des types de données (tableau, enregistrement, etc...), des différentes unités de programmes (fonctions, processus) et de toutes les commandes du langage (Commande alternative, Commande répétitive, Commande de communication et l'affectation).
Le troisième chapitre présente quatre méthodes de formalisation de la sémantique: la sémantique par attributs, la sémantique opérationnelle, la sémantique axiomatique et la sémantique dénotationnelle.
La méthode utilisée pour décrire L.E.P.C. est le formalisme de sémantique dénotationnelle qui vise à ramener la définition des langages de programmation à un formalisme mathématique.
Le quatrième et dernier chapitre définit de façon formelle la sémantique (dynamique) de L.E.P.C., qui consiste à décrire le comportement à l'exécution de chaque phrase du langage à l'aide d'une fonction Meaning notée M.
Cette fonction associe à chaque objet du langage un objet mathématique appelé dénotation.Exemplaires
Code-barres Cote Support Localisation Section Disponibilité Spécialité Etat_Exemplaire M001685 M001685 Papier Bibliothèque centrale Mémoire de Magister Disponible Documents numériques
HADJERES.Ferroudja.pdfURL
Titre : Conception et réalisation d'un environnement de programmation IDEES : conception et définition d'une représentation interne et de ses fonctions de manipulation et de parcours: fonctions de désignation et de parcours de l'outil SYED Type de document : texte imprimé Auteurs : Zohra Derdouri Née Boumaza, Auteur ; Laribi, Sid Ahmed, Directeur de thèse Editeur : Université des Sciences et de la Technologie Houari Boumedienne Année de publication : 1984 Importance : 135 f. Présentation : ill. Format : 27 cm. Note générale : Mémoire de Magister : Informatique : Alger, Université des Sciences et de la Technologie Houari Boumedienne : 1984
Annexe [34] f. Bibliogr. [6] fLangues : Français (fre) Mots-clés : Environnements de programmation
Atelier de développement de logiciel
IDEES
Fonctions de désignation
Parcours de l'éditeur syntaxique
SYEDIndex. décimale : M006384 Résumé : Dans ce document, nous présentons le projet d'étude et de réalisation d'un système contribuant au développement d'outils d'assistance à la production de logiciel: IDEES, bâti autour de concepts désignés sous le vocable de génie logiciel.
Ce travail a regroupé une équipe de quatre personnes constituant le groupe génie logiciel du DILM et a été développé en collaboration avec l'équipe ADELE du laboratoire de génie informatique de l'IMAG.
Ce projet vise la mise en place d'une base de travail pour les recherches en matière de génie logiciel.
Ce document est divisé en trois parties:
- Une première partie, d'un niveau général définit les environnements de programmation.
Nous passons en revue les tendances actuelles illustrées par une étude bibliographique, en s'appuyant plus particulièrement sur les systèmes intègres d'aide à la production, objet de notre projet.
Cette partie est susceptible d’intéresser les personnes concernées par le génie logiciel, les autres parties sont plus techniques.
- Une seconde partie, définit les notions essentielles de l'atelier de production que nous avons réalisé, autour de deux concepts:
* La représentation interne des objets programmes.
* Les differents outils s'articulant autour de cette représentation interne.
- Une troisième partie expose d'une manière détaillée les fonctions de désignation et de parcours de l'éditeur syntaxique du système IDEES.
Nous terminerons par une conclusion en présentant le bilan et les perspectives de ce système.Conception et réalisation d'un environnement de programmation IDEES : conception et définition d'une représentation interne et de ses fonctions de manipulation et de parcours: fonctions de désignation et de parcours de l'outil SYED [texte imprimé] / Zohra Derdouri Née Boumaza, Auteur ; Laribi, Sid Ahmed, Directeur de thèse . - Alger : Université des Sciences et de la Technologie Houari Boumedienne, 1984 . - 135 f. : ill. ; 27 cm.
Mémoire de Magister : Informatique : Alger, Université des Sciences et de la Technologie Houari Boumedienne : 1984
Annexe [34] f. Bibliogr. [6] f
Langues : Français (fre)
Mots-clés : Environnements de programmation
Atelier de développement de logiciel
IDEES
Fonctions de désignation
Parcours de l'éditeur syntaxique
SYEDIndex. décimale : M006384 Résumé : Dans ce document, nous présentons le projet d'étude et de réalisation d'un système contribuant au développement d'outils d'assistance à la production de logiciel: IDEES, bâti autour de concepts désignés sous le vocable de génie logiciel.
Ce travail a regroupé une équipe de quatre personnes constituant le groupe génie logiciel du DILM et a été développé en collaboration avec l'équipe ADELE du laboratoire de génie informatique de l'IMAG.
Ce projet vise la mise en place d'une base de travail pour les recherches en matière de génie logiciel.
Ce document est divisé en trois parties:
- Une première partie, d'un niveau général définit les environnements de programmation.
Nous passons en revue les tendances actuelles illustrées par une étude bibliographique, en s'appuyant plus particulièrement sur les systèmes intègres d'aide à la production, objet de notre projet.
Cette partie est susceptible d’intéresser les personnes concernées par le génie logiciel, les autres parties sont plus techniques.
- Une seconde partie, définit les notions essentielles de l'atelier de production que nous avons réalisé, autour de deux concepts:
* La représentation interne des objets programmes.
* Les differents outils s'articulant autour de cette représentation interne.
- Une troisième partie expose d'une manière détaillée les fonctions de désignation et de parcours de l'éditeur syntaxique du système IDEES.
Nous terminerons par une conclusion en présentant le bilan et les perspectives de ce système.Exemplaires
Code-barres Cote Support Localisation Section Disponibilité Spécialité Etat_Exemplaire M006384 M006384 Papier Bibliothèque centrale Mémoire de Magister Disponible Documents numériques
BOUMAZA.Zohra.pdfURL
Titre : Conception et réalisation d'un environnement de programmation IDEES : conception et définition d'une représentation interne et de ses fonctions de manipulation et de parcours: Fonctions d'interprétation de l'outil INDE Type de document : texte imprimé Auteurs : Mihoubi, Nadir, Auteur ; Laribi, Sid Ahmed, Directeur de thèse Editeur : Université des Sciences et de la Technologie Houari Boumedienne Année de publication : 1984 Importance : 126 f. Présentation : ill. Format : 27 cm. Note générale : Mémoire de Magister : Informatique : Alger, Université des Sciences et de la Technologie Houari Boumedienne : 1984
Annexe [34] f. Bibliogr. [6] fLangues : Français (fre) Mots-clés : Environnement -- programmation
Développement -- logiciel IDEES
Interpréteur -- système INDEIndex. décimale : M001984 Résumé : Dans ce document, nous présentons le projet d'étude et de réalisation d'un système contribuant au développement d'outils d'assistance à la production de logiciel: IDEES, bâti autour de concepts désignés sous le vocable de génie logiciel.
Ce travail a regroupé une équipe de quatre personnes constituant le groupe génie logiciel du DILM et a été développé en collaboration avec l'équipe ADELE du laboratoire de génie informatique de l'IMAG.
Ce projet vise la mise en place d'une base de travail pour les recherches en matière de génie logiciel.
Ce document est divisé en trois parties:
- Une première partie, d'un niveau général définit les environnements de programmation.
Nous passons en revue les tendances actuelles illustrées par une étude bibliographique,en s'appuyant plus particulièrement sur les systèmes intégrés d'aide à la production, objet de notre projet.
Cette partie est susceptible d'intéresser les personnes concernées par le génie logiciel, les autres parties sont plus techniques.
- Une seconde partie, définit les notions essentielles de l'atelier de production que nous avons réalisé, autour de deux concepts:
* La représentation interne des objets programmes.
* Les différents outils s'articulent autour de cette représentation interne.
- Une troisième partie expose d'une manière détaillée l'interpréteur du système IDEES.
Nous terminerons par une conclusion en présentant le bilan et les perspectives de ce système.Conception et réalisation d'un environnement de programmation IDEES : conception et définition d'une représentation interne et de ses fonctions de manipulation et de parcours: Fonctions d'interprétation de l'outil INDE [texte imprimé] / Mihoubi, Nadir, Auteur ; Laribi, Sid Ahmed, Directeur de thèse . - Alger : Université des Sciences et de la Technologie Houari Boumedienne, 1984 . - 126 f. : ill. ; 27 cm.
Mémoire de Magister : Informatique : Alger, Université des Sciences et de la Technologie Houari Boumedienne : 1984
Annexe [34] f. Bibliogr. [6] f
Langues : Français (fre)
Mots-clés : Environnement -- programmation
Développement -- logiciel IDEES
Interpréteur -- système INDEIndex. décimale : M001984 Résumé : Dans ce document, nous présentons le projet d'étude et de réalisation d'un système contribuant au développement d'outils d'assistance à la production de logiciel: IDEES, bâti autour de concepts désignés sous le vocable de génie logiciel.
Ce travail a regroupé une équipe de quatre personnes constituant le groupe génie logiciel du DILM et a été développé en collaboration avec l'équipe ADELE du laboratoire de génie informatique de l'IMAG.
Ce projet vise la mise en place d'une base de travail pour les recherches en matière de génie logiciel.
Ce document est divisé en trois parties:
- Une première partie, d'un niveau général définit les environnements de programmation.
Nous passons en revue les tendances actuelles illustrées par une étude bibliographique,en s'appuyant plus particulièrement sur les systèmes intégrés d'aide à la production, objet de notre projet.
Cette partie est susceptible d'intéresser les personnes concernées par le génie logiciel, les autres parties sont plus techniques.
- Une seconde partie, définit les notions essentielles de l'atelier de production que nous avons réalisé, autour de deux concepts:
* La représentation interne des objets programmes.
* Les différents outils s'articulent autour de cette représentation interne.
- Une troisième partie expose d'une manière détaillée l'interpréteur du système IDEES.
Nous terminerons par une conclusion en présentant le bilan et les perspectives de ce système.Exemplaires
Code-barres Cote Support Localisation Section Disponibilité Spécialité Etat_Exemplaire M001984 M001984 Papier Bibliothèque centrale Mémoire de Magister Disponible Documents numériques
MIHOUBI.Nadir.pdfURL
Titre : Conception et réalisation d'un environnement de programmation IDEES : définition d'une représentation interne des programmes et des fonctions de manipulation; les fonctions de construction et de manipulation de l'éditeur syntaxique SYED Type de document : texte imprimé Auteurs : Belkhatir, Noureddine, Auteur ; Laribi, Sid Ahmed, Directeur de thèse Editeur : Université des Sciences et de la Technologie Houari Boumedienne Année de publication : 1984 Importance : 156 f. Présentation : ill. Format : 27 cm. Note générale : Mémoire de Magister : Informatique : Alger, Université des Sciences et de la Technologie Houari Boumedienne : 1984
Annexe [33] f. Bibliogr. [7] fLangues : Français (fre) Mots-clés : Environnement -- programmation ; Développement -- logiciel IDEES ; Editeur -- syntaxique SYED ; Fonctions -- manipulation ; Fonctions -- construction Index. décimale : M002684 Résumé : Dans ce document, nous présentons le projet d'étude et de réalisation d'un système contribuant au développement d'outils d'assistance à la production de logiciel: IDEES, bâti autour de concepts designés sous le vocable de génie logiciel.
Ce travail a regroupé une équipe de quatre personnes constituant le groupe génie logiciel du DILM et a été développé en collaboration avec l'équipe ADELE du laboratoire de génie informatique de l'IMAG.
Ce projet vise la mise en place d'une base de travail pour les recherches en matière de génie logiciel.
Ce document est divisé en trois parties:
- Une première partie, d'un niveau général définit les environnements de programmation.
Nous passons en revue les tendances actuelles illustrées par une étude bibliographique, en s'appuyant plus particulièrement sur les systèmes intégrés d'aide à la production, objet de notre projet.
Cette partie est susceptible d'intéresser les personnes concernées par le génie logiciel, les autres parties sont plus techniques.
- Une seconde partie, définit les notions essentielles de l'atelier de production que nous avons réalisé, autour de deux concepts:
* La représentation interne des objets programmes.
* Les différents outils s'articulant autour de cette représentation interne.
- Une troisième partie expose d'une manière détaillée les fonctions de construction et de manipulation de l'éditeur syntaxique du système IDEES.
Nous terminerons par une conclusion en présentant le bilan et les perspectives de ce système.Conception et réalisation d'un environnement de programmation IDEES : définition d'une représentation interne des programmes et des fonctions de manipulation; les fonctions de construction et de manipulation de l'éditeur syntaxique SYED [texte imprimé] / Belkhatir, Noureddine, Auteur ; Laribi, Sid Ahmed, Directeur de thèse . - Alger : Université des Sciences et de la Technologie Houari Boumedienne, 1984 . - 156 f. : ill. ; 27 cm.
Mémoire de Magister : Informatique : Alger, Université des Sciences et de la Technologie Houari Boumedienne : 1984
Annexe [33] f. Bibliogr. [7] f
Langues : Français (fre)
Mots-clés : Environnement -- programmation ; Développement -- logiciel IDEES ; Editeur -- syntaxique SYED ; Fonctions -- manipulation ; Fonctions -- construction Index. décimale : M002684 Résumé : Dans ce document, nous présentons le projet d'étude et de réalisation d'un système contribuant au développement d'outils d'assistance à la production de logiciel: IDEES, bâti autour de concepts designés sous le vocable de génie logiciel.
Ce travail a regroupé une équipe de quatre personnes constituant le groupe génie logiciel du DILM et a été développé en collaboration avec l'équipe ADELE du laboratoire de génie informatique de l'IMAG.
Ce projet vise la mise en place d'une base de travail pour les recherches en matière de génie logiciel.
Ce document est divisé en trois parties:
- Une première partie, d'un niveau général définit les environnements de programmation.
Nous passons en revue les tendances actuelles illustrées par une étude bibliographique, en s'appuyant plus particulièrement sur les systèmes intégrés d'aide à la production, objet de notre projet.
Cette partie est susceptible d'intéresser les personnes concernées par le génie logiciel, les autres parties sont plus techniques.
- Une seconde partie, définit les notions essentielles de l'atelier de production que nous avons réalisé, autour de deux concepts:
* La représentation interne des objets programmes.
* Les différents outils s'articulant autour de cette représentation interne.
- Une troisième partie expose d'une manière détaillée les fonctions de construction et de manipulation de l'éditeur syntaxique du système IDEES.
Nous terminerons par une conclusion en présentant le bilan et les perspectives de ce système.Exemplaires
Code-barres Cote Support Localisation Section Disponibilité Spécialité Etat_Exemplaire M002684 M002684 Papier Bibliothèque centrale Mémoire de Magister Disponible Documents numériques
BELKHATIR.Noureddine.pdfURL
Titre : Conception et réalisation d'un réseau de transport sur un ensemble de machines virtuelles Type de document : texte imprimé Auteurs : Belmesk, Zoubir, Auteur ; Laribi, Sid Ahmed, Directeur de thèse Editeur : Université des Sciences et de la Technologie Houari Boumedienne Année de publication : 1983 Importance : 63 f. Présentation : ill. Format : 27 cm. Note générale : Mémoire de Magister : Informatique : Alger, Université des Sciences et de la Technologie Houari Boumedienne : 1983
Bibliogr. [4] fLangues : Français (fre) Mots-clés : Machine -- virtuelle réseau ; Réseaux locaux ; Réseaux -- transport ; Communication -- abonné-réseau Index. décimale : M001483 Résumé : Pour réaliser un émulateur de réseau de transmission de données qui a fait l'objet de notre travail, dont la présentation s'articule autour de quatres chapitres:
- Le premier est consacré à l'introduction de la notion des machines virtuelles du moniteur MMT2 de la machine SEMS/MITRA 125.
- Dans le deuxième chapitre, nous passons en revue la notion du réseau et ses outils de fonctionnement.
- Le troisième chapitre décrit l'architecture et la réalisation de notre système.
- Enfin, le quatrième chapitre est réservé aux possibilités d'utilisation du système.
En résumé, nous pouvons conclure que même si certaines insuffisances ne sont pas entièrement résolues, le réseau virtuel réalisé reste un outil précieux et son expérimentation dans un milieu universitaire, constitue un excellent exercice pour la définition des spécifications des réseaux tant généraux que locaux, et une approche à un moindre coût des problèmes liés aux échanges de données.Conception et réalisation d'un réseau de transport sur un ensemble de machines virtuelles [texte imprimé] / Belmesk, Zoubir, Auteur ; Laribi, Sid Ahmed, Directeur de thèse . - Alger : Université des Sciences et de la Technologie Houari Boumedienne, 1983 . - 63 f. : ill. ; 27 cm.
Mémoire de Magister : Informatique : Alger, Université des Sciences et de la Technologie Houari Boumedienne : 1983
Bibliogr. [4] f
Langues : Français (fre)
Mots-clés : Machine -- virtuelle réseau ; Réseaux locaux ; Réseaux -- transport ; Communication -- abonné-réseau Index. décimale : M001483 Résumé : Pour réaliser un émulateur de réseau de transmission de données qui a fait l'objet de notre travail, dont la présentation s'articule autour de quatres chapitres:
- Le premier est consacré à l'introduction de la notion des machines virtuelles du moniteur MMT2 de la machine SEMS/MITRA 125.
- Dans le deuxième chapitre, nous passons en revue la notion du réseau et ses outils de fonctionnement.
- Le troisième chapitre décrit l'architecture et la réalisation de notre système.
- Enfin, le quatrième chapitre est réservé aux possibilités d'utilisation du système.
En résumé, nous pouvons conclure que même si certaines insuffisances ne sont pas entièrement résolues, le réseau virtuel réalisé reste un outil précieux et son expérimentation dans un milieu universitaire, constitue un excellent exercice pour la définition des spécifications des réseaux tant généraux que locaux, et une approche à un moindre coût des problèmes liés aux échanges de données.Exemplaires
Code-barres Cote Support Localisation Section Disponibilité Spécialité Etat_Exemplaire M001483 M001483 Papier Bibliothèque centrale Mémoire de Magister Disponible Documents numériques
BELMESK.Zoubir.pdfURL
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
