• Forums
  • Tutoriels
  • Magazine
  • FAQs
  • Blogs
  • Projets
  • Chat
  • Newsletter
  • Études
  • Emploi
  • Club
  • Contacts
 
  • Accueil Actualités IT Pro
  • ALM Cycle de vie du logiciel
    • ALM
    • UML
    • Merise
  • Java Plateforme et langage Java
    • Java
    • Spring
    • Dév. Web Java
    • Android
    • Eclipse
    • NetBeans
  • .NET Microsoft Framework .NET
    • Microsoft DotNET
    • Visual Studio
    • ASP.NET
    • C#
    • VB.NET
    • Windows Phone
    • Windows Azure
  • Dév. Web Développement Web et Webmarketing
    • Développement Web
    • AJAX
    • Apache
    • ASP
    • CSS
    • Flash / Flex
    • JavaScript
    • PHP
    • Ruby & Rails
    • Web sémantique
    • Webmarketing
    • (X)HTML
  • EDI Environnements de Développement Intégré
    • EDI
    • 4D
    • Delphi
    • Eclipse
    • LabVIEW
    • NetBeans
    • MATLAB
    • Visual Studio
    • WinDev
    • Visual Basic 6
    • Lazarus
    • Qt Creator
  • Langages Langages de programmation applicatifs
    • Langages
    • Assembleur
    • C
    • C++
    • C#
    • Objective C
    • Pascal
    • Perl
    • Python
    • Visual Basic 6
    • VB.NET
    • XML
    • Autres
  • SGBD Systèmes de Gestion de Bases de Données
    • SGBD & SQL
    • 4D
    • Access
    • DB2
    • Firebird
    • InterBase
    • MySQL
    • NoSQL
    • Oracle
    • PostgreSQL
    • SQL-Server
    • Sybase
  • Office Bureautique pour l'entreprise
    • Microsoft Office
    • Access
    • Excel
    • Word
    • Outlook
    • PowerPoint
    • SharePoint
    • Microsoft Project
  • Solutions d'entreprise Autres logiciels pour l'entreprise
    • Solutions d'entreprise
    • Business Intelligence
    • ERP / PGI
    • CRM
    • SAS
    • Cloud Computing
    • SAP
    • Microsoft BizTalk Server
  • Applications Applications logicielles
    • Applications
    • 2D - 3D - Jeux
    • OpenOffice & LibreOffice
    • Projets
  • Mobiles Logiciels et matériels mobiles
    • Mobiles
    • Android
    • iOS
    • Windows Phone
  • Systèmes Logiciels et matériels systèmes
    • Systèmes
    • Windows
    • Linux Professionnel
    • Sécurité
    • PC
    • Mac
    • Réseau
    • Green IT
    • Virtualisation
    • Systèmes Embarqués
 
  • Mobiles
  • Android
  • iOS
  • Windows Phone
 
 
Facebook
Twitter
RSS
  • Accueil iOS
  • Forum iOS
  • Tutoriels iOS
  • Livres iOS
  • Objective C

L'approche qualité avec OCaml

Image non disponible

