SlideShare une entreprise Scribd logo
1  sur  12
Rappels sur le génie logiciel
Problème
Utilisateur
Solution
PROCESSUS DE DEVELOPPEMENT
RESOLUTION D’UN PROBLEME PAR UN ORDINATEUR
Méthodes
Techniques
Outils
Corpus de connaissances du Génie logiciel
Principes
Exemples de principes
Rigueur et Formalité.
Séparation des tâches.
Modularité.
Abstraction.
Généralité.
Incrémentalité.
Exemples des Principes
PRINCIPE METHODES TECHNIQUES OUTILS
Exemples de méthodes
MERISE
UP
RAISE
Exemples des Méthodes
PRINCIPE METHODES TECHNIQUES OUTILS
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
Exemples d’outils
 DR SCHEME
 NETBEANS
 ECLIPSE
 DELPHI
 POWER AMC/DESIGNER
Exemples des Outils
PRINCIPE METHODES TECHNIQUES OUTILS
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
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
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...).
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...)
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 »

Contenu connexe

Similaire à Résumé Génie Logiciel.pptx

Etude de cadrage clef de la réussite d'un upgrade oracle people soft busine...
Etude de cadrage clef de la réussite d'un upgrade oracle people soft   busine...Etude de cadrage clef de la réussite d'un upgrade oracle people soft   busine...
Etude de cadrage clef de la réussite d'un upgrade oracle people soft busine...Business At Work
 
ERP, Pret A Implanter Mode D’Emploi Cours 10
ERP, Pret A Implanter  Mode D’Emploi Cours 10ERP, Pret A Implanter  Mode D’Emploi Cours 10
ERP, Pret A Implanter Mode D’Emploi Cours 10jeandescoteaux
 
Projet master la voix du client - Marc Bonnemains
Projet master   la voix du client - Marc BonnemainsProjet master   la voix du client - Marc Bonnemains
Projet master la voix du client - Marc BonnemainsMarc Bonnemains
 
Introduction Au Plm
Introduction Au PlmIntroduction Au Plm
Introduction Au Plmpistesil
 
Business Intelligence Reporting Solution
Business Intelligence Reporting Solution Business Intelligence Reporting Solution
Business Intelligence Reporting Solution Imad ALILAT
 
Introduction à TOGAF
Introduction à TOGAFIntroduction à TOGAF
Introduction à TOGAFFarid Mheir
 
489591919 estaca-catalogue f-auto-pdf
489591919 estaca-catalogue f-auto-pdf489591919 estaca-catalogue f-auto-pdf
489591919 estaca-catalogue f-auto-pdfLmhAlger
 
RÉSOUDRE LE COMPROMIS DES CALCULS TECHNIQUES ...
RÉSOUDRE LE COMPROMIS DES CALCULS TECHNIQUES ...RÉSOUDRE LE COMPROMIS DES CALCULS TECHNIQUES ...
RÉSOUDRE LE COMPROMIS DES CALCULS TECHNIQUES ...Caroline de Villèle
 
Devlog2013: SysML et Simulation (French)
Devlog2013: SysML et Simulation (French)Devlog2013: SysML et Simulation (French)
Devlog2013: SysML et Simulation (French)Jean-Michel Bruel
 
Les MéThodes Agiles
Les MéThodes AgilesLes MéThodes Agiles
Les MéThodes Agilesguesta206aa87
 
Programmation linéniaire
Programmation linéniaire Programmation linéniaire
Programmation linéniaire Mohammed Zaoui
 
Offre Audit et Test De Performance
Offre Audit et Test De PerformanceOffre Audit et Test De Performance
Offre Audit et Test De PerformanceCabinet Openi
 
Cours Programmation Orientée Objet en C++
Cours Programmation Orientée Objet en C++Cours Programmation Orientée Objet en C++
Cours Programmation Orientée Objet en C++Amina HAMEURLAINE
 
