Documente Academic
Documente Profesional
Documente Cultură
Pr. A. Zahi
Dpartement Informatique
FSTF
Systme
informatique
Moyens matriels et logiciels destins au
traitement automatique des donnes.
Systme
dinformation
automatis Partie du systme informatique qui incarne
(logiciel) le systme dinformation.
Programmes,
Procds processus, rgles, etc.
Documentation,
Services,
concurrents,
contexte technique architecture, environnement
matriel et logiciel.
besoins extensibilit.
changements factorisation.
Systme Scientifique
Compilateurs, Simulation
Editeurs, Conception assist par
Systmes dexploitation ordinateur
Calcul numrique intensif
Temps rels (Real-time)
Contrle de machine
Programmation structure
Mthodes de dveloppement
Web
Donnes massives
Traitement parallle
29%
livr, utilis
sans succs
base sur la
Rgle CQFD
Satisfaire les
Haute qualit
exigences
Rigueur
Sparation
Abstraction
Modularit
Gnricit
Construction incrmentale
Anticipation des changements
Rigueur
tre capable dvaluer rigoureusement avec des
critres prcis et exact, les rsultats des activits
de cration dun logiciel
Formalisation laide
des lois mathmatiques
techniques formelles
Plusieurs critres
le temps cycle de vie du logiciel.
qualits que lon cherche satisfaire
vues que lon peut avoir dun systme statique,
dynamique, fonctionnelle, utilisateur
Structures architecture
Rle assurer
une forte cohsion interne
Un faible couplage entre les modules
Abstraction
Considrer les aspects importants et ignorer les
dtails
Construction incrmentale
Procder progressivement dans la construction dun
produit
Gnricit
Ramener la rsolution un problme plus gnral