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 à l'écran de résultat de la dernière recherche | Consulter l'historique des recherches | Retourner au premier écran avec les recherches... |
Détail de la série
Série Génie logiciel
Documents disponibles dans cette série
Génie logiciel. Exercices corrigés de conception logicielle / Pascal André ; Alain Vailly
Titre de série : Génie logiciel Titre : Exercices corrigés de conception logicielle : modélisation des systèmes d'information par la pratique Type de document : texte imprimé Auteurs : Pascal André, Auteur ; Alain Vailly, Auteur Editeur : Paris : Ellipses Année de publication : 2002 Collection : Technosup Importance : 314 p. Format : 26 x 18 cm ISBN/ISSN/EAN : 978-2-7298-1289-8 Note générale : Bibliogr. p. [313]-314 Langues : Français (fre) Mots-clés : Systèmes d'information -- Problèmes et exercices
Logiciels -- Développement -- Problèmes et exercices
Systèmes, Conception de -- Problèmes et exercices
Génie logiciel -- Problèmes et exercicesIndex. décimale : 681.3.06 Logiciels. Software Résumé : Une centaine d'exercices corrigés sont proposés pour faciliter la maîtrise des notions de base dans le domaine des systèmes d'information. Une première série d'exercices sert à l'apprentissage et à la maîtrise des techniques. Ce sont de petits exercices, soigneusement travaillés, conçus pour illustrer des points particuliers. Les autres, en général plus conséquents du fait de la multiplicité des concepts à manipuler, doivent permettre d'aborder la pratique de la technique. Les énoncés sont tirés d'exemples concrets. Les solutions sont fréquemment construites pas à pas, ce qui permet au lecteur de bien percevoir les pratiques de spécification utilisées. L'ouvrage fait suite à deux premiers livres des mêmes auteurs, chez le même éditeur, intitulés Conception des systèmes d'information et Spécification des logiciels. Il en reprend les sujets, mais sans rappels de cours. Note de contenu : Sommaire
*Modélisation des données
*Modélisation de comportements
*Modélisation de traitements
*Vérification de modèlesGénie logiciel. Exercices corrigés de conception logicielle : modélisation des systèmes d'information par la pratique [texte imprimé] / Pascal André, Auteur ; Alain Vailly, Auteur . - Ellipses, 2002 . - 314 p. ; 26 x 18 cm. - (Technosup) .
ISBN : 978-2-7298-1289-8
Bibliogr. p. [313]-314
Langues : Français (fre)
Mots-clés : Systèmes d'information -- Problèmes et exercices
Logiciels -- Développement -- Problèmes et exercices
Systèmes, Conception de -- Problèmes et exercices
Génie logiciel -- Problèmes et exercicesIndex. décimale : 681.3.06 Logiciels. Software Résumé : Une centaine d'exercices corrigés sont proposés pour faciliter la maîtrise des notions de base dans le domaine des systèmes d'information. Une première série d'exercices sert à l'apprentissage et à la maîtrise des techniques. Ce sont de petits exercices, soigneusement travaillés, conçus pour illustrer des points particuliers. Les autres, en général plus conséquents du fait de la multiplicité des concepts à manipuler, doivent permettre d'aborder la pratique de la technique. Les énoncés sont tirés d'exemples concrets. Les solutions sont fréquemment construites pas à pas, ce qui permet au lecteur de bien percevoir les pratiques de spécification utilisées. L'ouvrage fait suite à deux premiers livres des mêmes auteurs, chez le même éditeur, intitulés Conception des systèmes d'information et Spécification des logiciels. Il en reprend les sujets, mais sans rappels de cours. Note de contenu : Sommaire
*Modélisation des données
*Modélisation de comportements
*Modélisation de traitements
*Vérification de modèlesExemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 047917 681.3.06 AND Papier Bibliothèque Centrale Informatique Disponible Génie logiciel. Spécification des logiciels / Pascal André ; Alain Vailly
Titre de série : Génie logiciel Titre : Spécification des logiciels : deux exemples de pratiques récentes : Z et UML Type de document : texte imprimé Auteurs : Pascal André, Auteur ; Alain Vailly, Auteur Editeur : Paris : Ellipses Année de publication : 2011 Collection : Technosup Importance : 317 p. Présentation : ill. Format : 26 cm ISBN/ISSN/EAN : 978-2-7298-0774-0 Note générale : Bibliogr. p. [305]-310. Index Langues : Français (fre) Mots-clés : Z (méthode formelle) -- Manuels d'enseignement supérieur
Programmation orientée objets (informatique) -- Manuels d'enseignement supérieur
Génie logiciel -- Manuels d'enseignement supérieur
Logiciels -- Développement -- Manuels d'enseignement supérieur
UML (informatique) -- Manuels d'enseignement supérieurIndex. décimale : 681.3.06 Logiciels. Software Résumé : Cet ouvrage est destiné à l'étudiant et au professionnel qui veulent comprendre l'impact des spécifications formelles et de la modélisation à objets sur la pratique du développement d'un logiciel. Il comprend deux parties consacrées respectivement, la première aux spécifications formelles, et la seconde à la modélisation à objets.
L'ouvrage fait suite à un premier livre des mêmes auteurs intitulé "Conception des systèmes d'information", consacré aux méthodes et aux techniques de base de la conception des systèmes.Note de contenu : - Spécification formelle avec Z
- Introduction aux spécifications formelles
- Le language Z
- La spécification avec Z
- La spécification avec Z : la facturation de commandes
- Des compléments pour la modélisation avec Z
- II Modélisation objet avec UML
- Introduction au développement à objets
- La notation UML
- La spécification avec UML
- Des compléments pour la mondialisation avec UMLGénie logiciel. Spécification des logiciels : deux exemples de pratiques récentes : Z et UML [texte imprimé] / Pascal André, Auteur ; Alain Vailly, Auteur . - Ellipses, 2011 . - 317 p. : ill. ; 26 cm. - (Technosup) .
ISBN : 978-2-7298-0774-0
Bibliogr. p. [305]-310. Index
Langues : Français (fre)
Mots-clés : Z (méthode formelle) -- Manuels d'enseignement supérieur
Programmation orientée objets (informatique) -- Manuels d'enseignement supérieur
Génie logiciel -- Manuels d'enseignement supérieur
Logiciels -- Développement -- Manuels d'enseignement supérieur
UML (informatique) -- Manuels d'enseignement supérieurIndex. décimale : 681.3.06 Logiciels. Software Résumé : Cet ouvrage est destiné à l'étudiant et au professionnel qui veulent comprendre l'impact des spécifications formelles et de la modélisation à objets sur la pratique du développement d'un logiciel. Il comprend deux parties consacrées respectivement, la première aux spécifications formelles, et la seconde à la modélisation à objets.
L'ouvrage fait suite à un premier livre des mêmes auteurs intitulé "Conception des systèmes d'information", consacré aux méthodes et aux techniques de base de la conception des systèmes.Note de contenu : - Spécification formelle avec Z
- Introduction aux spécifications formelles
- Le language Z
- La spécification avec Z
- La spécification avec Z : la facturation de commandes
- Des compléments pour la modélisation avec Z
- II Modélisation objet avec UML
- Introduction au développement à objets
- La notation UML
- La spécification avec UML
- Des compléments pour la mondialisation avec UMLExemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 046173 681.3.06 AND Papier Bibliothèque Centrale Informatique Disponible 046172 681.3.06 AND Papier Bibliothèque Centrale Informatique Disponible 047856 681.3.06 AND Papier Bibliothèque Centrale Informatique Disponible 047855 681.3.06 AND Papier Bibliothèque Centrale Informatique Disponible 047857 681.3.06 AND Papier Bibliothèque Centrale Informatique Disponible 047858 681.3.06 AND Papier Bibliothèque Centrale Informatique Disponible Génie logiciel. Conception des systemes d'information / Pascal André
Titre de série : Génie logiciel Titre : Conception des systemes d'information : panorama des méthodes et des techniques Type de document : texte imprimé Auteurs : Pascal André, Auteur ; Alain Vailly, Auteur Editeur : Paris : Ellipses Année de publication : 2001 Collection : Technosup Importance : 312p. Présentation : ill. Format : 26 cm. ISBN/ISSN/EAN : 978-2-7298-0479-4 Note générale : Ouvrage de niveau B, Bases (cours avec exercices et problèmes résolus): IUP - IUT - BTS
Bibliogr. p. [301]-304. IndexLangues : Français (fre) Mots-clés : Génie logiciel
Logiciels -- Développement
Systèmes d'information
MERISE Méthode
Petri RéseauxIndex. décimale : 681.3.06 Logiciels. Software Résumé : Pour aider l'étudiant et le professionnel à s'affranchir d'une approche particulière et pour faciliter leur insertion dans des équipes de développement de logiciels, ou leur recyclage, l'ouvrage présente un panorama des principales méthodes et techniques de conception des systèmes d'information.
Il montre qu'un nombre restreint de modèles de base (entités-associations-propriétés, modèle relationnel, automates, réseaux de PETRI, expressions régulières ... ) constituent un socle sur lequel reposent toutes les méthodes les plus courantes (Merise, SSADM, SADT ou UML).
Après une introduction au développement de logiciel, l'ouvrage analyse ces modèles de base au travers de :
la modélisation des données,
la modélisation du comportement,
la modélisation des traitements,
et il termine en abordant le problème de la vérification des modèles.
Chaque chapitre est illustré par de nombreux exercices.
Un second ouvrage des mêmes auteurs exposera les méthodes formelles et UML.Note de contenu : Sommaire:
Introduction au développement du logiciel
Développement du logiciel
Modélisation des données
Le modèle des entités - Associations - Propriétés
Le modèle relationnel
Un peu de méthodologie sur les données
Modélisation du comportement
Les automates
Les réseaux de PETRI
Un peu de méthodologie sur le comportement
Modélisation des traitements
Le modèle des Flots de Données
La modélisation des traitements avec Merise
Vérification de modèles et conclusion
Vérification des modèlesGénie logiciel. Conception des systemes d'information : panorama des méthodes et des techniques [texte imprimé] / Pascal André, Auteur ; Alain Vailly, Auteur . - Ellipses, 2001 . - 312p. : ill. ; 26 cm.. - (Technosup) .
ISBN : 978-2-7298-0479-4
Ouvrage de niveau B, Bases (cours avec exercices et problèmes résolus): IUP - IUT - BTS
Bibliogr. p. [301]-304. Index
Langues : Français (fre)
Mots-clés : Génie logiciel
Logiciels -- Développement
Systèmes d'information
MERISE Méthode
Petri RéseauxIndex. décimale : 681.3.06 Logiciels. Software Résumé : Pour aider l'étudiant et le professionnel à s'affranchir d'une approche particulière et pour faciliter leur insertion dans des équipes de développement de logiciels, ou leur recyclage, l'ouvrage présente un panorama des principales méthodes et techniques de conception des systèmes d'information.
Il montre qu'un nombre restreint de modèles de base (entités-associations-propriétés, modèle relationnel, automates, réseaux de PETRI, expressions régulières ... ) constituent un socle sur lequel reposent toutes les méthodes les plus courantes (Merise, SSADM, SADT ou UML).
Après une introduction au développement de logiciel, l'ouvrage analyse ces modèles de base au travers de :
la modélisation des données,
la modélisation du comportement,
la modélisation des traitements,
et il termine en abordant le problème de la vérification des modèles.
Chaque chapitre est illustré par de nombreux exercices.
Un second ouvrage des mêmes auteurs exposera les méthodes formelles et UML.Note de contenu : Sommaire:
Introduction au développement du logiciel
Développement du logiciel
Modélisation des données
Le modèle des entités - Associations - Propriétés
Le modèle relationnel
Un peu de méthodologie sur les données
Modélisation du comportement
Les automates
Les réseaux de PETRI
Un peu de méthodologie sur le comportement
Modélisation des traitements
Le modèle des Flots de Données
La modélisation des traitements avec Merise
Vérification de modèles et conclusion
Vérification des modèlesExemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 047796 681.3.06 AND Papier Bibliothèque Centrale Informatique Disponible 047797 681.3.06 AND Papier Bibliothèque Centrale Informatique Disponible 047795 681.3.06 AND Papier Bibliothèque Centrale Informatique Disponible 047794 681.3.06 AND Papier Bibliothèque Centrale Informatique Disponible 045279 681.3.06 AND Papier Bibliothèque Centrale Informatique Disponible 048513 681.3.06 AND Papier Bibliothèque Centrale Informatique Disponible 048514 681.3.06 AND Papier Bibliothèque Centrale Informatique Disponible 048515 681.3.06 AND Papier Bibliothèque Centrale Informatique Disponible Génie logiciel. Exercices corrigés d'UML / Pascal André
Titre de série : Génie logiciel Titre : Exercices corrigés d'UML : passeport pour une maîtrise de la notation Type de document : texte imprimé Auteurs : Pascal André, Auteur ; Alain Vailly, Auteur Editeur : Paris : Ellipses Année de publication : 2003 Collection : Technosup Importance : 310 p. Présentation : ill. Format : 26 cm ISBN/ISSN/EAN : 978-2-7298-1725-1 Note générale : Avant-titre : "Génie logiciel". - Ecoles d'ingénieurs, maîtrise
Bibliogra. p. [289]-292. IndexLangues : Français (fre) Mots-clés : UML (informatique) -- Problèmes et exercices
UML (informatique) -- Manuels d'enseignement supérieurIndex. décimale : 681.3.06 Logiciels. Software Résumé : Maîtriser UML - ce standard de la technologie orientée objets - c'est en posséder les concepts et savoir les appliquer à bon escient. Or, si la littérature sur UML est abondante, ce qui manque le plus actuellement ce sont des exercices corrigés et des études de cas. Cet ouvrage développe la pratique en mettant l'accent sur la résolution d'exercices variés. Il est structuré en quatre chapitres : le premier passe en revue tous les diagrammes, de façon isolée et en groupe ; le deuxième est une mise en pratique au travers de sept études de cas ; le troisième explore le côté formel d'UML par l'expérimentation du langage OCL ; et le dernier traite de la vérification de spécifications UML. L'ouvrage présente les solutions, mais aussi les démarches suivies, les alternatives et des conseils de modélisation. Par la variété des exercices et des cas concrets, il couvre aussi largement que possible le domaine d'application. Cela en fait un guide pratique d'utilisation d'UML Note de contenu : Sommaire:
1. La notation UML
2. La spécification avec UML
3. Des compléments pour la modélisation avec UML
4. Des compléments sur la vérification avec UMLGénie logiciel. Exercices corrigés d'UML : passeport pour une maîtrise de la notation [texte imprimé] / Pascal André, Auteur ; Alain Vailly, Auteur . - Ellipses, 2003 . - 310 p. : ill. ; 26 cm. - (Technosup) .
ISBN : 978-2-7298-1725-1
Avant-titre : "Génie logiciel". - Ecoles d'ingénieurs, maîtrise
Bibliogra. p. [289]-292. Index
Langues : Français (fre)
Mots-clés : UML (informatique) -- Problèmes et exercices
UML (informatique) -- Manuels d'enseignement supérieurIndex. décimale : 681.3.06 Logiciels. Software Résumé : Maîtriser UML - ce standard de la technologie orientée objets - c'est en posséder les concepts et savoir les appliquer à bon escient. Or, si la littérature sur UML est abondante, ce qui manque le plus actuellement ce sont des exercices corrigés et des études de cas. Cet ouvrage développe la pratique en mettant l'accent sur la résolution d'exercices variés. Il est structuré en quatre chapitres : le premier passe en revue tous les diagrammes, de façon isolée et en groupe ; le deuxième est une mise en pratique au travers de sept études de cas ; le troisième explore le côté formel d'UML par l'expérimentation du langage OCL ; et le dernier traite de la vérification de spécifications UML. L'ouvrage présente les solutions, mais aussi les démarches suivies, les alternatives et des conseils de modélisation. Par la variété des exercices et des cas concrets, il couvre aussi largement que possible le domaine d'application. Cela en fait un guide pratique d'utilisation d'UML Note de contenu : Sommaire:
1. La notation UML
2. La spécification avec UML
3. Des compléments pour la modélisation avec UML
4. Des compléments sur la vérification avec UMLExemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 048563 681.3.06 AND Papier Bibliothèque Centrale Informatique Disponible 048562 681.3.06 AND Papier Bibliothèque Centrale Informatique Disponible 048561 681.3.06 AND Papier Bibliothèque Centrale Informatique Disponible Génie logiciel. Compilation des langages de programmation / Martine Gautier
Titre de série : Génie logiciel Titre : Compilation des langages de programmation : ce que fait un compilateur, comment le réaliser Type de document : texte imprimé Auteurs : Martine Gautier, Auteur Editeur : Paris : Ellipses Année de publication : 2006 Collection : Technosup Importance : 317 p. Présentation : ill. Format : 26 cm ISBN/ISSN/EAN : 978-2-7298-2620-8 Note générale : Licence - Master - Écoles d'ingénieurs.
Notes bibliogr. IndexLangues : Français (fre) Mots-clés : Compilation (informatique)
Langages de programmationIndex. décimale : 681.3.068 Automatisation de la programmation.Traducteurs.Générateurs.Compilateurs.Autocodes.
AssembleursRésumé : En démystifiant la compilation, l'ouvrage amène le lecteur à comprendre le fonctionnement d'un compilateur, par une pédagogie active utilisant des exemples précis et concrets.
Sans être exhaustif, il couvre l'ensemble du processus de compilation des programmes écrits en langages impératifs ou à objets. La première partie étudie la syntaxe et la sémantique des constructions des langages de programmation usuels, pour répondre à la question : que fait un compilateur ? L'accent y est mis sur la définition de modèles de traduction pour des machines virtuelles Java ou des processeurs classiques.
La deuxième partie suit le développement d'un compilateur en Java pour répondre à la question : comment réaliser un compilateur ? Les bases théoriques sont d'abord rapidement posées. Puis, l'accent est mis sur les problèmes inhérents au développement d'une application d'une telle envergure, en intégrant des design patterns. Accessible à tout utilisateur aguerri d'un langage évolué (impératif ou à objets), l'ouvrage lui permettra d'utiliser à bon escient les constructions de son langage favori et d'améliorer ses performances en programmation.Note de contenu : Table des matières:
1-Langage impératifs.
2-Structures et tableaux.
3-Langages à objets.
4-Réaliser un compilateur.
5-Du texte source à l'arbre abstrait et à la table des symboles.
6-Controler l'arbre abstrait.
7-De l'arbre abstait au texte cible.Génie logiciel. Compilation des langages de programmation : ce que fait un compilateur, comment le réaliser [texte imprimé] / Martine Gautier, Auteur . - Ellipses, 2006 . - 317 p. : ill. ; 26 cm. - (Technosup) .
ISBN : 978-2-7298-2620-8
Licence - Master - Écoles d'ingénieurs.
Notes bibliogr. Index
Langues : Français (fre)
Mots-clés : Compilation (informatique)
Langages de programmationIndex. décimale : 681.3.068 Automatisation de la programmation.Traducteurs.Générateurs.Compilateurs.Autocodes.
AssembleursRésumé : En démystifiant la compilation, l'ouvrage amène le lecteur à comprendre le fonctionnement d'un compilateur, par une pédagogie active utilisant des exemples précis et concrets.
Sans être exhaustif, il couvre l'ensemble du processus de compilation des programmes écrits en langages impératifs ou à objets. La première partie étudie la syntaxe et la sémantique des constructions des langages de programmation usuels, pour répondre à la question : que fait un compilateur ? L'accent y est mis sur la définition de modèles de traduction pour des machines virtuelles Java ou des processeurs classiques.
La deuxième partie suit le développement d'un compilateur en Java pour répondre à la question : comment réaliser un compilateur ? Les bases théoriques sont d'abord rapidement posées. Puis, l'accent est mis sur les problèmes inhérents au développement d'une application d'une telle envergure, en intégrant des design patterns. Accessible à tout utilisateur aguerri d'un langage évolué (impératif ou à objets), l'ouvrage lui permettra d'utiliser à bon escient les constructions de son langage favori et d'améliorer ses performances en programmation.Note de contenu : Table des matières:
1-Langage impératifs.
2-Structures et tableaux.
3-Langages à objets.
4-Réaliser un compilateur.
5-Du texte source à l'arbre abstrait et à la table des symboles.
6-Controler l'arbre abstrait.
7-De l'arbre abstait au texte cible.Exemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 049968 681.3.068 GAU Papier Bibliothèque Centrale Informatique Disponible En bon état 049969 681.3.068 GAU Papier Bibliothèque Centrale Informatique Disponible En bon état 049970 681.3.068 GAU Papier Bibliothèque Centrale Informatique Disponible En bon état 049971 681.3.068 GAU Papier Bibliothèque Centrale Informatique Disponible En bon état 049972 681.3.068 GAU Papier Bibliothèque Centrale Informatique Disponible En bon état