A partir de cette page vous pouvez :
| Retourner au premier écran avec les étagères virtuelles... |
Résultat de la recherche
32 résultat(s) recherche sur le mot-clé 'Génie logiciel' 
trié(s) par (Pertinence décroissant(e), Titre croissant(e)) Ajouter le résultat dans votre panier Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes Faire une suggestionGénie logiciel / David Gustafson (2003)
Titre : Génie logiciel Type de document : texte imprime Auteurs : David Gustafson Editeur : Paris : Dunod Année de publication : 2003 Collection : Schaum's Importance : 197p. Présentation : ill. Format : 25 cm ISBN/ISSN/EAN : 978-2-10-007911-7 Note générale : Trad. de : "Schaum's outline of software engineering". - La couv. porte en plus : "Un cours concis et efficace pour toutes les filières, des méthodes pour apprendre vite et bien, plus de 180 exercices et problèmes résolus pour tester vos connaissances, le manuel qui vous permet d'optimiser vos résultats"
Annexes :
IndexLangues : Français Catégories : Programmation des ordinateurs, logiciels, organisation des données Mots-clés : Génie logiciel Logiciels:développement Programmation orientée objets (informatique) Index. décimale : 00512 Résumé :
Le génie logiciel regroupe l'ensemble des méthodes et techniques mises en oeuvre pour la création de logiciels, depuis la phase d'expression des besoins des futurs utilisateurs jusqu'à la phase de mise en service. Cet ouvrage rappelle les notions de base de cette discipline : mise au point des spécifications à remplir, gestion de projets (organisation des équipes, recherche des erreurs...), analyse des risques et garanties de qualité (fiabilité du logiciel). Le développement selon les méthodes orientées objet est passé en revue ainsi que les procédures de tests. [4ème de couv.]
Note de contenu :
Le cycle de vie du logiciel
Le modèle de conception de logiciel
La gestion de projet
Planning
Outils de mesure
Analyse et gestion du risque
Assurance qualité
Conception du logiciel
Test du logiciel
Développement orienté objet
Métriques orientées objet
Tests orientés objet
Notations formellesPermalink : ./index.php?lvl=notice_display&id=11765 Génie logiciel [texte imprime] / David Gustafson . - Paris : Dunod, 2003 . - 197p. : ill. ; 25 cm. - (Schaum's) .
ISBN : 978-2-10-007911-7
Trad. de : "Schaum's outline of software engineering". - La couv. porte en plus : "Un cours concis et efficace pour toutes les filières, des méthodes pour apprendre vite et bien, plus de 180 exercices et problèmes résolus pour tester vos connaissances, le manuel qui vous permet d'optimiser vos résultats"
Annexes :
Index
Langues : Français
Catégories : Programmation des ordinateurs, logiciels, organisation des données Mots-clés : Génie logiciel Logiciels:développement Programmation orientée objets (informatique) Index. décimale : 00512 Résumé :
Le génie logiciel regroupe l'ensemble des méthodes et techniques mises en oeuvre pour la création de logiciels, depuis la phase d'expression des besoins des futurs utilisateurs jusqu'à la phase de mise en service. Cet ouvrage rappelle les notions de base de cette discipline : mise au point des spécifications à remplir, gestion de projets (organisation des équipes, recherche des erreurs...), analyse des risques et garanties de qualité (fiabilité du logiciel). Le développement selon les méthodes orientées objet est passé en revue ainsi que les procédures de tests. [4ème de couv.]
Note de contenu :
Le cycle de vie du logiciel
Le modèle de conception de logiciel
La gestion de projet
Planning
Outils de mesure
Analyse et gestion du risque
Assurance qualité
Conception du logiciel
Test du logiciel
Développement orienté objet
Métriques orientées objet
Tests orientés objet
Notations formellesPermalink : ./index.php?lvl=notice_display&id=11765 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité IA167/1 IA167 Livre Magasin d'Ouvrages / FGE Informatique et automatique Consultation sur place
Exclu du prêtSYD106/6 SYD106 Livre Magasin d'Ouvrages / INF Système d'Information Disponible SYD106/5 SYD106 Livre Magasin d'Ouvrages / INF Système d'Information Disponible SYD106/4 SYD106 Livre Magasin d'Ouvrages / INF Système d'Information Disponible SYD106/3 SYD106 Livre Magasin d'Ouvrages / INF Système d'Information Sorti jusqu'au 03/01/2025 SYD106/2 SYD106 Livre Magasin d'Ouvrages / INF Système d'Information Disponible SYD106/1 SYD106 Livre Magasin d'Ouvrages / INF Système d'Information Consultation sur place
Exclu du prêtSYD106/7 SYD106 Livre Magasin d'Ouvrages / INF Système d'Information Disponible Les abonnés qui ont emprunté ce document ont également emprunté :
Compilateurs Aho, Alfred Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Génie logiciel Type de document : texte imprime Auteurs : Valentin, Yves, Directeur de publication, rédacteur en chef Mention d'édition : 3e éd. Editeur : (Techniques de l'ingénieur) Année de publication : impr. 2019 Collection : Les Sélections Importance : (553 p.) Présentation : ill.en coul. Format : 30 cm ISBN/ISSN/EAN : 978-2-37620-103-8 Note générale : La couverture porte en plus : "technologies de l'information" et "technologies logicielles architectures des systèmes".
Notes bibliogr. et webliogr.
Langues : Français Mots-clés : Génie logiciel Logiciels : développement Index. décimale : 00512 Résumé :
Note de contenu :
Permalink : ./index.php?lvl=notice_display&id=34273 Génie logiciel [texte imprime] / Valentin, Yves, Directeur de publication, rédacteur en chef . - 3e éd. . - Saint-Deni, France : (Techniques de l'ingénieur), impr. 2019 . - (553 p.) : ill.en coul. ; 30 cm. - (Les Sélections) .
ISBN : 978-2-37620-103-8
La couverture porte en plus : "technologies de l'information" et "technologies logicielles architectures des systèmes".
Notes bibliogr. et webliogr.
Langues : Français
Mots-clés : Génie logiciel Logiciels : développement Index. décimale : 00512 Résumé :
Note de contenu :
Permalink : ./index.php?lvl=notice_display&id=34273 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité TI23/1 TI23 Livre Magasin d'Ouvrages / FGE Techniques de l'ingénieur Consultation sur place
Exclu du prêtAucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Génie Logiciel Conception des systèmes d'information : panorama des méthodes et des techniques Type de document : texte imprime Auteurs : Pascal André, Auteur ; Alain Vailly, Auteur Editeur : Paris : Ellipses Année de publication : DL 2001, cop. 2001 Collection : Techno sup Importance : 312 p. Présentation : ill., couv. 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 Catégories : Programmation des ordinateurs, logiciels, organisation des données Mots-clés : Génie logiciel Logiciels:développement Systèmes d'information MERISE, Méthode Petri, Réseaux de Index. décimale : 00512 00574 Résumé : Niveau B (Bases)
La 4e de couverture indique : 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. Chaque chapitre est illustré par de nombreux exercices.
Pour aider l'étudiant et le professionnel à s'affranchir d'une approche particulière et faciliter leur insertion dans des équipes de développement de logiciels, ou leur recyclage, l'ouvrage présente un panorama des phricipales méthodes et techniques de conception des systèmes d'information. Il montre qu'un nombre restreint de modèles de base constitue 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.
UnNiveau B (Bases)
L'ouvrage présente un panorama des principales méthodes et techniques de conception des systèmes d'information. Chaque chapitre est illustré par de nombreux exercices.
Pour aider l'étudiant et le professionnel à s'affranchir d'une approche particulière et faciliter leur insertion dans des équipes de développement de logiciels, ou leur recyclage, l'ouvrage présente un panorama des phricipales méthodes et techniques de conception des systèmes d'information. Il montre qu'un nombre restreint de modèles de base constitue 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 expose les méthodes formelles et UML.
Note de contenu :
I. Introduction au développement du logiciel : Méthodes de développement - Modèles de représentation - Processus de développement - Spécifications - Stratégies de développement - La qualité - Validation - Tendances et perspectives du génie logiciel
Il. Modélisation des données : Le modèle Entités-Associations - Le modèle E-A-P de base - Extensions possibles - Démarches alternatives - Modèle relationnel - Dépendances fonctionnelles - Normalisation - Décomposition des relations - Méthodologie sur les données - Passage d'un modèle à l'autre - Conclusion - Exercices
III. Modélisation du comportement : Les automates : notions de base, propriétés - Premiers pas de la modélisation - La composition d'automates - Les automates communicants - Les automates hiérarchiques - Les réseaux de PETRI - Vérification de propriétés - méthodologie sur le comportement - Conclusion - Exercices
IV. Modélisation des traitements : Le modèle des Flots de Données - La modélisation des traitements avec Merise - L'expression des traitements - Normalisation - L'utilisation de ces modèles - Du MCT au MOT - Conclusion - Exercices
V. Vérification de modèles et conclusion : Principes de vérification - Vérification dans SSADM - Vérification dans Merise - Conclusion - Exercices
ConclusionEn ligne : https://www.amazon.fr/Conception-syst%C3%A8mes-dinformation-Panorama-techniques/ [...] Permalink : ./index.php?lvl=notice_display&id=14765 Génie Logiciel Conception des systèmes d'information : panorama des méthodes et des techniques [texte imprime] / Pascal André, Auteur ; Alain Vailly, Auteur . - Paris : Ellipses, DL 2001, cop. 2001 . - 312 p. : ill., couv. ill. ; 26 cm.. - (Techno sup) .
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
Catégories : Programmation des ordinateurs, logiciels, organisation des données Mots-clés : Génie logiciel Logiciels:développement Systèmes d'information MERISE, Méthode Petri, Réseaux de Index. décimale : 00512 00574 Résumé : Niveau B (Bases)
La 4e de couverture indique : 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. Chaque chapitre est illustré par de nombreux exercices.
Pour aider l'étudiant et le professionnel à s'affranchir d'une approche particulière et faciliter leur insertion dans des équipes de développement de logiciels, ou leur recyclage, l'ouvrage présente un panorama des phricipales méthodes et techniques de conception des systèmes d'information. Il montre qu'un nombre restreint de modèles de base constitue 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.
UnNiveau B (Bases)
L'ouvrage présente un panorama des principales méthodes et techniques de conception des systèmes d'information. Chaque chapitre est illustré par de nombreux exercices.
Pour aider l'étudiant et le professionnel à s'affranchir d'une approche particulière et faciliter leur insertion dans des équipes de développement de logiciels, ou leur recyclage, l'ouvrage présente un panorama des phricipales méthodes et techniques de conception des systèmes d'information. Il montre qu'un nombre restreint de modèles de base constitue 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 expose les méthodes formelles et UML.
Note de contenu :
I. Introduction au développement du logiciel : Méthodes de développement - Modèles de représentation - Processus de développement - Spécifications - Stratégies de développement - La qualité - Validation - Tendances et perspectives du génie logiciel
Il. Modélisation des données : Le modèle Entités-Associations - Le modèle E-A-P de base - Extensions possibles - Démarches alternatives - Modèle relationnel - Dépendances fonctionnelles - Normalisation - Décomposition des relations - Méthodologie sur les données - Passage d'un modèle à l'autre - Conclusion - Exercices
III. Modélisation du comportement : Les automates : notions de base, propriétés - Premiers pas de la modélisation - La composition d'automates - Les automates communicants - Les automates hiérarchiques - Les réseaux de PETRI - Vérification de propriétés - méthodologie sur le comportement - Conclusion - Exercices
IV. Modélisation des traitements : Le modèle des Flots de Données - La modélisation des traitements avec Merise - L'expression des traitements - Normalisation - L'utilisation de ces modèles - Du MCT au MOT - Conclusion - Exercices
V. Vérification de modèles et conclusion : Principes de vérification - Vérification dans SSADM - Vérification dans Merise - Conclusion - Exercices
ConclusionEn ligne : https://www.amazon.fr/Conception-syst%C3%A8mes-dinformation-Panorama-techniques/ [...] Permalink : ./index.php?lvl=notice_display&id=14765 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité SYD84/1 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Consultation sur place
Exclu du prêtSYD84/2 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD84/3 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD84/4 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD84/5 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD84/6 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD84/7 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD84/8 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD84/9 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD84/10 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD84/11 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD84/12 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD84/13 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD84/14 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD84/15 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD84/16 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD84/17 SYD84 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Génie logiciel et génie cognitif pour les systèmes à base de connaissances Vol.1 Type de document : texte imprime Auteurs : Jean-Louis Ermine Editeur : Paris : Technique et documentation Année de publication : 1993 Collection : Informatique Importance : 183p. Présentation : ill. Format : 24cm. ISBN/ISSN/EAN : 978-2-85206-856-8 Note générale :
Bibliogr. p. 176-[184]Langues : Français Mots-clés : Génie logiciel Systèmes experts (informatique) Intelligence artificielle Logiciels:développement Index. décimale : 00633 Résumé :
Note de contenu :
Introduction.
Prolégomènes épistémologiques.
Phase I : analyse du problème.
Phase II : identification.
Phase III : développement incrémental.
Phase III-1 : spécification des connaissances.
Phase III-2 : spécification du système de gestion des connaissances.
Phase III-3 : conception. Phase III-4 : codage.
Phase III-5 : synthèse.
Phase IV : développement final.
Phase IV-1 : conclusion du développement incrémental.
Phase IV-2. Développement.
Bibliographie.Permalink : ./index.php?lvl=notice_display&id=14726 Génie logiciel et génie cognitif pour les systèmes à base de connaissances Vol.1 [texte imprime] / Jean-Louis Ermine . - Paris : Technique et documentation, 1993 . - 183p. : ill. ; 24cm.. - (Informatique) .
ISBN : 978-2-85206-856-8
Bibliogr. p. 176-[184]
Langues : Français
Mots-clés : Génie logiciel Systèmes experts (informatique) Intelligence artificielle Logiciels:développement Index. décimale : 00633 Résumé :
Note de contenu :
Introduction.
Prolégomènes épistémologiques.
Phase I : analyse du problème.
Phase II : identification.
Phase III : développement incrémental.
Phase III-1 : spécification des connaissances.
Phase III-2 : spécification du système de gestion des connaissances.
Phase III-3 : conception. Phase III-4 : codage.
Phase III-5 : synthèse.
Phase IV : développement final.
Phase IV-1 : conclusion du développement incrémental.
Phase IV-2. Développement.
Bibliographie.Permalink : ./index.php?lvl=notice_display&id=14726 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité SYD41/V1/1 SYD41/V1 Livre Magasin d'Ouvrages / INF Système d'Exploitation Consultation sur place
Exclu du prêtSYD41/V1/2 SYD41/V1 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Génie logiciel et génie cognitif pour les systèmes à base de connaissances Vol.2 études de cas Type de document : texte imprime Auteurs : Jean-Louis Ermine, Auteur Editeur : Paris : Technique et documentation Année de publication : 1993 Collection : Informatique Importance : 250p. Présentation : ill. Format : 24cm. ISBN/ISSN/EAN : 978-2-85206-857-5 Note générale :
Bibliogr. p. [216]Langues : Français Catégories : Programmation des ordinateurs, logiciels, organisation des données Mots-clés : Génie logiciel Systèmes experts (informatique) Intelligence artificielle Logiciels:développement Index. décimale : 0051 Résumé : Modélisation et gestion des tâches dans les systèmes experts. Spécification d'un système expert temps réel pour la supervision d'un robot. Spécification de stratégies expertes pour le diagnostic technique basé sur des méthodes fiabilistes. Construction de base de connaissances à base de classifications. Un système à base de connaissances pour l'analyse des risques technologiques. Permalink : ./index.php?lvl=notice_display&id=14727 Génie logiciel et génie cognitif pour les systèmes à base de connaissances Vol.2 études de cas [texte imprime] / Jean-Louis Ermine, Auteur . - Paris : Technique et documentation, 1993 . - 250p. : ill. ; 24cm.. - (Informatique) .
ISBN : 978-2-85206-857-5
Bibliogr. p. [216]
Langues : Français
Catégories : Programmation des ordinateurs, logiciels, organisation des données Mots-clés : Génie logiciel Systèmes experts (informatique) Intelligence artificielle Logiciels:développement Index. décimale : 0051 Résumé : Modélisation et gestion des tâches dans les systèmes experts. Spécification d'un système expert temps réel pour la supervision d'un robot. Spécification de stratégies expertes pour le diagnostic technique basé sur des méthodes fiabilistes. Construction de base de connaissances à base de classifications. Un système à base de connaissances pour l'analyse des risques technologiques. Permalink : ./index.php?lvl=notice_display&id=14727 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité SYD41/V2/1 SYD41/V2 Livre Magasin d'Ouvrages / INF Système d'Exploitation Consultation sur place
Exclu du prêtSYD41/V2/2 SYD41/V2 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