Table des matièresPlier Déplier

  • OCaml
    • I. OCaml
    • II. Partie I
      • II-A. 1. L'approche qualité
      • II-B. 2. Programmation et composants
      • II-C. 3. Programmation et langage
      • II-D. 4. Installation d'Objective Caml
  • Partie II
    • III. Partie II
      • III-A. La programmation fonctionnelle
        • III-A-1. 5. Expressions immédiates
        • III-A-2. 6. Fonctions et application
        • III-A-3. 7. Déclarations de variables
        • III-A-4. 8. Déclarations et récursion
        • III-A-5. 9. Déclarations de fonctions
        • III-A-6. 10. Récursion et accumulation
        • III-A-7. 11. Déclarations locales
        • III-A-8. 12. Fonctions et assertions
        • III-A-9. 13. Les types énumérés
        • III-A-10. 14. Le filtrage
        • III-A-11. 15. Les listes
        • III-A-12. 16. Les fonctions sur les listes
        • III-A-13. 17. Le polymorphisme paramétrique
        • III-A-14. 18. Les couples
        • III-A-15. 19. Les huit reines
        • III-A-16. 20. Le tri fusion
        • III-A-17. 21. Les modules
        • III-A-18. 22. Le traitement des erreurs
        • III-A-19. 23. Les enregistrements
        • III-A-20. 24. Les performances
  • Partie III
    • IV. Partie III
      • IV-A. Application à la gestion d'inventaires
        • IV-A-1. 25. Domaine des inventaires
        • IV-A-2. 26. Opérations élémentaires sur les inventaires
        • IV-A-3. 27. Opérations avancées sur les inventaires
        • IV-A-4. 28. Cas d'usage du module Inventory
  • Partie IV
    • V. Partie IV
      • V-A. Application à la théorie des jeux
        • V-A-1. 29. Le jeu des tétrominos
        • V-A-2. 30. Le tableau de jeu
        • V-A-3. 31. La génération des coups
        • V-A-4. 32. Le calcul de la valeur d'un tableau
  • Partie V
    • VI. Partie V
      • VI-A. La programmation impérative
        • VI-A-1. 33. Les champs mutables
        • VI-A-2. 34. Les références
        • VI-A-3. 35. Les boucles
        • VI-A-4. 36. Les tableaux
        • VI-A-5. 37. Les entrées-sorties
  • Partie VI
    • VII. Partie VI
      • VII-A. Application aux grands nombres
        • VII-A-1. 39. Domaine des entiers naturels
        • VII-A-2. 40. Opérations sur les tableaux
        • VII-A-3. 41. L'addition
        • VII-A-4. 42. La comparaison
        • VII-A-5. 43. La soustraction
        • VII-A-6. 44. La multiplication longue
        • VII-A-7. 45. La multiplication Knuth-Karatsuba
        • VII-A-8. 46. La division Burnikel-Ziegler
        • VII-A-9. 47. Calcul de &pi au goutte-à-goutte
  • Partie VII
    • VIII. Partie VII
      • VIII-A. Application à l'analyse syntaxique
        • VIII-A-1. 48. Techniques d'analyse syntaxique
        • VIII-A-2. 49. Les requêtes syntaxiques
        • VIII-A-3. 50. Un analyseur pour pascal
        • VIII-A-4. 51. Les erreurs de syntaxe
        • VIII-A-5. 52. Implémentation de Lex.lex_parser
  • Partie VIII
    • IX. Partie VIII
      • IX-A. Les types algébriques
        • IX-A-1. 53. Ordre lexicographique
        • IX-A-2. 54. Les types produit
        • IX-A-3. 55. Les types somme
        • IX-A-4. 56. Les types inductifs
        • IX-A-5. 57. Le typage des fonctions partielles
        • IX-A-6. 58. Les catamorphismes
        • IX-A-7. 59. Les paramorphismes
  • Partie IX
    • X. Partie IX
      • X-A. Application aux tableaux extensibles
        • X-A-1. 60. Arbres de Braun
        • X-A-2. 61. L'interface
        • X-A-3. 62. L'implémentation
        • X-A-4. 63. La performance et la persistance
        • X-A-5. 64. Les itérateurs
  • Partie X
    • XI. Partie X
      • XI-A. Application à la génération de code machine
        • XI-A-1. 65. Les familles de processeurs
        • XI-A-2. 66. Architecture processeur et performance
        • XI-A-3. 67. Le langage machine
        • XI-A-4. 68. Le langage source
        • XI-A-5. 69. Quelques compléments sur le langage OCaml
        • XI-A-6. 70. La traduction en code machine
        • XI-A-7. 71. Le traducteur en action
        • XI-A-8. Pour aller plus loin
  • Remerciements
    • XII. Remerciements

Dans ce tutoriel nous allons aborder les concepts du paradigme fonctionnel et les situer dans le cadre plus large d'une démarche méthodologique qui vise à atteindre la qualité totale au plus tôt. Dans son but cette démarche s'oppose à la tendance naturelle qui repousse les difficultés à plus tard, au mieux lors du débogage, au pire lors du test qualité, ou pire encore, lors de l'utilisation. Nous illustrons par de nombreux exemples comment le paradigme fonctionnel et l'approche qualité coopèrent à améliorer la confiance du programmeur.

Lire l'article.

Article lu   fois.

L'auteur

Damien Guichard Site personnel Blog

L´article

Publié le 5 mars 2008 - Mis à jour le 11 janvier 2013 

Version en ligne

Version PDF Version hors-ligne

ePub , Azw et Mobi

Lire l'article

Liens sociaux

Viadeo Twitter Google Bookmarks ! Facebook Digg del.icio.us MySpace Yahoo MyWeb Blinklist Netvouz Reddit Simpy StumbleUpon Bookmarks Windows Live Favorites 

suivant
  

Les sources présentées sur cette page sont libres de droits et vous pouvez les utiliser à votre convenance. Par contre, la page de présentation constitue une œuvre intellectuelle protégée par les droits d'auteur. Copyright © 2013 Damien Guichard. Aucune reproduction, même partielle, ne peut être faite de ce site et de l'ensemble de son contenu : textes, documents, images, etc. sans l'autorisation expresse de l'auteur. Sinon vous encourez selon la loi jusqu'à trois ans de prison et jusqu'à 300 000 € de dommages et intérêts. Cette page est déposée.

 
 

Responsable bénévole de la rubrique iOS : le Rédacteur en Chef -

 
 
Developpez.com

Nous contacter

Participez

Informations légales

 
Services

Forum iOS

Blogs

Hébergement

 
Partenaires

Hébergement Web

Copyright © 2000-2013 - www.developpez.com