Détail de l'auteur
Auteur Faiza Belala |
Documents disponibles écrits par cet auteur (5)
Affiner la recherche Interroger des sources externesUne approche basée architecture pour la spécification formelle des systèmes embarqués / Malika Benammar
Titre : Une approche basée architecture pour la spécification formelle des systèmes embarqués Type de document : texte imprimé Auteurs : Malika Benammar, Auteur ; Faiza Belala, Directeur de thèse Editeur : Constantine : Université Mentouri Constantine Année de publication : 2011 Importance : 163 f. Format : 31 cm Note générale : Doctorat en Sciences
2 copies imprimées disponiblesLangues : Français (fre) Catégories : Français - Anglais
InformatiqueTags : Informatique Index. décimale : 004 Traitement de données. Informatique Diplôme : Doctorat en sciences En ligne : ../theses/informatique/BEN5929.pdf Permalink : index.php?lvl=notice_display&id=5724 Une approche basée architecture pour la spécification formelle des systèmes embarqués [texte imprimé] / Malika Benammar, Auteur ; Faiza Belala, Directeur de thèse . - Constantine : Université Mentouri Constantine, 2011 . - 163 f. ; 31 cm.
Doctorat en Sciences
2 copies imprimées disponibles
Langues : Français (fre)
Catégories : Français - Anglais
InformatiqueTags : Informatique Index. décimale : 004 Traitement de données. Informatique Diplôme : Doctorat en sciences En ligne : ../theses/informatique/BEN5929.pdf Permalink : index.php?lvl=notice_display&id=5724 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité BEN/5929 BEN/5929 Thèse Bibliothèque principale Thèses Disponible
Titre : Un cadre formel basé logique de tuiles pour les ADL Type de document : texte imprimé Auteurs : Aicha Choutri, Auteur ; Faiza Belala, Directeur de thèse ; Mohamed Bettaz, Directeur de thèse Editeur : Constantine : Université Mentouri Constantine Année de publication : 2011 Importance : 140 f. Format : 31 cm. Note générale : Doctorat en sciences
2 copies imprimées disponiblesLangues : Français (fre) Catégories : Français - Anglais
InformatiqueTags : ADL TL-SADeM Un cadre formel basé logique de tuiles informatique Index. décimale : 004 Traitement de données. Informatique Diplôme : Doctorat en sciences En ligne : ../theses/informatique/CHO6098.pdf Format de la ressource électronique : Permalink : index.php?lvl=notice_display&id=5994 Un cadre formel basé logique de tuiles pour les ADL [texte imprimé] / Aicha Choutri, Auteur ; Faiza Belala, Directeur de thèse ; Mohamed Bettaz, Directeur de thèse . - Constantine : Université Mentouri Constantine, 2011 . - 140 f. ; 31 cm.
Doctorat en sciences
2 copies imprimées disponibles
Langues : Français (fre)
Catégories : Français - Anglais
InformatiqueTags : ADL TL-SADeM Un cadre formel basé logique de tuiles informatique Index. décimale : 004 Traitement de données. Informatique Diplôme : Doctorat en sciences En ligne : ../theses/informatique/CHO6098.pdf Format de la ressource électronique : Permalink : index.php?lvl=notice_display&id=5994 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité CHO/6098 CHO/6098 Thèse Bibliothèque principale Thèses Disponible
Titre : Conception d'un ADL pour les applications distribuées et mobiles, basé logique de réécriture. Type de document : texte imprimé Auteurs : Chafia Bouanaka, Auteur ; Faiza Belala, Directeur de thèse Editeur : Constantine : Université Mentouri Constantine Année de publication : 2010 Importance : 156 f. Note générale : 01 Disponible à la salle de recherche 01 Disponible au magazin de la B.U.C. 01 CD Langues : Français (fre) Catégories : Français - Anglais
InformatiqueTags : ADL Applications distribuées et mobiles Index. décimale : 004 Traitement de données. Informatique Résumé : In order to adopt a software architecture driven approach to specify mobile systems, we define a unified semantic framework for specifying the bidirectional, steady state and topology, evolution of such type of systems. Since eventual changes on architecture topology may have side effects on the ongoing computations, a unified structure and semantic basis are adopted to specify the two types of dynamism. Interfaces constitute the common structure on which side effects are perceptible. A rule based approach is used to define possible changes on the structure and state. Different facets (topology, behaviour, and reconfiguration) of mobile systems are then easily defined within the same semantic framework. Interactions between the various views are captured via interfaces. Validating syntactic construction defined by the model is a necessary task. The semantic model associated to software architectures specified in MoSAL is also constructed. It consists of a double category with visible interfaces as basic objects. Horizontal category models software architecture possible onfigurations with components and links as basic morphisms,vertical category models both computation evolution and reconfiguration actions on components interfaces. Note de contenu : Annexes. Diplôme : Doctorat en sciences En ligne : ../theses/informatique/BOU5829.pdf Format de la ressource électronique : Permalink : index.php?lvl=notice_display&id=4597 Conception d'un ADL pour les applications distribuées et mobiles, basé logique de réécriture. [texte imprimé] / Chafia Bouanaka, Auteur ; Faiza Belala, Directeur de thèse . - Constantine : Université Mentouri Constantine, 2010 . - 156 f.
01 Disponible à la salle de recherche 01 Disponible au magazin de la B.U.C. 01 CD
Langues : Français (fre)
Catégories : Français - Anglais
InformatiqueTags : ADL Applications distribuées et mobiles Index. décimale : 004 Traitement de données. Informatique Résumé : In order to adopt a software architecture driven approach to specify mobile systems, we define a unified semantic framework for specifying the bidirectional, steady state and topology, evolution of such type of systems. Since eventual changes on architecture topology may have side effects on the ongoing computations, a unified structure and semantic basis are adopted to specify the two types of dynamism. Interfaces constitute the common structure on which side effects are perceptible. A rule based approach is used to define possible changes on the structure and state. Different facets (topology, behaviour, and reconfiguration) of mobile systems are then easily defined within the same semantic framework. Interactions between the various views are captured via interfaces. Validating syntactic construction defined by the model is a necessary task. The semantic model associated to software architectures specified in MoSAL is also constructed. It consists of a double category with visible interfaces as basic objects. Horizontal category models software architecture possible onfigurations with components and links as basic morphisms,vertical category models both computation evolution and reconfiguration actions on components interfaces. Note de contenu : Annexes. Diplôme : Doctorat en sciences En ligne : ../theses/informatique/BOU5829.pdf Format de la ressource électronique : Permalink : index.php?lvl=notice_display&id=4597 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité BOU/5829 BOU/5829 Thèse Bibliothèque principale Thèses Disponible
Titre : Conception d'un serveur de politiques (QoS) via le système MAUDE. Type de document : texte imprimé Auteurs : Fares Mounir Zemmouchi, Auteur ; Faiza Belala, Directeur de thèse Editeur : Constantine : Université Mentouri Constantine Année de publication : 2007 Importance : 92 f. Note générale : 01 Disponible à la salle de recherche 02 Disponibles au magazin de la B.U.C. 01 CD Langues : Français (fre) Catégories : Français - Anglais
InformatiqueTags : système Maude Serveurs de politiques Index. décimale : 004 Traitement de données. Informatique Diplôme : Magistère En ligne : ../theses/informatique/ZEM4800.pdf Format de la ressource électronique : Permalink : index.php?lvl=notice_display&id=274 Conception d'un serveur de politiques (QoS) via le système MAUDE. [texte imprimé] / Fares Mounir Zemmouchi, Auteur ; Faiza Belala, Directeur de thèse . - Constantine : Université Mentouri Constantine, 2007 . - 92 f.
01 Disponible à la salle de recherche 02 Disponibles au magazin de la B.U.C. 01 CD
Langues : Français (fre)
Catégories : Français - Anglais
InformatiqueTags : système Maude Serveurs de politiques Index. décimale : 004 Traitement de données. Informatique Diplôme : Magistère En ligne : ../theses/informatique/ZEM4800.pdf Format de la ressource électronique : Permalink : index.php?lvl=notice_display&id=274 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité ZEM/4800 ZEM/4800 Thèse Bibliothèque principale Thèses Disponible Les réseaux de pétri transactionnels (TPNs) , un cadre sémantique des activités dans UML2 / Sabine Boufenara
Titre : Les réseaux de pétri transactionnels (TPNs) , un cadre sémantique des activités dans UML2 Auteurs : Sabine Boufenara ; Univ. de Constantine, Éditeur scientifique ; Faiza Belala, Directeur de thèse Année de publication : 2010 Importance : 228 f. Note générale : 01 Disponible à la salle de recherche 01 Disponible au magazin de la B.U.C. 01 CD Catégories : Français - Anglais
InformatiqueTags : Réseaux de pétri Cadre sémantique Index. décimale : 004 Traitement de données. Informatique En ligne : ../theses/informatique/BOU5795.pdf Permalink : index.php?lvl=notice_display&id=324 Les réseaux de pétri transactionnels (TPNs) , un cadre sémantique des activités dans UML2 [] / Sabine Boufenara ; Univ. de Constantine, Éditeur scientifique ; Faiza Belala, Directeur de thèse . - 2010 . - 228 f.
01 Disponible à la salle de recherche 01 Disponible au magazin de la B.U.C. 01 CD
Catégories : Français - Anglais
InformatiqueTags : Réseaux de pétri Cadre sémantique Index. décimale : 004 Traitement de données. Informatique En ligne : ../theses/informatique/BOU5795.pdf Permalink : index.php?lvl=notice_display&id=324 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité BOU/5795 BOU/5795 Thèse Bibliothèque principale Thèses Disponible
