OCaml

Rédaction des cahiers de charge, Extraction des exigences et des spécifications, Elaboration du plan de test, Rédaction du bilan de campagne de tests. Programmation Desktop/Intranet/Extranet : Java, .net, C, C++, C#/Asp.net, J2EE, Assembleur, Shell, Ocaml Gestion des versions / Automatisation / Tests : SVN, GIT/Maven, Ant/Hudson, Jenkins/JUnit, Doxygen/JavaDoc Méthodes de Conceptions, Base de Données & SGBD : UML, Merise, Entité Relation-ship, SQL, PL/SQL, Oracle, MySQL, DB2, SQL Server, PostgreSQL

middleware-langages peut être une option intéressante. Certains langages fournissent en effet de façon native des services de type middleware. Là encore, les solutions vont du plus simple au plus compliqué. Nous pouvons citer quelques exemples : * Ocaml  * JAVA 5. Procédures et applications distribuées (couche 5 OSI) Nous ne nous sommes intéressés jusqu’ici qu’au simple encodage et transport des données. Ce modèle simple suppose que la machine qui va récupérer les données sait exactement

FLEXunit pour Adobe Flex ; Google Test 9 et Boost Test 10 pour C++ HUnit11pour Haskell JSUnit12 pour JavaScript ; JUnit13 et TestNG14 pour Java ; NUnit15 pour .NET ; NUnitASP16 pour ASP.NET (support interrompu depuis le 31 janvier 2008) ; OUnit17 pour OCaml OCunit pour Objective C; PHPUnit18 et SimpleTest19 pour PHP ; utPLSQL 20 pour PL/SQL  ; Unit.js 21 pour JavaScript ; unittest et PyUnit pour Python ; Test::Unit pour Ruby ; Test::More pour Perl; SUnit22 pour Smalltalk RPGUnit23 pour RPG

 Entreprises   IntroducHon  à  la  science  informaHque  /  Guillaume  HUTZLER   38   19   07/09/15   Plus  précisément…   •  La  programmaHon   –  –  –  –  ImpéraHve  (Processing)  :  S1-­‐S2   FoncHonnelle  (ocaml)  :  S3   Objet  (Java)  :  S4-­‐L3   Web   •  StaHque  (HTML/CSS)  :  S2   •  Dynamique  (Javascript)  :  S3   •  L’infrastructure  matérielle  et  systèmes/réseaux   –  –  –  –  –  •  Architecture  :

Remèdes : * complexe : vérifier statiquement la correction du traitement des chaines [Dor et al., 2001, Simon et King, 2002] * simple : utiliser un langage qui alloue dynamiquement la mémoire et vérifie dynamiquement les indices des tableaux (OCaml) Denial of Service Risque : * Perte d’activité, perte de connectivite Causes (fréquentes) : * Un réseau de machines infestées se connecte a un serveur et sature ses ressources (réseau, processeur

laTeX permettent de convertir depuis LaTeX vers du PDF Sphinx et docutils peuvent générer des fichiers PDF à partir de sources écrites en reStructuredText OCamlDoc permet de générer une version PDF d'une documentation d'un projet OCaml Édition Adobe Acrobat LibreOffice Apache OpenOffice Inkscape PDFedit Pdftk Conversion Apache OpenOffice GIMP LibreOffice pdf-parser pdf2ps en ligne de commande pdf2djvu en ligne

s'il est plus grand que le maximum connu, il devient le maximum actuel à son tour. À la fin du parcours, le maximum actuel est le maximum de tout le tableau. V deux implémentations de cet algorithme, l'une en PHP, l'autre en OCaml : oici Code : PHP Code : OCaml let maximum liste = let rec parcours max_actuel = function | [] -> max_actuel | elem::reste -> parcours (max max_actuel elem) reste www.openclassrooms.com Partie 1 : Présentation de la notion de complexité algorithmique

souligner le côté encore artisanal de cette jeune science. Toutefois, la forte scientificité des trois premiers volumes de son encyclopédie suggère qu'il s'agit là plutôt d'une boutade de sa part. Au demeurant, la maîtrise de langages comme Haskell, Ocaml ou même APL demande un niveau d'abstraction tout de même plus proche de celui des mathématiques que des deux disciplines citées. La miniaturisation des composants et la réduction des coûts de production, associées à un besoin de plus en plus pressant

fonctionnel. Objectifs : - Lambda calcul - Lexique, syntaxe, sémantique - Automates, récursion, ordre supérieur, convergence - Typage, inférence - Grammaire, Traitement des langages - Projets dans la mouvance des recherches effectuées à l’Inria - OCaml, Haskell, Scheme, Lisp,... Année 42.3 PRLIB-3-001 Projet Libre II 20 crédits Résumé : Phase finale du chefd’oeuvre de chaque groupe, réalisé sur une durée totale de 1 an et demi. Objectifs : - Cahier des charges - Plannification - Recettage -

programme est construit par fonctions, retournant un nouvel état en sortie et prenant en entrée la sortie d'autres fonctions. Lorsque la fonction s'appelle elle-même, on parle alors de récursivité. Exemples Langages fonctionnels Haskell • ML/OCaml/F# • Lisp/Common Lisp • Opa • Scheme • XSLT Langages déclaratifs Clips • Prolog OPS5, et Mercury 1.3. Langages Orientés Objets Il s'agit de programmer en définissant des classes qui permettent, à l'exécution, de créer