vers une optimisation de la chaine logistique.pptx
vers une optimisation de la chaine logistique.pptxvers une optimisation de la chaine logistique.pptx
vers une optimisation de la chaine logistique.pptxMelissaMeli13
 

Similaire à Résumé Génie Logiciel.pptx (20)

Etude de cadrage clef de la réussite d'un upgrade oracle people soft busine...
Etude de cadrage clef de la réussite d'un upgrade oracle people soft   busine...Etude de cadrage clef de la réussite d'un upgrade oracle people soft   busine...
Etude de cadrage clef de la réussite d'un upgrade oracle people soft busine...
 
Support programmation orientée aspect mohamed youssfi (aop)
Support programmation orientée aspect mohamed youssfi (aop)Support programmation orientée aspect mohamed youssfi (aop)
Support programmation orientée aspect mohamed youssfi (aop)
 
ERP, Pret A Implanter Mode D’Emploi Cours 10
ERP, Pret A Implanter  Mode D’Emploi Cours 10ERP, Pret A Implanter  Mode D’Emploi Cours 10
ERP, Pret A Implanter Mode D’Emploi Cours 10
 
Projet master la voix du client - Marc Bonnemains
Projet master   la voix du client - Marc BonnemainsProjet master   la voix du client - Marc Bonnemains
Projet master la voix du client - Marc Bonnemains
 
merise-slides.pdf
merise-slides.pdfmerise-slides.pdf
merise-slides.pdf
 
Introduction Au Plm
Introduction Au PlmIntroduction Au Plm
Introduction Au Plm
 
Business Intelligence Reporting Solution
Business Intelligence Reporting Solution Business Intelligence Reporting Solution
Business Intelligence Reporting Solution
 
L'Agilité en 4D - Christophe Battu
L'Agilité en 4D - Christophe BattuL'Agilité en 4D - Christophe Battu
L'Agilité en 4D - Christophe Battu
 
Introduction à TOGAF
Introduction à TOGAFIntroduction à TOGAF
Introduction à TOGAF
 
Uml partie 1
Uml partie 1Uml partie 1
Uml partie 1
 
489591919 estaca-catalogue f-auto-pdf
489591919 estaca-catalogue f-auto-pdf489591919 estaca-catalogue f-auto-pdf
489591919 estaca-catalogue f-auto-pdf
 
RÉSOUDRE LE COMPROMIS DES CALCULS TECHNIQUES ...
RÉSOUDRE LE COMPROMIS DES CALCULS TECHNIQUES ...RÉSOUDRE LE COMPROMIS DES CALCULS TECHNIQUES ...
RÉSOUDRE LE COMPROMIS DES CALCULS TECHNIQUES ...
 
Devlog2013: SysML et Simulation (French)
Devlog2013: SysML et Simulation (French)Devlog2013: SysML et Simulation (French)
Devlog2013: SysML et Simulation (French)
 
ModéLisation De Workflow En Uml
ModéLisation De Workflow En UmlModéLisation De Workflow En Uml
ModéLisation De Workflow En Uml
 
Les MéThodes Agiles
Les MéThodes AgilesLes MéThodes Agiles
Les MéThodes Agiles
 
Ttup
TtupTtup
Ttup
 
Programmation linéniaire
Programmation linéniaire Programmation linéniaire
Programmation linéniaire
 
Offre Audit et Test De Performance
Offre Audit et Test De PerformanceOffre Audit et Test De Performance
Offre Audit et Test De Performance
 
Cours Programmation Orientée Objet en C++
Cours Programmation Orientée Objet en C++Cours Programmation Orientée Objet en C++
Cours Programmation Orientée Objet en C++
 
vers une optimisation de la chaine logistique.pptx
vers une optimisation de la chaine logistique.pptxvers une optimisation de la chaine logistique.pptx
vers une optimisation de la chaine logistique.pptx
 

Dernier

