CONTRIBUTION AU DEVELOPPEMENT D'UNE METHODE DE CONCEPTION DES SYSTEMES INFORMATIQUES PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download CONTRIBUTION AU DEVELOPPEMENT D'UNE METHODE DE CONCEPTION DES SYSTEMES INFORMATIQUES PDF full book. Access full book title CONTRIBUTION AU DEVELOPPEMENT D'UNE METHODE DE CONCEPTION DES SYSTEMES INFORMATIQUES by Marc Kronental. Download full books in PDF and EPUB format.
Author: Marc Kronental
Publisher:
ISBN:
Category :
Languages : fr
Pages :
Get Book Here
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.
Author: Marc Kronental
Publisher:
ISBN:
Category :
Languages : fr
Pages :
Get Book Here
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.
Author: Eric Conquet
Publisher:
ISBN:
Category :
Languages : fr
Pages : 210
Get Book Here
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
Author: International Association of Science and Technology for Development
Publisher: Anaheim, Calif. ; Calgary : ACTA Press
ISBN:
Category : Computers
Languages : en
Pages : 80
Get Book Here
Book Description
Author: K.E. Peterson
Publisher: CRC Press
ISBN: 9781851668755
Category : Business & Economics
Languages : en
Pages : 1226
Get Book Here
Book Description
Author: Mohamed Jasim
Publisher:
ISBN:
Category :
Languages : fr
Pages : 154
Get Book Here
Book Description
Author: Coq
Publisher: Lavoisier
ISBN: 274624327X
Category :
Languages : fr
Pages : 307
Get Book Here
Book Description
Author:
Publisher:
ISBN:
Category : Documentation
Languages : en
Pages : 964
Get Book Here
Book Description
Author: Jacques Abel
Publisher:
ISBN:
Category : Expert systems (Computer science)
Languages : fr
Pages : 380
Get Book Here
Book Description
Thèse. HEC. 1988
Author: BOULANGER Jean-Louis
Publisher: Lavoisier
ISBN: 2746288109
Category : B method (Computer science)
Languages : en
Pages : 434
Get Book Here
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.
Author:
Publisher:
ISBN:
Category : Electric power distribution
Languages : en
Pages : 232
Get Book Here
Book Description
