Nos Abonnements
Ressources Électroniques
Série Génie logiciel
|
|
Documents disponibles dans cette série (5)
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche
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 . - Paris : 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.Réservation
Réserver ce document
Exemplaires(5)
Code-barres Etat_Exemplaire Cote Support Localisation Section Disponibilité 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
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 : 312 p. 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 : Au sommaire:
1. Introduction au développement du logiciel
2. Développement du logiciel
3. Modélisation des données
4. Le modèle des entités - Associations - Propriétés
5. Le modèle relationnel
6. Un peu de méthodologie sur les données
7. Modélisation du comportement
8. Les automates
9. Les réseaux de PETRI
10. Un peu de méthodologie sur le comportement
...Génie logiciel. Conception des systemes d'information : panorama des méthodes et des techniques [texte imprimé] / Pascal André, Auteur ; Alain Vailly, Auteur . - Paris : Ellipses, 2001 . - 312 p. : 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 : Au sommaire:
1. Introduction au développement du logiciel
2. Développement du logiciel
3. Modélisation des données
4. Le modèle des entités - Associations - Propriétés
5. Le modèle relationnel
6. Un peu de méthodologie sur les données
7. Modélisation du comportement
8. Les automates
9. Les réseaux de PETRI
10. Un peu de méthodologie sur le comportement
...Réservation
Réserver ce document
Exemplaires(8)
Code-barres Etat_Exemplaire Cote Support Localisation Section Disponibilité 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 En bon état 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 Exclu du prêt
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 . - Paris : 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 UMLRéservation
Réserver ce document
Exemplaires(3)
Code-barres Etat_Exemplaire Cote Support Localisation Section Disponibilité 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
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 . - Paris : 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 UMLRéservation
Réserver ce document
Exemplaires(6)
Code-barres Etat_Exemplaire Cote Support Localisation Section Disponibilité 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
Titre de série : Génie logiciel Titre : Systèmes d'information : Boite à outils d'analyse Type de document : texte imprimé Auteurs : Rachid Chalal, Auteur Editeur : Alger : Pages bleues internationales Année de publication : 2021 Collection : LMD ingénierie Importance : 324 p. Présentation : ill. Format : 24 cm. ISBN/ISSN/EAN : 978-9947-34-229-9 Note générale : La couv. porte en plus : "Rappels et principes, Etudes de cas corrigées"; "Licence/Master informatique, Ingénieurs informatique"
Bibliogr. [3] p.Langues : Français (fre) Mots-clés : Systèmes d'information -- Gestion
OrganisationIndex. décimale : 005.5 Opérations de gestion. Direction Note de contenu : Au sommaire :
1. L'analyse du système d'information.
2. L'outil QQOQCCP.
3. L'outil d'étude d'une structure organisationnelle.
4. L'outil de décomposition en sous-systèmes.
5. L'outil d'analyse des objectifs.
6. L'outil d'analyse stratégique.
7. L'outil d'analyse de flux d'informations.
8. Le modèle O. I. D.
9. L'outil d'analyse des circuits d'informations.
10. L'outil d'analyse d'un poste de travail.
11. L'outil d'analyse d'un document.
12. L'outil d'analyse d'une grille d'information.
13. L'outil d'analyse d'un fichier manuel.
14. L'outil d'analyse d'une application existante.
15. L'outil d'analyse du degré d'information d'une organisation.
16. L'outil d'aide au diagnostic.Génie logiciel. Systèmes d'information : Boite à outils d'analyse [texte imprimé] / Rachid Chalal, Auteur . - Alger : Pages bleues internationales, 2021 . - 324 p. : ill. ; 24 cm.. - (LMD ingénierie) .
ISBN : 978-9947-34-229-9
La couv. porte en plus : "Rappels et principes, Etudes de cas corrigées"; "Licence/Master informatique, Ingénieurs informatique"
Bibliogr. [3] p.
Langues : Français (fre)
Mots-clés : Systèmes d'information -- Gestion
OrganisationIndex. décimale : 005.5 Opérations de gestion. Direction Note de contenu : Au sommaire :
1. L'analyse du système d'information.
2. L'outil QQOQCCP.
3. L'outil d'étude d'une structure organisationnelle.
4. L'outil de décomposition en sous-systèmes.
5. L'outil d'analyse des objectifs.
6. L'outil d'analyse stratégique.
7. L'outil d'analyse de flux d'informations.
8. Le modèle O. I. D.
9. L'outil d'analyse des circuits d'informations.
10. L'outil d'analyse d'un poste de travail.
11. L'outil d'analyse d'un document.
12. L'outil d'analyse d'une grille d'information.
13. L'outil d'analyse d'un fichier manuel.
14. L'outil d'analyse d'une application existante.
15. L'outil d'analyse du degré d'information d'une organisation.
16. L'outil d'aide au diagnostic.Réservation
Réserver ce document
Exemplaires(8)
Code-barres Etat_Exemplaire Cote Support Localisation Section Disponibilité 059487 005.5 CHA Papier Bibliothèque Centrale Management - Gestion Disponible En bon état 059481 005.5 CHA Papier Bibliothèque Centrale Management - Gestion Disponible Consultation sur place 059488 005.5 CHA Papier Bibliothèque Centrale Management - Gestion Disponible En bon état 059482 005.5 CHA Papier Bibliothèque Centrale Management - Gestion Disponible En bon état 059483 005.5 CHA Papier Bibliothèque Centrale Management - Gestion Disponible En bon état 059484 005.5 CHA Papier Bibliothèque Centrale Management - Gestion Disponible En bon état 059485 005.5 CHA Papier Bibliothèque Centrale Management - Gestion Disponible En bon état 059486 005.5 CHA Papier Bibliothèque Centrale Management - Gestion Disponible En bon état