comprehension de DDMRP dans le domaine de gestion
comprehension de DDMRP dans le domaine de gestioncomprehension de DDMRP dans le domaine de gestion
comprehension de DDMRP dans le domaine de gestionyakinekaidouchi1
 
Algo II : les piles ( cours + exercices)
Algo II :  les piles ( cours + exercices)Algo II :  les piles ( cours + exercices)
Algo II : les piles ( cours + exercices)Sana REFAI
 
conception d'un batiment r+4 comparative de defferente ariante de plancher
conception d'un  batiment  r+4 comparative de defferente ariante de plancherconception d'un  batiment  r+4 comparative de defferente ariante de plancher
conception d'un batiment r+4 comparative de defferente ariante de planchermansouriahlam
 
GAL2024 - Décarbonation du secteur laitier : la filière s'engage
GAL2024 - Décarbonation du secteur laitier : la filière s'engageGAL2024 - Décarbonation du secteur laitier : la filière s'engage
GAL2024 - Décarbonation du secteur laitier : la filière s'engageInstitut de l'Elevage - Idele
 
JTC 2024 - SMARTER Retour sur les indicateurs de santé .pdf
JTC 2024 - SMARTER Retour sur les indicateurs de santé .pdfJTC 2024 - SMARTER Retour sur les indicateurs de santé .pdf
JTC 2024 - SMARTER Retour sur les indicateurs de santé .pdfInstitut de l'Elevage - Idele
 
WBS OBS RACI_2020-etunhjjlllllll pdf.pdf
WBS OBS RACI_2020-etunhjjlllllll pdf.pdfWBS OBS RACI_2020-etunhjjlllllll pdf.pdf
WBS OBS RACI_2020-etunhjjlllllll pdf.pdfSophie569778
 
GAL2024 - Situation laitière 2023-2024 : consommation, marchés, prix et revenus
GAL2024 - Situation laitière 2023-2024 : consommation, marchés, prix et revenusGAL2024 - Situation laitière 2023-2024 : consommation, marchés, prix et revenus
GAL2024 - Situation laitière 2023-2024 : consommation, marchés, prix et revenusInstitut de l'Elevage - Idele
 
GAL2024 - Changements climatiques et maladies émergentes
GAL2024 - Changements climatiques et maladies émergentesGAL2024 - Changements climatiques et maladies émergentes
GAL2024 - Changements climatiques et maladies émergentesInstitut de l'Elevage - Idele
 
JTC 2024 La relance de la filière de la viande de chevreau.pdf
JTC 2024 La relance de la filière de la viande de chevreau.pdfJTC 2024 La relance de la filière de la viande de chevreau.pdf
JTC 2024 La relance de la filière de la viande de chevreau.pdfInstitut de l'Elevage - Idele
 
GAL2024 - Consommations et productions d'énergies dans les exploitations lait...
GAL2024 - Consommations et productions d'énergies dans les exploitations lait...GAL2024 - Consommations et productions d'énergies dans les exploitations lait...
GAL2024 - Consommations et productions d'énergies dans les exploitations lait...Institut de l'Elevage - Idele
 
GAL2024 - Renouvellement des actifs : un enjeu pour la filière laitière franç...
GAL2024 - Renouvellement des actifs : un enjeu pour la filière laitière franç...GAL2024 - Renouvellement des actifs : un enjeu pour la filière laitière franç...
GAL2024 - Renouvellement des actifs : un enjeu pour la filière laitière franç...Institut de l'Elevage - Idele
 
Câblage, installation et paramétrage d’un réseau informatique.pdf
Câblage, installation et paramétrage d’un réseau informatique.pdfCâblage, installation et paramétrage d’un réseau informatique.pdf
Câblage, installation et paramétrage d’un réseau informatique.pdfmia884611
 
GAL2024 - Méthane 2030 : une démarche collective française à destination de t...
GAL2024 - Méthane 2030 : une démarche collective française à destination de t...GAL2024 - Méthane 2030 : une démarche collective française à destination de t...
GAL2024 - Méthane 2030 : une démarche collective française à destination de t...Institut de l'Elevage - Idele
 
