Author: Marc Kronental
Publisher:
ISBN:
Category :
Languages : fr
Pages :
Book Description
L'OBJET DE CETTE THESE EST D'APPORTER UNE CONTRIBUTION AU DEVELOPPEMENT D'UN OUTIL CE CONCEPTION DES SYSTEMES. NOUS APPELONS SYSTEME TOUT ENSEMBLE DE PROGRAMMES DE GRANDE TAILLE (PLUSIEURS MILLIERS D'INSTRUCTIONS) DESTINE A UNE UTILISATION QUOTIDIENNE, AYANT A PRENDRE EN COMPTE L'ENVIRONNEMENT INFORMATIQUE DANS SA LOGIQUE PROPRE ET DONT LA REALISATION EST CONFIEE A UNE EQUIPE. CETTE DEFINITION GENERALE ENGLOBE DES PRODUITS AUSSI DIVERS QUE LES SYSTEMES D'EXPLOITATION OU LES COMPILATEURS QUI, BIEN QUE RELEVANT DE PRINCIPES DE CONSTRUCTION SPECIFIQUES, SONT EGALEMENT SOUMIS AUX MEMES CONTRAINTES D'EFFICACITE, DE FIABILITE ET D'ADAPTABILITE.
CONTRIBUTION AU DEVELOPPEMENT D'UNE METHODE DE CONCEPTION DES SYSTEMES INFORMATIQUES
Author: Marc Kronental
Publisher:
ISBN:
Category :
Languages : fr
Pages :
Book Description
L'OBJET DE CETTE THESE EST D'APPORTER UNE CONTRIBUTION AU DEVELOPPEMENT D'UN OUTIL CE CONCEPTION DES SYSTEMES. NOUS APPELONS SYSTEME TOUT ENSEMBLE DE PROGRAMMES DE GRANDE TAILLE (PLUSIEURS MILLIERS D'INSTRUCTIONS) DESTINE A UNE UTILISATION QUOTIDIENNE, AYANT A PRENDRE EN COMPTE L'ENVIRONNEMENT INFORMATIQUE DANS SA LOGIQUE PROPRE ET DONT LA REALISATION EST CONFIEE A UNE EQUIPE. CETTE DEFINITION GENERALE ENGLOBE DES PRODUITS AUSSI DIVERS QUE LES SYSTEMES D'EXPLOITATION OU LES COMPILATEURS QUI, BIEN QUE RELEVANT DE PRINCIPES DE CONSTRUCTION SPECIFIQUES, SONT EGALEMENT SOUMIS AUX MEMES CONTRAINTES D'EFFICACITE, DE FIABILITE ET D'ADAPTABILITE.
Publisher:
ISBN:
Category :
Languages : fr
Pages :
Book Description
L'OBJET DE CETTE THESE EST D'APPORTER UNE CONTRIBUTION AU DEVELOPPEMENT D'UN OUTIL CE CONCEPTION DES SYSTEMES. NOUS APPELONS SYSTEME TOUT ENSEMBLE DE PROGRAMMES DE GRANDE TAILLE (PLUSIEURS MILLIERS D'INSTRUCTIONS) DESTINE A UNE UTILISATION QUOTIDIENNE, AYANT A PRENDRE EN COMPTE L'ENVIRONNEMENT INFORMATIQUE DANS SA LOGIQUE PROPRE ET DONT LA REALISATION EST CONFIEE A UNE EQUIPE. CETTE DEFINITION GENERALE ENGLOBE DES PRODUITS AUSSI DIVERS QUE LES SYSTEMES D'EXPLOITATION OU LES COMPILATEURS QUI, BIEN QUE RELEVANT DE PRINCIPES DE CONSTRUCTION SPECIFIQUES, SONT EGALEMENT SOUMIS AUX MEMES CONTRAINTES D'EFFICACITE, DE FIABILITE ET D'ADAPTABILITE.
Une méthode d'intégration de l'évaluation de performance dans le développement des systèmes informatiques
Author: Eric Conquet
Publisher:
ISBN:
Category :
Languages : fr
Pages : 210
Book Description
LES TECHNIQUES DE MODELISATION CONSTITUENT UN BON MOYEN D'EVALUER LES PERFORMANCES DE SYSTEMES INFORMATIQUES AU COURS DU DEVELOPPEMENT. LEUR UTILISATION POSE CEPENDANT DEUX TYPES DE PROBLEMES: LE PREMIER EST LIE A LA NATURE APPROXIMATIVE DE LA MODELISATION, LE DEUXIEME A L'INTEGRATION DE L'EVALUATION DE PERFORMANCES DANS LE CYCLE DE VIE D'UN SYSTEME. LA METHODE QUE NOUS AVONS DEFINIE PROPOSE D'UNE PART, UNE NOUVELLE APPROCHE DE LA MODELISATION QUI MET BIEN EN EVIDENCE L'IMPORTANCE DE LA COMMUNICATION ENTRE L'EQUIPE DE CONCEPTION DU SYSTEME ET LES SPECIALISTES EN MODELISATION, ET D'AUTRE PART, LA MISE EN PLACE DE MECANISMES D'INTEGRATION ENTRE LES PHASES DE DEVELOPPEMENT D'UN SYSTEME ET L'EVALUATION DE SES PERFORMANCES. CES MECANISMES ONT ETE APPLIQUES A UN ENVIRONNEMENT DE DEVELOPPEMENT INTEGRANT HOOD COMME METHODE DE CONCEPTION. ILS PERMETTENT L'INTEGRATION A DIFFERENTS NIVEAUX: - LORS DE LA SPECIFICATION, GRACE A UNE TAXONOMIE DES CONTRAINTES DE PERFORMANCES QUI FOURNIT DES REGLES DE REDACTION DE CES CONTRAINTES. - LORS DE LA CONCEPTION, GRACE A DES TECHNIQUES D'ANNOTATIONS DE LA METHODE DE CONCEPTION QUI FACILITENT LA CAPTURE DES DONNEES RELATIVES AUX PERFORMANCES. - LORS DE LA MODELISATION, GRACE A DES TECHNIQUES DE GENERATION AUTOMATIQUE DE MODELES DE PERFORMANCES A PARTIR D'UNE CONCEPTION ANNOTEE. LA METHODE A ETE EXPERIMENTEE SUR UN PROJET PILOTE DU DOMAINE SPATIAL ET A DEMONTRE TOUT SON INTERET. ELLE A PERMIS D'AMELIORER LE DIALOGUE ENTRE LES CONCEPTEURS ET LES SPECIALISTES EN MODELISATION EN MAINTENANT LA CONSISTANCE ENTRE LE SYSTEME ET SON MODELE. ELLE A EGALEMENT REDUIT LES TEMPS DE DEVELOPPEMENT DU MODELE, PERMETTANT AINSI L'ANALYSE DE PLUSIEURS CONFIGURATIONS DU SYSTEME
Publisher:
ISBN:
Category :
Languages : fr
Pages : 210
Book Description
LES TECHNIQUES DE MODELISATION CONSTITUENT UN BON MOYEN D'EVALUER LES PERFORMANCES DE SYSTEMES INFORMATIQUES AU COURS DU DEVELOPPEMENT. LEUR UTILISATION POSE CEPENDANT DEUX TYPES DE PROBLEMES: LE PREMIER EST LIE A LA NATURE APPROXIMATIVE DE LA MODELISATION, LE DEUXIEME A L'INTEGRATION DE L'EVALUATION DE PERFORMANCES DANS LE CYCLE DE VIE D'UN SYSTEME. LA METHODE QUE NOUS AVONS DEFINIE PROPOSE D'UNE PART, UNE NOUVELLE APPROCHE DE LA MODELISATION QUI MET BIEN EN EVIDENCE L'IMPORTANCE DE LA COMMUNICATION ENTRE L'EQUIPE DE CONCEPTION DU SYSTEME ET LES SPECIALISTES EN MODELISATION, ET D'AUTRE PART, LA MISE EN PLACE DE MECANISMES D'INTEGRATION ENTRE LES PHASES DE DEVELOPPEMENT D'UN SYSTEME ET L'EVALUATION DE SES PERFORMANCES. CES MECANISMES ONT ETE APPLIQUES A UN ENVIRONNEMENT DE DEVELOPPEMENT INTEGRANT HOOD COMME METHODE DE CONCEPTION. ILS PERMETTENT L'INTEGRATION A DIFFERENTS NIVEAUX: - LORS DE LA SPECIFICATION, GRACE A UNE TAXONOMIE DES CONTRAINTES DE PERFORMANCES QUI FOURNIT DES REGLES DE REDACTION DE CES CONTRAINTES. - LORS DE LA CONCEPTION, GRACE A DES TECHNIQUES D'ANNOTATIONS DE LA METHODE DE CONCEPTION QUI FACILITENT LA CAPTURE DES DONNEES RELATIVES AUX PERFORMANCES. - LORS DE LA MODELISATION, GRACE A DES TECHNIQUES DE GENERATION AUTOMATIQUE DE MODELES DE PERFORMANCES A PARTIR D'UNE CONCEPTION ANNOTEE. LA METHODE A ETE EXPERIMENTEE SUR UN PROJET PILOTE DU DOMAINE SPATIAL ET A DEMONTRE TOUT SON INTERET. ELLE A PERMIS D'AMELIORER LE DIALOGUE ENTRE LES CONCEPTEURS ET LES SPECIALISTES EN MODELISATION EN MAINTENANT LA CONSISTANCE ENTRE LE SYSTEME ET SON MODELE. ELLE A EGALEMENT REDUIT LES TEMPS DE DEVELOPPEMENT DU MODELE, PERMETTANT AINSI L'ANALYSE DE PLUSIEURS CONFIGURATIONS DU SYSTEME
Contributions to Computer Aided Design
Author: International Association of Science and Technology for Development
Publisher: Anaheim, Calif. ; Calgary : ACTA Press
ISBN:
Category : Computers
Languages : en
Pages : 80
Book Description
Publisher: Anaheim, Calif. ; Calgary : ACTA Press
ISBN:
Category : Computers
Languages : en
Pages : 80
Book Description
Safety and Reliability 92
Author: K.E. Peterson
Publisher: CRC Press
ISBN: 9781851668755
Category : Business & Economics
Languages : en
Pages : 1226
Book Description
Publisher: CRC Press
ISBN: 9781851668755
Category : Business & Economics
Languages : en
Pages : 1226
Book Description
Méthode de conception d'un système informatique d'aide à la décision
Author: Mohamed Jasim
Publisher:
ISBN:
Category :
Languages : fr
Pages : 154
Book Description
Publisher:
ISBN:
Category :
Languages : fr
Pages : 154
Book Description
Méthodes et informatique : réussite du projet informatique par la méthode
Author: Coq
Publisher: Lavoisier
ISBN: 274624327X
Category :
Languages : fr
Pages : 307
Book Description
Publisher: Lavoisier
ISBN: 274624327X
Category :
Languages : fr
Pages : 307
Book Description
PASCAL.
Author:
Publisher:
ISBN:
Category : Documentation
Languages : en
Pages : 964
Book Description
Publisher:
ISBN:
Category : Documentation
Languages : en
Pages : 964
Book Description
Contribution à l'élaboration d'une méthode de développement pour les systèmes experts
Author: Jacques Abel
Publisher:
ISBN:
Category : Expert systems (Computer science)
Languages : fr
Pages : 380
Book Description
Thèse. HEC. 1988
Publisher:
ISBN:
Category : Expert systems (Computer science)
Languages : fr
Pages : 380
Book Description
Thèse. HEC. 1988
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.
Contribution à l'ingénierie des systèmes d'information
Author: Naoufel Kraiem
Publisher:
ISBN:
Category :
Languages : fr
Pages : 272
Book Description
J'ai essayé dans le document de mon HDR de présenter mes activités de recherche durant les dernières années. J'ai développé ces recherches dans le cadre des méthodes de conception orientées objet et montré qu'on pouvait raisonner 'en objet' de bout en bout dans le cycle de développement d'un système d'information. J'ai ensuite naturellement poursuivi ces recherches sur les méthodes et plus particulièrement sur l'Ingénierie des Méthodes (IM). L'IM est une discipline récente qui vise à appliquer à la construction des méthodes, les principes, techniques et outils que l'on applique à l'ingénierie des systèmes d'information. J'ai été un précurseur dans le domaine et ai travaillé en étroite collaboration avec mon groupe au CRI. Ces travaux ont débouché sur un livre intitulé 'L'ingénierie des méthodes au service des nouvelles tendances de développement des applications informatiques'. Au cours de ces dix dernières années, j’ai aussi développé un spectre très large de connaissances et de compétences dans le domaine de l’ingénierie des méthodes. Ensuite je me suis intéressé aux méthodes de développement des applications Web en utilisant les principes et solutions développées pour l’ingénierie des méthodes. Ces travaux ont débouché sur une proposition originale et intéressante qui se démarque des propositions habituelles d'une méthode spécifique en fournissant une famille de méthodes organisées sous la forme d'un graphe. Chaque parcours dans le graphe correspond à une méthode spécifique d'ingénierie d'une application Web.
Publisher:
ISBN:
Category :
Languages : fr
Pages : 272
Book Description
J'ai essayé dans le document de mon HDR de présenter mes activités de recherche durant les dernières années. J'ai développé ces recherches dans le cadre des méthodes de conception orientées objet et montré qu'on pouvait raisonner 'en objet' de bout en bout dans le cycle de développement d'un système d'information. J'ai ensuite naturellement poursuivi ces recherches sur les méthodes et plus particulièrement sur l'Ingénierie des Méthodes (IM). L'IM est une discipline récente qui vise à appliquer à la construction des méthodes, les principes, techniques et outils que l'on applique à l'ingénierie des systèmes d'information. J'ai été un précurseur dans le domaine et ai travaillé en étroite collaboration avec mon groupe au CRI. Ces travaux ont débouché sur un livre intitulé 'L'ingénierie des méthodes au service des nouvelles tendances de développement des applications informatiques'. Au cours de ces dix dernières années, j’ai aussi développé un spectre très large de connaissances et de compétences dans le domaine de l’ingénierie des méthodes. Ensuite je me suis intéressé aux méthodes de développement des applications Web en utilisant les principes et solutions développées pour l’ingénierie des méthodes. Ces travaux ont débouché sur une proposition originale et intéressante qui se démarque des propositions habituelles d'une méthode spécifique en fournissant une famille de méthodes organisées sous la forme d'un graphe. Chaque parcours dans le graphe correspond à une méthode spécifique d'ingénierie d'une application Web.