A partir de cette page vous pouvez :
author
| Retourner au premier écran avec les étagères virtuelles... |
Détail de l'auteur
Auteur Jean-Louis Boulanger |
Documents disponibles écrits par cet auteur
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externesIngénierie des exigences / Stéphane Badreau (2014)
Titre : Ingénierie des exigences : méthodes et bonnes pratiques pour construire et maintenir un référentiel Type de document : texte imprime Auteurs : Stéphane Badreau, Auteur ; Jean-Louis Boulanger, Auteur ; Pascal Roques, Préfacier, etc. Editeur : Paris : Dunod Année de publication : 2014 Collection : InfoPro Importance : (XI-288 p.) Présentation : ll., couv. ill. en coul. Format : 25 cm ISBN/ISSN/EAN : 978-2-10-070640-2 Note générale : Bibliogr. p. [276]-282. Notes bibliogr. Glossaire. Index Langues : Français Mots-clés : Ingénierie des exigences Entreprises:systèmes d'information Systèmes, Conception de Index. décimale : 6200011 Résumé :
Ce livre s'adresse à toutes les personnes concernées par l'ingénierie des exigences qu'elles soient managers, responsables d'équipes, chefs de projet, analystes, architectes, développeurs ou testeurs.
L'ingénierie des exigences est une discipline qui consiste à développer un référentiel d'exigences, mais aussi à le maintenir à jour en présence d'évolutions. Le référentiel constitue un support au pilotage de projet et à la maîtrise du changement des exigences au cours du temps.
L'objectif de ce livre est de fournir les connaissances de base liées à l'ingénierie des exigences pour le développement de systèmes complexes à forte composante logicielle, et ce pour tous les domaines.
' La première partie présente les enjeux et les fondamentaux.
' La deuxième partie aborde les activités de développement et de gestion d'un référentiel d'exigences après avoir présenté ce que sont le périmètre et le contexte d'un système.
' La troisième partie est consacrée à l'outillage et aux relations entre l'ingénierie des exigences et les autres activités du projet de réalisation et de maintenance d'un système.
' La dernière partie présente les normes et les référentiels de bonnes pratiques dans différents domaines qui ont trait à l'ingénierie des exigences.
Note de contenu :
Première partie : Enjeux et fondamentaux de l'ingénierie des exigences
1. Introduction
2. Enjeux de l'ingénierie des exigences
3. Fondamentaux de l'ingénierie des exigences
Deuxième partie : Processus d'ingénierie des exigences
4. Périmètre ete contexte du système
5. Développement des exigences
6. Gestion des exigences
7. Les exigences basées sur les modèles
Troisième partie : Outils d'ingénierie des exigences et gestion de projet
8. Outils d'ingénierie des exigences
9. Ingénierie des exigences et autres activités du projet
Quatrième partie : Normes et certification en ingénierie des exigences
10. Normes et référentiels de bonnes pratiques
11. Certification en ingénierie des exigencesPermalink : ./index.php?lvl=notice_display&id=14887 Ingénierie des exigences : méthodes et bonnes pratiques pour construire et maintenir un référentiel [texte imprime] / Stéphane Badreau, Auteur ; Jean-Louis Boulanger, Auteur ; Pascal Roques, Préfacier, etc. . - Paris : Dunod, 2014 . - (XI-288 p.) : ll., couv. ill. en coul. ; 25 cm. - (InfoPro) .
ISBN : 978-2-10-070640-2
Bibliogr. p. [276]-282. Notes bibliogr. Glossaire. Index
Langues : Français
Mots-clés : Ingénierie des exigences Entreprises:systèmes d'information Systèmes, Conception de Index. décimale : 6200011 Résumé :
Ce livre s'adresse à toutes les personnes concernées par l'ingénierie des exigences qu'elles soient managers, responsables d'équipes, chefs de projet, analystes, architectes, développeurs ou testeurs.
L'ingénierie des exigences est une discipline qui consiste à développer un référentiel d'exigences, mais aussi à le maintenir à jour en présence d'évolutions. Le référentiel constitue un support au pilotage de projet et à la maîtrise du changement des exigences au cours du temps.
L'objectif de ce livre est de fournir les connaissances de base liées à l'ingénierie des exigences pour le développement de systèmes complexes à forte composante logicielle, et ce pour tous les domaines.
' La première partie présente les enjeux et les fondamentaux.
' La deuxième partie aborde les activités de développement et de gestion d'un référentiel d'exigences après avoir présenté ce que sont le périmètre et le contexte d'un système.
' La troisième partie est consacrée à l'outillage et aux relations entre l'ingénierie des exigences et les autres activités du projet de réalisation et de maintenance d'un système.
' La dernière partie présente les normes et les référentiels de bonnes pratiques dans différents domaines qui ont trait à l'ingénierie des exigences.
Note de contenu :
Première partie : Enjeux et fondamentaux de l'ingénierie des exigences
1. Introduction
2. Enjeux de l'ingénierie des exigences
3. Fondamentaux de l'ingénierie des exigences
Deuxième partie : Processus d'ingénierie des exigences
4. Périmètre ete contexte du système
5. Développement des exigences
6. Gestion des exigences
7. Les exigences basées sur les modèles
Troisième partie : Outils d'ingénierie des exigences et gestion de projet
8. Outils d'ingénierie des exigences
9. Ingénierie des exigences et autres activités du projet
Quatrième partie : Normes et certification en ingénierie des exigences
10. Normes et référentiels de bonnes pratiques
11. Certification en ingénierie des exigencesPermalink : ./index.php?lvl=notice_display&id=14887 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité SYD203/1 SYD203 Livre Magasin d'Ouvrages / INF Système d'Exploitation Consultation sur place
Exclu du prêtSYD203/2 SYD203 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD203/3 SYD203 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD203/4 SYD203 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible SYD203/5 SYD203 Livre Magasin d'Ouvrages / INF Système d'Exploitation Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Mise en oeuvre de la méthode B Type de document : texte imprime Auteurs : Jean-Louis Boulanger, Directeur de publication, rédacteur en chef Editeur : Paris : Hermès-Lavoisier Année de publication : DL 2013, cop. 2013 Autre Editeur : Lavoisier Collection : (Recherche, technologie, applications. Informatique et systèmes d'information(Recherche, technologie, applications. Informatique et systèmes d'information) Importance : 395p. Présentation : fig Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-3810-7 Note générale : Références bibliogr.en fin de chapitres. Index. Glossaire Langues : Français Mots-clés : B (méthode formelle) Méthodes formelles (informatique):applications industrielles Génie logiciel Résumé :
La mise en place d'un logiciel sans défaut reste primordiale pour plusieurs domaines qui requièrent des applications dites de sécurité comme les transports. La réalisation d'un modèle formel est l'approche la plus efficace pour atteindre l'objectif du zéro défaut, que ce soit en termes de temps ou de maîtrise de la complexité. Ce modèle permet d'analyser et de vérifier le comportement d'un logiciel. Cet ouvrage présente la méthode B, une méthode formelle s'appuyant sur la preuve de propriétés qui, sur la base d'une spécification et de la notion de raffinement, permet d'aller jusqu'à la production automatique de code. Différents outils découlant de cette méthode ainsi que des exemples concrets d'utilisations industrielles de différentes tailles sont aussi exposés dans des domaines tels que l'avionique ou les systèmes manufacturiers.
Note de contenu :
Chapitre 1. Présentation de la méthode B / Jean-Louis BOULANGER
Chapitre 2. L’Atelier B / Thierry LECOMTE
Chapitre 3. Outils B / Jean-Louis BOULANGER
Chapitre 4. La méthode B à Siemens / Daniel DOLLE
Chapitre 5. Applications industrielles de la modélisation avec la méthode B / Thierry LECOMTE
Chapitre 6. Vérification formelle de données pour les systèmes paramétrables / Mathieu CLABAUT
Chapitre 7. BCARe : contrôle automatique des règles ajoutées à Siemens SAS IC MOL / Karim BERKANI, Mélanie JACQUEL, Eric LE LAY
Chapitre 8. B-RAIL : d’UML à B pour la modélisation d’un passage à niveau / Jean-Louis BOULANGER
Chapitre 9. Event B / Dominique MERY, Neeraj Kumar SINGH
Chapitre 10. B étendu aux flottants : est-ce suffisant pour prouver un logiciel avionique ? / Jean-Louis DUFOUR
Chapitre 11. Usage pragmatique du B : la puissance du formel sans ses lourdeurs / Christophe METAYER, François BUSTANY et Mathieu CLABAUT
Chapitre 12. BRILLANT/BCaml : une plateforme d’outils libres pour la méthode B / Samuel COLIN, Dorian PETIT
Chapitre 13. Faisabilité de l’utilisation des méthodes formelles pour les systèmes manufacturiers / Pascal LAMY, Philippe CHARPENTIER, Jean-François PETIN, Dominique EVROTPermalink : ./index.php?lvl=notice_display&id=12084 Mise en oeuvre de la méthode B [texte imprime] / Jean-Louis Boulanger, Directeur de publication, rédacteur en chef . - Paris : Hermès-Lavoisier : [S.l.] : Lavoisier, DL 2013, cop. 2013 . - 395p. : fig ; 24 cm. - ((Recherche, technologie, applications. Informatique et systèmes d'information(Recherche, technologie, applications. Informatique et systèmes d'information)) .
ISBN : 978-2-7462-3810-7
Références bibliogr.en fin de chapitres. Index. Glossaire
Langues : Français
Mots-clés : B (méthode formelle) Méthodes formelles (informatique):applications industrielles Génie logiciel Résumé :
La mise en place d'un logiciel sans défaut reste primordiale pour plusieurs domaines qui requièrent des applications dites de sécurité comme les transports. La réalisation d'un modèle formel est l'approche la plus efficace pour atteindre l'objectif du zéro défaut, que ce soit en termes de temps ou de maîtrise de la complexité. Ce modèle permet d'analyser et de vérifier le comportement d'un logiciel. Cet ouvrage présente la méthode B, une méthode formelle s'appuyant sur la preuve de propriétés qui, sur la base d'une spécification et de la notion de raffinement, permet d'aller jusqu'à la production automatique de code. Différents outils découlant de cette méthode ainsi que des exemples concrets d'utilisations industrielles de différentes tailles sont aussi exposés dans des domaines tels que l'avionique ou les systèmes manufacturiers.
Note de contenu :
Chapitre 1. Présentation de la méthode B / Jean-Louis BOULANGER
Chapitre 2. L’Atelier B / Thierry LECOMTE
Chapitre 3. Outils B / Jean-Louis BOULANGER
Chapitre 4. La méthode B à Siemens / Daniel DOLLE
Chapitre 5. Applications industrielles de la modélisation avec la méthode B / Thierry LECOMTE
Chapitre 6. Vérification formelle de données pour les systèmes paramétrables / Mathieu CLABAUT
Chapitre 7. BCARe : contrôle automatique des règles ajoutées à Siemens SAS IC MOL / Karim BERKANI, Mélanie JACQUEL, Eric LE LAY
Chapitre 8. B-RAIL : d’UML à B pour la modélisation d’un passage à niveau / Jean-Louis BOULANGER
Chapitre 9. Event B / Dominique MERY, Neeraj Kumar SINGH
Chapitre 10. B étendu aux flottants : est-ce suffisant pour prouver un logiciel avionique ? / Jean-Louis DUFOUR
Chapitre 11. Usage pragmatique du B : la puissance du formel sans ses lourdeurs / Christophe METAYER, François BUSTANY et Mathieu CLABAUT
Chapitre 12. BRILLANT/BCaml : une plateforme d’outils libres pour la méthode B / Samuel COLIN, Dorian PETIT
Chapitre 13. Faisabilité de l’utilisation des méthodes formelles pour les systèmes manufacturiers / Pascal LAMY, Philippe CHARPENTIER, Jean-François PETIN, Dominique EVROTPermalink : ./index.php?lvl=notice_display&id=12084 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité IA591/1 IA591 Livre Magasin d'Ouvrages / FGE Informatique et automatique Consultation sur place
Exclu du prêtIA591/2 IA591 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible IA591/3 IA591 Livre Magasin d'Ouvrages / FGE Informatique et automatique Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Sécurisation des architectures informatiques : exemples concrets Type de document : texte imprime Auteurs : Jean-Louis Boulanger, Directeur de publication, rédacteur en chef Editeur : Paris : Hermès-Lavoisier Année de publication : impr. 2009 Collection : Traité Informatique et systèmes d’information (IC2) Importance : (400-XIII p.) Présentation : fig. Format : 24 cm ISBN/ISSN/EAN : 978-2-7462-1991-5 Note générale :
Bibliogr. en fin de chapitres. Index. GlossaireLangues : Français Mots-clés : Architectures ferroviaires Monoprocesseur Résumé :
Actuellement la littérature met à disposition des étudiants de master2 des livres très généraux sur les aspects "Sûreté de Fonctionnement" et des éléments très disparates sur les architectures effectives. Le but de ce livre est de présenter dans un seul livre, une description des contraintes (événement redouté, contexte réglementaire) et des exemples d'architecture pour les différents domaines : Ferroviaire, Aéronautique, Spatiale, Automobile et Automate. Ce livre est basé sur l'expérience de personnes qui sont pleinement impliquées dans la réalisation (conception, vérification et validation), la mise en sécurité (analyse de sécurité : AMDEC, APR,) et l'évaluation de système critique. L'implication des industriels permet de présenter des exemples concrets et réels (A380, ARIANE, METEOR) de fournir des informations utiles inédites (photos, schéma d'architecture, exemple réel). Le contexte réglementaire est important, c'est pourquoi, il est identifié et les contraintes imposées sont présentées.Note de contenu :
Introduction.
Chapitre 1. Principes -J.-L. BOULANGER.
Chapitre 2. Sécurisation des architectures ferroviaires -J.-L. BOULANGER.
Chapitre 3. Du monoprocesseur codé au 2OO3 -G. LEGOFF.
Chapitre 4. Conception d'un module d'enclenchement informatique, élément de base de postes d'aiguillage informatique conçus par la SNCF -M. ANTONI<.
Chapitre 5. Contrôle commande de sécurité de signalisation ferroviaire : la sécurité à moindre coût -D. DRAGO.
Chapitre 6. Architectures avioniques sûres de fonctionnement : exemple des commandes de vol électriques -P. TRAVERSE, C. BEZARD, J.-M. CAMUS, I. LACAZE, H. LEBERRE, P. RINGEARD, J. SOUYRIS.
Chapitre 7. Architecture d'Ariane 5-P. MIRAMONT.
Chapitre 8. Méthodes et calculs relatifs aux "systèmes instrumentés de sécurité" chez TOTAL-Y. CHAABI, J.-P. SIGNORET.
Chapitre 9. Sécurisation des architectures automobiles -D. LIAIGRE. Chapitre 10. SIS dans l'industrie -G. BUCHHEIT, O. MALASSE.
Glossaire.
Index.Permalink : ./index.php?lvl=notice_display&id=13392 Sécurisation des architectures informatiques : exemples concrets [texte imprime] / Jean-Louis Boulanger, Directeur de publication, rédacteur en chef . - Paris : Hermès-Lavoisier, impr. 2009 . - (400-XIII p.) : fig. ; 24 cm. - (Traité Informatique et systèmes d’information (IC2)) .
ISBN : 978-2-7462-1991-5
Bibliogr. en fin de chapitres. Index. Glossaire
Langues : Français
Mots-clés : Architectures ferroviaires Monoprocesseur Résumé :
Actuellement la littérature met à disposition des étudiants de master2 des livres très généraux sur les aspects "Sûreté de Fonctionnement" et des éléments très disparates sur les architectures effectives. Le but de ce livre est de présenter dans un seul livre, une description des contraintes (événement redouté, contexte réglementaire) et des exemples d'architecture pour les différents domaines : Ferroviaire, Aéronautique, Spatiale, Automobile et Automate. Ce livre est basé sur l'expérience de personnes qui sont pleinement impliquées dans la réalisation (conception, vérification et validation), la mise en sécurité (analyse de sécurité : AMDEC, APR,) et l'évaluation de système critique. L'implication des industriels permet de présenter des exemples concrets et réels (A380, ARIANE, METEOR) de fournir des informations utiles inédites (photos, schéma d'architecture, exemple réel). Le contexte réglementaire est important, c'est pourquoi, il est identifié et les contraintes imposées sont présentées.Note de contenu :
Introduction.
Chapitre 1. Principes -J.-L. BOULANGER.
Chapitre 2. Sécurisation des architectures ferroviaires -J.-L. BOULANGER.
Chapitre 3. Du monoprocesseur codé au 2OO3 -G. LEGOFF.
Chapitre 4. Conception d'un module d'enclenchement informatique, élément de base de postes d'aiguillage informatique conçus par la SNCF -M. ANTONI<.
Chapitre 5. Contrôle commande de sécurité de signalisation ferroviaire : la sécurité à moindre coût -D. DRAGO.
Chapitre 6. Architectures avioniques sûres de fonctionnement : exemple des commandes de vol électriques -P. TRAVERSE, C. BEZARD, J.-M. CAMUS, I. LACAZE, H. LEBERRE, P. RINGEARD, J. SOUYRIS.
Chapitre 7. Architecture d'Ariane 5-P. MIRAMONT.
Chapitre 8. Méthodes et calculs relatifs aux "systèmes instrumentés de sécurité" chez TOTAL-Y. CHAABI, J.-P. SIGNORET.
Chapitre 9. Sécurisation des architectures automobiles -D. LIAIGRE. Chapitre 10. SIS dans l'industrie -G. BUCHHEIT, O. MALASSE.
Glossaire.
Index.Permalink : ./index.php?lvl=notice_display&id=13392 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité AFO22/1 AFO22 Livre Magasin d'Ouvrages / INF Architecture et Fonctionnement des Ordinateurs Consultation sur place
Exclu du prêtAFO22/4 AFO22 Livre Magasin d'Ouvrages / INF Architecture et Fonctionnement des Ordinateurs Disponible AFO22/3 AFO22 Livre Magasin d'Ouvrages / INF Architecture et Fonctionnement des Ordinateurs Disponible AFO22/2 AFO22 Livre Magasin d'Ouvrages / INF Architecture et Fonctionnement des Ordinateurs Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