GAL2024 - Parcellaire des fermes laitières : en enjeu de compétitivité et de ...
GAL2024 - Parcellaire des fermes laitières : en enjeu de compétitivité et de ...GAL2024 - Parcellaire des fermes laitières : en enjeu de compétitivité et de ...
GAL2024 - Parcellaire des fermes laitières : en enjeu de compétitivité et de ...Institut de l'Elevage - Idele
 
JTC 2024 - Réglementation européenne BEA et Transport.pdf
JTC 2024 - Réglementation européenne BEA et Transport.pdfJTC 2024 - Réglementation européenne BEA et Transport.pdf
JTC 2024 - Réglementation européenne BEA et Transport.pdfInstitut de l'Elevage - Idele
 
JTC 2024 - Leviers d’adaptation au changement climatique, qualité du lait et ...
JTC 2024 - Leviers d’adaptation au changement climatique, qualité du lait et ...JTC 2024 - Leviers d’adaptation au changement climatique, qualité du lait et ...
JTC 2024 - Leviers d’adaptation au changement climatique, qualité du lait et ...Institut de l'Elevage - Idele
 
GAL2024 - L'élevage laitier cultive la biodiversité
GAL2024 - L'élevage laitier cultive la biodiversitéGAL2024 - L'élevage laitier cultive la biodiversité
GAL2024 - L'élevage laitier cultive la biodiversitéInstitut de l'Elevage - Idele
 

Dernier (20)

comprehension de DDMRP dans le domaine de gestion
comprehension de DDMRP dans le domaine de gestioncomprehension de DDMRP dans le domaine de gestion
comprehension de DDMRP dans le domaine de gestion
 
Algo II : les piles ( cours + exercices)
Algo II :  les piles ( cours + exercices)Algo II :  les piles ( cours + exercices)
Algo II : les piles ( cours + exercices)
 
conception d'un batiment r+4 comparative de defferente ariante de plancher
conception d'un  batiment  r+4 comparative de defferente ariante de plancherconception d'un  batiment  r+4 comparative de defferente ariante de plancher
conception d'un batiment r+4 comparative de defferente ariante de plancher
 
GAL2024 - Décarbonation du secteur laitier : la filière s'engage
GAL2024 - Décarbonation du secteur laitier : la filière s'engageGAL2024 - Décarbonation du secteur laitier : la filière s'engage
GAL2024 - Décarbonation du secteur laitier : la filière s'engage
 
JTC 2024 - SMARTER Retour sur les indicateurs de santé .pdf
JTC 2024 - SMARTER Retour sur les indicateurs de santé .pdfJTC 2024 - SMARTER Retour sur les indicateurs de santé .pdf
JTC 2024 - SMARTER Retour sur les indicateurs de santé .pdf
 
WBS OBS RACI_2020-etunhjjlllllll pdf.pdf
WBS OBS RACI_2020-etunhjjlllllll pdf.pdfWBS OBS RACI_2020-etunhjjlllllll pdf.pdf
WBS OBS RACI_2020-etunhjjlllllll pdf.pdf
 
GAL2024 - Situation laitière 2023-2024 : consommation, marchés, prix et revenus
GAL2024 - Situation laitière 2023-2024 : consommation, marchés, prix et revenusGAL2024 - Situation laitière 2023-2024 : consommation, marchés, prix et revenus
GAL2024 - Situation laitière 2023-2024 : consommation, marchés, prix et revenus
 
GAL2024 - Changements climatiques et maladies émergentes
GAL2024 - Changements climatiques et maladies émergentesGAL2024 - Changements climatiques et maladies émergentes
GAL2024 - Changements climatiques et maladies émergentes
 
CAP2ER_GC_Presentation_Outil_20240422.pptx
CAP2ER_GC_Presentation_Outil_20240422.pptxCAP2ER_GC_Presentation_Outil_20240422.pptx
CAP2ER_GC_Presentation_Outil_20240422.pptx
 
