6. Exemples de techniques
Exemples des Techniques
Programmation
Objet
Impératif
Fonctionnelle
De Vérification de
programme
Axiomatique de Hoare
Méthode déductive
Analyse statique et
interprétation abstraite
De Spécification
La logique des
prédicats
Le diagramme
entité-association
PRINCIPE METHODES TECHNIQUES OUTILS
7. Exemples d’outils
DR SCHEME
NETBEANS
ECLIPSE
DELPHI
POWER AMC/DESIGNER
Exemples des Outils
PRINCIPE METHODES TECHNIQUES OUTILS
8. QU’EST-CE QU’ UNE MÉTHODE?
A method is a set of principles for selecting and applying technics and
tools in order to construct an efficient artefact,
Methodology is the study and knowledge of methods.
Méthode =
langage
processus
modèles
par Dines BJORNER
9. TYPOLOGIE
Années 70
METHODES CARTESIENNES OU
FONCTIONNELLES
Le système à développer est considéré comme
une fonction.
technique utilisée est la décomposition
hiérarchique
Le traitement des données est marginal
10. TYPOLOGIE
Années 70
METHODES CARTESIENNES OU
FONCTIONNELLES
Années 80
METHODES SYSTEMIQUES
Prend en compte la description des données
La modélisation des données se fait en parallèle
avec les traitements (Merise, Axial, IE...).
11. TYPOLOGIE
Années 70
METHODES CARTESIENNES OU
FONCTIONNELLES
Années 80
METHODES SYSTEMIQUES
Années 90
METHODES
ORIENTEES OBJET
la coexistence parallèle des données et
traitements n'est pas réaliste.
Données et traitement sont intégrés dans la
notion objet
Le Système a modéliser est vu comme un
ensemble d'objets
( Booch, Classe-Relation, Fusion, HOOD, OMT,
OOA, OOD, OOM, OOSE...)
12. TYPOLOGIE
Années 70
METHODES CARTESIENNES OU
FONCTIONNELLES
Années 80
METHODES SYSTEMIQUES
Années 90
METHODES
ORIENTEES OBJET
SYNTHESE
DES MCOO
Langage=UML
Processus=UP
adopté comme
standard par l’OMG
« méta-processus »