La Programmation Un métier d ingénieur

Transcription

1 La Programmation Un métier d ingénieur Marc Pantel Ingénieur en Electronique, Informatique Docteur en Informatique Modélisation, Langages dédiés Méthodes formelles Applications aux systèmes critiques

2 Définitions (Larousse)

3 Définitions (Larousse) Programmation : Ensemble des activités liées à la définition, l'écriture, la mise au point et l'exécution de programmes informatiques ; séquence des ordres auxquels doit obéir un dispositif.

4 Définitions (Larousse) Programmation : Ensemble des activités liées à la définition, l'écriture, la mise au point et l'exécution de programmes informatiques ; séquence des ordres auxquels doit obéir un dispositif. Ingénieur : Personne que ses connaissances rendent apte à occuper des fonctions scientifiques ou techniques actives en vue de prévoir, créer, organiser, diriger, contrôler les travaux qui en découlent, ainsi qu'à y tenir un rôle de cadre.

5 Historique

6 Historique Arts, Artisanats : Pratique expérimentale

7 Historique Arts, Artisanats : Pratique expérimentale Approche scientifique : Compréhension

8 Historique Arts, Artisanats : Pratique expérimentale Approche scientifique : Compréhension Révolution industrielle Chercheur : Modéliser, Prédire Ingénieur : Exploiter, Innover Technicien : Prototyper, Implanter Ouvrier : Produire

9 Exemples

10 Exemples Génie civil : Evolution grâce modèles Antique : Pyramidal, Colonnes et poutres Roman : Voute en plain cintre Gothique : Arc boutant, croisées Contemporain : Formes libres

11 Exemples Génie civil : Evolution grâce modèles Antique : Pyramidal, Colonnes et poutres Roman : Voute en plain cintre Gothique : Arc boutant, croisées Contemporain : Formes libres Echec: Effondrement...

12 Exemples Génie civil : Evolution grâce modèles Antique : Pyramidal, Colonnes et poutres Roman : Voute en plain cintre Gothique : Arc boutant, croisées Contemporain : Formes libres Echec: Effondrement... Nombreuses disciplines semblables

13 Programmation Discipline jeune Apparemment facile Il suffit de lire la documentation du langage Petits problèmes sont triviaux Complexité exponentielle difficile à prédire Mais... Pas d effondrement Nous ne savons pas chiffrer un projet à moins de 100% d erreur Nombreuses fissures Possibilité de combler, sans solidifier... Ni dérivable, ni continue

14 Génie Logiciel Maîtriser la programmation Distinguer l algorithmique des langages Industrialiser la programmation méthodes processus culture d ingénieur Le défaut des programmeurs, c est qu ils se comportent en artistes (artisans)

15 Processus ÉTUDE PRÉALABLE EXPLOITATION MAINTENANCE SPÉCIFICATION VALIDATION RECETTE CONCEPTION GLOBALE INTÉGRATION CONCEPTION DÉTAILLÉE TESTS UNITAIRES CODAGE

16 Méthodes

17 Méthodes Approche descendante Raffinage Programming in the small

18 Méthodes Approche descendante Raffinage Programming in the small Approche ascendante/mixte Assemblage de composants Programming in the large

19 Futur (proche)

20 Futur (proche) Méthodes formelles Preuve de correction Approche mathématique (ingénieur)

21 Futur (proche) Méthodes formelles Preuve de correction Approche mathématique (ingénieur) Ingénierie dirigée par les modèles Différents niveaux abstraction Approche physique (ingénieur)

22 Futur (proche) Méthodes formelles Preuve de correction Approche mathématique (ingénieur) Ingénierie dirigée par les modèles Différents niveaux abstraction Approche physique (ingénieur) Approches agiles Facteurs humains Approche sociologique (ingénieur)

23 Nos attentes

24 Nos attentes Difficulté d intégration dans les CPGE pilotées par l objectif de classement au concours

25 Nos attentes Difficulté d intégration dans les CPGE pilotées par l objectif de classement au concours Mais... mauvaises habitudes difficiles à perdre insister sur la méthode, le processus... pas sur le langage...

26 Nos attentes Difficulté d intégration dans les CPGE pilotées par l objectif de classement au concours Mais... mauvaises habitudes difficiles à perdre insister sur la méthode, le processus... pas sur le langage... Nous comptons sur vous