JTC 2024 Bâtiment et Photovoltaïque.pdf
JTC 2024  Bâtiment et Photovoltaïque.pdfJTC 2024  Bâtiment et Photovoltaïque.pdf
JTC 2024 Bâtiment et Photovoltaïque.pdf
 
JTC 2024 La relance de la filière de la viande de chevreau.pdf
JTC 2024 La relance de la filière de la viande de chevreau.pdfJTC 2024 La relance de la filière de la viande de chevreau.pdf
JTC 2024 La relance de la filière de la viande de chevreau.pdf
 
GAL2024 - Consommations et productions d'énergies dans les exploitations lait...
GAL2024 - Consommations et productions d'énergies dans les exploitations lait...GAL2024 - Consommations et productions d'énergies dans les exploitations lait...
GAL2024 - Consommations et productions d'énergies dans les exploitations lait...
 
GAL2024 - Renouvellement des actifs : un enjeu pour la filière laitière franç...
GAL2024 - Renouvellement des actifs : un enjeu pour la filière laitière franç...GAL2024 - Renouvellement des actifs : un enjeu pour la filière laitière franç...
GAL2024 - Renouvellement des actifs : un enjeu pour la filière laitière franç...
 
Câblage, installation et paramétrage d’un réseau informatique.pdf
Câblage, installation et paramétrage d’un réseau informatique.pdfCâblage, installation et paramétrage d’un réseau informatique.pdf
Câblage, installation et paramétrage d’un réseau informatique.pdf
 
GAL2024 - Méthane 2030 : une démarche collective française à destination de t...
GAL2024 - Méthane 2030 : une démarche collective française à destination de t...GAL2024 - Méthane 2030 : une démarche collective française à destination de t...
GAL2024 - Méthane 2030 : une démarche collective française à destination de t...
 
GAL2024 - Parcellaire des fermes laitières : en enjeu de compétitivité et de ...
GAL2024 - Parcellaire des fermes laitières : en enjeu de compétitivité et de ...GAL2024 - Parcellaire des fermes laitières : en enjeu de compétitivité et de ...
GAL2024 - Parcellaire des fermes laitières : en enjeu de compétitivité et de ...
 
JTC 2024 - Réglementation européenne BEA et Transport.pdf
JTC 2024 - Réglementation européenne BEA et Transport.pdfJTC 2024 - Réglementation européenne BEA et Transport.pdf
JTC 2024 - Réglementation européenne BEA et Transport.pdf
 
JTC 2024 - Leviers d’adaptation au changement climatique, qualité du lait et ...
JTC 2024 - Leviers d’adaptation au changement climatique, qualité du lait et ...JTC 2024 - Leviers d’adaptation au changement climatique, qualité du lait et ...
JTC 2024 - Leviers d’adaptation au changement climatique, qualité du lait et ...
 
GAL2024 - L'élevage laitier cultive la biodiversité
GAL2024 - L'élevage laitier cultive la biodiversitéGAL2024 - L'élevage laitier cultive la biodiversité
GAL2024 - L'élevage laitier cultive la biodiversité
 
JTC 2024 - DeCremoux_Anomalies_génétiques.pdf
JTC 2024 - DeCremoux_Anomalies_génétiques.pdfJTC 2024 - DeCremoux_Anomalies_génétiques.pdf
JTC 2024 - DeCremoux_Anomalies_génétiques.pdf
 

Résumé Génie Logiciel.pptx

  • 1. Rappels sur le génie logiciel
  • 4. Exemples de principes Rigueur et Formalité. Séparation des tâches. Modularité. Abstraction. Généralité. Incrémentalité. Exemples des Principes PRINCIPE METHODES TECHNIQUES OUTILS
  • 5. Exemples de méthodes MERISE UP RAISE Exemples des Méthodes PRINCIPE METHODES TECHNIQUES OUTILS
  • 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 »