Source code

Bonjour à tous "); } Bibliothèque s en C (texte) *.c Bibliothèques pré-compilées (fichiers objet) Fichiers d’inclusion *.h Editeur de lien LINKER Fichier source C contenant la fonction main Préprocesseur Compilateur C Met en forme le fichier source C à partir de directives #define, #include Transforme le fichier C en un fichier objet (code machine), les fonctions précompilés sont déclarées dans les fichiers *.h Lie (donne des adresses aux fonctions) tous les fichiers objets et crée un fichier

sur du logiciel peut être obsolète dans un temps assez court et la protection par brevet n'est pas toujours adaptée à ce type de technologie. Pour une invention de logiciel, nous intervenons également pour constituer des droits d'auteur sur le code source de façon à renforcer la protection. Montrer votre invention en toute confidentialité La divulgation écrite ou orale de votre invention avant le dépôt d'une demande de brevet constitue un obstacle non remédiable à la validité du brevet qui

graphiques de MATLAB, il devient très facile de modifier interactivement les différents paramètres des graphiques pour les adapter selon nos souhaits. L'approche ouverte de MATLAB permet de construire un outil sur mesure. On peut inspecter le code source et les algorithmes des bibliothèques de fonctions (Toolboxes), modifier des fonctions existantes et ajouter d’autres. MATLAB possède son propre langage, intuitif et naturel qui permet des gains de temps de CPU spectaculaires par rapport à des

(2) 8  Reproductivité des résultats.    La reproductivité des résultats est un critère essentiel en science afin d’assurer l’objectivité de la conclusion. En informatique, cela fait souvent défaut puisque l’implémentation (code source) n’est pas systématiquement exigée dans les publications scientifiques. Expérimentations sur des jeux de données reconnus. Ensemble de benchmarks établis.  Ex: domaines du ICAPS / IPC, données odométrie et laser pour construction de cartes

un diagramme de composants 30 1. Définition d’un diagramme de composants Le diagramme g de composants p illustre l’organisation des composants logiciels et leurs dépendances (aspect physique). p ( p p y q ) Un composant peut être : Du code source Un composant nécessaire à l’exécution p g Un programme 31 Notations 32 2. Exemple d’un diagramme de composants 33 DIAGRAMME DE DÉPLOIEMENT Diagramme de Déploiement g p 1. Rôle du diagramme de déploiement Rôle du diagramme de déploiement

les utilisateurs et validation Formation des utilisateurs Utilisation, maintenance, évolution Retrait Grégory Bonnet, Bruno Zanuttini, Yann Mathet Génie logiciel 6/27 Délivrables Exemples : fichiers binaires (logiciel lui-même) code source (éventuellement) manuel d’installation manuel d’utilisation résultats des tests cahier des charges. . . Objectifs : documenter chaque étape capitaliser les connaissances sur le projet obtenir des retours du client Grégory Bonnet, Bruno

. B.4 Arbre binaire de recherche optimal . B.5 Optimisation . . . . . . . . . . . . . C TP3 - Sommes de sous-ensembles C.1 Premier algorithme . . . . . . . . C.2 Deuxi`me algorithme . . . . . . . e C.3 Optimisation & parall´lisation . . e C.4 Code source comment´ . . . . . . e D TP D.1 D.2 D.3 D.4 D.5 D.6 IN311 : le sac ` ados a Position du probl`me . . . . . . . e Equation du r´currence . . . . . . e Complexit´ . . . . . . . . . . . . e Reconstruction de la solution . . Exemples d’execution .

instantanément lorsque le serveur principal devient indisponible HVM LDT Network Attached Storage NUMA MMU MV Open Source Popek et Goldberg Privileged instructions Hardware Virtual Machine, machine virtualisée matériel assisté Local Description Table Périphérique de stockage relié à un réseau Non Uniform Memory Access Memory Management Unit Machine Virtuelle Dit d'un logiciel donc le code source est accessible et dont les modifications sont autorisées Formal Requirements for Virtualizable Third Generation

INF5000 — Automne 2013 2 / 29 G´ en´ eration d’analyseur lexical G´ en´ erateur d’analyseur lexical Donn´ee : une description d’un langage R´esultat : le code source d’un analyseur Exemple : SableCC4 G´en`ere du Java (entre autres) Description langage Jean Privat (UQAM) SableCC4 04—Analyseur lexical Source Java INF5000 — Automne 2013 3 / 29 Description de langage Grammar demo ; Lexer letter = ’a ’ .. ’z ’ ; digit = ’0 ’ . . ’9 ’ ; i d e n t i f i e r = letter

|white-space |normal : le passage à la ligne est automatique (par défaut) nowrap : pas de passage à la ligne automatique, à moins qu’une balise xHTML comme ne soit présente. pre : le passage à la ligne se fait tel que le texte a été saisi dans le code source (comme la balise xHTML ) | | Propriétés de couleur et de fond Couleur Type |Propriété |Valeurs possibles | |Couleur de texte |color |Indiquer une couleur avec l’une des méthodes suivantes : En tapant le nom de la couleur en anglais (black