Author: Jacques EXBRAYAT
Publisher:
ISBN:
Category :
Languages : fr
Pages : 197
Book Description
L'atelier de génie logiciel M2
Author: Jacques EXBRAYAT
Publisher:
ISBN:
Category :
Languages : fr
Pages : 197
Book Description
Publisher:
ISBN:
Category :
Languages : fr
Pages : 197
Book Description
L' atelier de génie logiciel
Author: France. Groupe permanent d'étude des marchés en informatique et communication
Publisher:
ISBN:
Category :
Languages : fr
Pages : 242
Book Description
Publisher:
ISBN:
Category :
Languages : fr
Pages : 242
Book Description
Ateliers de génie logiciel
Author: Jean Brès
Publisher: Elsevier Masson
ISBN: 9782225846069
Category :
Languages : fr
Pages : 253
Book Description
Un atelier de génie logiciel (AGL) est un ensemble d'outils intégrés de développement de logiciel. Son objectif consiste à répondre à l'exigence toujours croissante de qualité et de productivité des développements informatiques en utilisant l'ordinateur lui-même pour aider à la fabrication de logiciel d'application. L'ouvrage présente un panorama des domaines et des fonctionnalités couverts aujourd'hui par les AGL en matière d'informatique de gestion. Après avoir rappelé les problèmes posés aux services informatiques et décrit brièvement les buts du génie logiciel (l'application de méthodes scientifiques permettant la fabrication de logiciels de qualité), l'auteur considère les outils qui permettent d'automatiser la production de logiciel. L'utilisation des AGL est envisagée pour chaque phase du cycle de vie du produit logiciel. L'apport et les critères de choix des AGL sont ensuite examinés. En outre, sont fournis en annexe des compléments concernant les méthodes de conception et de programmation, les standards en matière de dictionnaires, les liens entre les bases de données et les AGL, la normalisation relationnelle. A défaut d'une description exhaustive du marché, par nature très mouvant, cet ouvrage permettra aux directeurs informatiques, aux responsables des services d'études et de méthodes, de génie logiciel et de la qualité, aux consultants de sociétés de services (SSII), aux chefs de projet et aux informaticiens de gestion d'acquérir les connaissances nécessaires pour analyser la situation actuelle et comprendre ce qu'ils peuvent raisonnablement attendre de ces outils.
Publisher: Elsevier Masson
ISBN: 9782225846069
Category :
Languages : fr
Pages : 253
Book Description
Un atelier de génie logiciel (AGL) est un ensemble d'outils intégrés de développement de logiciel. Son objectif consiste à répondre à l'exigence toujours croissante de qualité et de productivité des développements informatiques en utilisant l'ordinateur lui-même pour aider à la fabrication de logiciel d'application. L'ouvrage présente un panorama des domaines et des fonctionnalités couverts aujourd'hui par les AGL en matière d'informatique de gestion. Après avoir rappelé les problèmes posés aux services informatiques et décrit brièvement les buts du génie logiciel (l'application de méthodes scientifiques permettant la fabrication de logiciels de qualité), l'auteur considère les outils qui permettent d'automatiser la production de logiciel. L'utilisation des AGL est envisagée pour chaque phase du cycle de vie du produit logiciel. L'apport et les critères de choix des AGL sont ensuite examinés. En outre, sont fournis en annexe des compléments concernant les méthodes de conception et de programmation, les standards en matière de dictionnaires, les liens entre les bases de données et les AGL, la normalisation relationnelle. A défaut d'une description exhaustive du marché, par nature très mouvant, cet ouvrage permettra aux directeurs informatiques, aux responsables des services d'études et de méthodes, de génie logiciel et de la qualité, aux consultants de sociétés de services (SSII), aux chefs de projet et aux informaticiens de gestion d'acquérir les connaissances nécessaires pour analyser la situation actuelle et comprendre ce qu'ils peuvent raisonnablement attendre de ces outils.
Les ateliers de génie logiciel sur grands systèmes
Author: Michel Benier
Publisher:
ISBN: 9782869051577
Category :
Languages : fr
Pages :
Book Description
Publisher:
ISBN: 9782869051577
Category :
Languages : fr
Pages :
Book Description
Les ateliers de génie logiciel
Author: Jamila Bendjilali
Publisher:
ISBN: 9782869050549
Category :
Languages : fr
Pages : 385
Book Description
Publisher:
ISBN: 9782869050549
Category :
Languages : fr
Pages : 385
Book Description
Atelier de Genie Logiciel
Author: Pierre N. Robillard
Publisher: [Montréal] : École polytechnique de Montréal
ISBN: 9782553004575
Category :
Languages : fr
Pages :
Book Description
Publisher: [Montréal] : École polytechnique de Montréal
ISBN: 9782553004575
Category :
Languages : fr
Pages :
Book Description
INTEGRATION DE TECHNIQUES D'INTELLIGENCE ARTIFICIELLE DANS LES ATELIERS DE GENIE LOGICIEL. APPLICATION A L'ATELIER SOFTPEN
Author: YANN.. HAMON
Publisher:
ISBN:
Category :
Languages : fr
Pages : 214
Book Description
MALGRE LA PROFUSION D'OUTILS DE GENIE LOGICIEL (GL), MALGRE LES ENJEUX CONSIDERABLES D'UNE AUGMENTATION DE LA PRODUCTIVITE DES DEVELOPPEURS ET DE LA QUALITE DES PROGRAMMES, FORCE EST DE CONSTATER QUE LES ATELIERS DE GENIE LOGICIEL (AGL) N'ONT PAS CONVAINCU LES INDUSTRIELS DE LEUR EFFICACITE. LA RAISON FONDAMENTALE DE CET ECHEC RESIDE DANS LA NATURE MEME DE L'ACTIVITE DE DEVELOPPEMENT: ELLE SE CARACTERISE PAR UNE LARGE PART DE CREATIVITE, FAIT INTERVENIR DES CONNAISSANCES VARIEES, COMPLEXES ET FORTEMENT INTERDEPENDANTES, ET L'EXPERIENCE Y JOUE UN ROLE PREPONDERANT. DE CE FAIT, UNE APPROCHE CLASSIQUE POUR LA REALISATION D'OUTILS DE GL N'EST PAS ADAPTEE ET CONDUIT A UNE ASSISTANCE SUPERFICIELLE AU LIEU D'APPORTER UNE AIDE VERITABLE A L'ACTIVITE DE CONCEPTION ET DE REALISATION. INVERSEMENT, L'INTELLIGENCE ARTIFICIELLE (IA) PROPOSE UN ENSEMBLE DE TECHNIQUES MATURES, ET EN PARTICULIER CELLE DES SYSTEMES A BASE DE CONNAISSANCES, POUR CONSTRUIRE DES PROGRAMMES IMITANT LES HUMAINS LORSQU'ILS METTENT EN UVRE DE NOMBREUSES CONNAISSANCES, ET CE, SANS BIEN SAVOIR COMMENT. CETTE THESE PRESENTE SAIGL, UN AGL INTEGRE ET OUVERT, DONT L'ORIGINALITE RESIDE DANS LA COHABITATION, DANS UN MEME ENVIRONNEMENT, D'OUTILS CLASSIQUES DE GL AVEC DES OUTILS DE TYPE SYSTEMES EXPERTS. CES DERNIERS PEUVENT INTERVENIR POUR TRANSFORMER AUTOMATIQUEMENT LES MODELES DETENUS PAR L'ATELIER, POUR AIDER OU CONTROLER LES INTERACTIONS UTILISATEUR OU ENCORE POUR PILOTER LE PROCESSUS DE DEVELOPPEMENT. SAIGL EST CONSTRUIT PAR COUPLAGE LACHE D'UN MOTEUR D'INFERENCES D'ORDRE 1 A L'AGL SOFTPEN DE SECONDE GENERATION. L'ARCHITECTURE LOGICIELLE DU SYSTEME REPOSE SUR UNE PLATE-FORME D'INTEGRATION DESTINEE AUX STATIONS DE TRAVAIL SOUS UNIX ET X-WINDOWS: INSPIREE DES ARCHITECTURES CLIENT/SERVEUR, CETTE PLATE-FORME REGROUPE UN ENSEMBLE DE MECANISMES QUI AUTORISENT LA COOPERATION ENTRE LES DEUX SOUS-SYSTEMES EN RESPECTANT LES AXES D'INTEGRATION PRECONISES POUR LES AGL DE TROISIEME GENERATION. CONSTRUIT DANS UN BUT EXPLORATOIRE, L'ATELIER SAIGL PERMET UNE EVOLUTION PROGRESSIVE DE L'ATELIER SOFTPEN PAR INTEGRATION DE FONCTIONNALITES IA DANS UN ENVIRONNEMENT DE DEVELOPPEMENT CLASSIQUE. CETTE APPROCHE PLATE-FORME D'INTEGRATION APPARAIT DONC COMME UNE TECHNIQUE NOVATRICE POUR LA MAINTENANCE EVOLUTIVE DES AGL DE SECONDE GENERATION
Publisher:
ISBN:
Category :
Languages : fr
Pages : 214
Book Description
MALGRE LA PROFUSION D'OUTILS DE GENIE LOGICIEL (GL), MALGRE LES ENJEUX CONSIDERABLES D'UNE AUGMENTATION DE LA PRODUCTIVITE DES DEVELOPPEURS ET DE LA QUALITE DES PROGRAMMES, FORCE EST DE CONSTATER QUE LES ATELIERS DE GENIE LOGICIEL (AGL) N'ONT PAS CONVAINCU LES INDUSTRIELS DE LEUR EFFICACITE. LA RAISON FONDAMENTALE DE CET ECHEC RESIDE DANS LA NATURE MEME DE L'ACTIVITE DE DEVELOPPEMENT: ELLE SE CARACTERISE PAR UNE LARGE PART DE CREATIVITE, FAIT INTERVENIR DES CONNAISSANCES VARIEES, COMPLEXES ET FORTEMENT INTERDEPENDANTES, ET L'EXPERIENCE Y JOUE UN ROLE PREPONDERANT. DE CE FAIT, UNE APPROCHE CLASSIQUE POUR LA REALISATION D'OUTILS DE GL N'EST PAS ADAPTEE ET CONDUIT A UNE ASSISTANCE SUPERFICIELLE AU LIEU D'APPORTER UNE AIDE VERITABLE A L'ACTIVITE DE CONCEPTION ET DE REALISATION. INVERSEMENT, L'INTELLIGENCE ARTIFICIELLE (IA) PROPOSE UN ENSEMBLE DE TECHNIQUES MATURES, ET EN PARTICULIER CELLE DES SYSTEMES A BASE DE CONNAISSANCES, POUR CONSTRUIRE DES PROGRAMMES IMITANT LES HUMAINS LORSQU'ILS METTENT EN UVRE DE NOMBREUSES CONNAISSANCES, ET CE, SANS BIEN SAVOIR COMMENT. CETTE THESE PRESENTE SAIGL, UN AGL INTEGRE ET OUVERT, DONT L'ORIGINALITE RESIDE DANS LA COHABITATION, DANS UN MEME ENVIRONNEMENT, D'OUTILS CLASSIQUES DE GL AVEC DES OUTILS DE TYPE SYSTEMES EXPERTS. CES DERNIERS PEUVENT INTERVENIR POUR TRANSFORMER AUTOMATIQUEMENT LES MODELES DETENUS PAR L'ATELIER, POUR AIDER OU CONTROLER LES INTERACTIONS UTILISATEUR OU ENCORE POUR PILOTER LE PROCESSUS DE DEVELOPPEMENT. SAIGL EST CONSTRUIT PAR COUPLAGE LACHE D'UN MOTEUR D'INFERENCES D'ORDRE 1 A L'AGL SOFTPEN DE SECONDE GENERATION. L'ARCHITECTURE LOGICIELLE DU SYSTEME REPOSE SUR UNE PLATE-FORME D'INTEGRATION DESTINEE AUX STATIONS DE TRAVAIL SOUS UNIX ET X-WINDOWS: INSPIREE DES ARCHITECTURES CLIENT/SERVEUR, CETTE PLATE-FORME REGROUPE UN ENSEMBLE DE MECANISMES QUI AUTORISENT LA COOPERATION ENTRE LES DEUX SOUS-SYSTEMES EN RESPECTANT LES AXES D'INTEGRATION PRECONISES POUR LES AGL DE TROISIEME GENERATION. CONSTRUIT DANS UN BUT EXPLORATOIRE, L'ATELIER SAIGL PERMET UNE EVOLUTION PROGRESSIVE DE L'ATELIER SOFTPEN PAR INTEGRATION DE FONCTIONNALITES IA DANS UN ENVIRONNEMENT DE DEVELOPPEMENT CLASSIQUE. CETTE APPROCHE PLATE-FORME D'INTEGRATION APPARAIT DONC COMME UNE TECHNIQUE NOVATRICE POUR LA MAINTENANCE EVOLUTIVE DES AGL DE SECONDE GENERATION
Mise en oeuvre de la méthode B ; Traité RTA, série Informatique et Systèmes d'Information
Author: BOULANGER Jean-Louis
Publisher: Lavoisier
ISBN: 2746288109
Category : B method (Computer science)
Languages : en
Pages : 434
Book Description
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.
Publisher: Lavoisier
ISBN: 2746288109
Category : B method (Computer science)
Languages : en
Pages : 434
Book Description
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.
Atelier de génie logiciel : manuel de laboratoire génie du logiciel
Author: École polytechnique (Montréal, Québec) Département de génie électrique et de génie informatique
Publisher:
ISBN:
Category :
Languages : fr
Pages :
Book Description
Publisher:
ISBN:
Category :
Languages : fr
Pages :
Book Description
Atelier de génie logiciel
Author: Christian Bertrand (informaticien).)
Publisher:
ISBN:
Category :
Languages : fr
Pages :
Book Description
Publisher:
ISBN:
Category :
Languages : fr
Pages :
Book Description