Accès plus rapide que le navigateur!
31 relations: Ada (langage), Analyse statique de programmes, Association for Computing Machinery, État de New York, États-Unis, C (langage), C++, Environnement de développement, Fichier exécutable, Food and Drug Administration, Fortune 500, Grammaire attribuée, Intel, Interface de programmation, Ithaca (New York), Jeu d'instructions, Médicament, National Aeronautics and Space Administration, National Highway Traffic Safety Administration, Nourriture, Préprocesseur, Qualité logicielle, Rétro-ingénierie, Sémantique des langages de programmation, Sûreté de fonctionnement, Springer Science+Business Media, Système embarqué, Université Cornell, Université du Wisconsin, Vérification formelle, X86.
Ada (langage)
Ada est un langage de programmation orienté objet dont les premières versions remontent au début des années 1980.
Nouveau!!: GrammaTech et Ada (langage) · Voir plus »
Analyse statique de programmes
En informatique, la notion d’analyse statique de programmes couvre une variété de méthodes utilisées pour obtenir des informations sur le comportement d'un programme lors de son exécution sans réellement l'exécuter.
Nouveau!!: GrammaTech et Analyse statique de programmes · Voir plus »
Association for Computing Machinery
L'ACM (en anglais « », littéralement « association pour les machines de calcul ») est une association internationale à but non lucratif fondée en 1947, la première à être vouée à l'informatique.
Nouveau!!: GrammaTech et Association for Computing Machinery · Voir plus »
État de New York
L'État de New York (en anglais: State of New York, ou simplement New York) est un État des États-Unis, quatrième plus peuplé du pays avec d'habitants en 2022.
Nouveau!!: GrammaTech et État de New York · Voir plus »
États-Unis
Les États-Unis (prononcé), en forme longue les États-Unis d'AmériqueComme la plupart des pays, les États-Unis ont un nom « court » pour l'usage courant, pédagogique et cartographique, et un nom « long » pour l'usage officiel.
Nouveau!!: GrammaTech et États-Unis · Voir plus »
C (langage)
C est un langage de programmation impératif, généraliste et de bas niveau.
Nouveau!!: GrammaTech et C (langage) · Voir plus »
C++
C++ est un langage de programmation compilé permettant la programmation sous de multiples paradigmes, dont la programmation procédurale, la programmation orientée objet et la programmation générique.
Nouveau!!: GrammaTech et C++ · Voir plus »
Environnement de développement
En programmation informatique, un environnement de développement est un ensemble d'outils qui permet d'augmenter la productivité des programmeurs qui développent des logiciels Donald G. Firesmith et B. Henderson-Sellers,, - 2002.
Nouveau!!: GrammaTech et Environnement de développement · Voir plus »
Fichier exécutable
En informatique et en technologies de l'information, un fichier exécutable, parfois (par métonymie) un programme, ou simplement un exécutable est un fichier contenant un programme et identifié par le système d'exploitation en tant que tel.
Nouveau!!: GrammaTech et Fichier exécutable · Voir plus »
Food and Drug Administration
La (en français: « Agence fédérale américaine des produits alimentaires et médicamenteux ») est l'administration américaine des denrées alimentaires et des médicaments.
Nouveau!!: GrammaTech et Food and Drug Administration · Voir plus »
Fortune 500
Fortune 500 est le classement des 500 premières entreprises américaines, classées selon l'importance de leur chiffre d'affaires.
Nouveau!!: GrammaTech et Fortune 500 · Voir plus »
Grammaire attribuée
Une grammaire attribuée est une manière formelle de définir des attributs pour les productions d'une grammaire, associant ces attributs à des valeurs.
Nouveau!!: GrammaTech et Grammaire attribuée · Voir plus »
Intel
Intel Corporation est une entreprise américaine fondée en 1968 par Gordon Moore, Robert Noyce et Andrew Grove.
Nouveau!!: GrammaTech et Intel · Voir plus »
Interface de programmation
routine appelant une base de données dans une interface de programmation. En informatique, une interface de programmation d’application ou interface de programmation applicative, souvent désignée par le terme API pour « » en anglais, est un ensemble normalisé de classes, de méthodes, de fonctions et de constantes qui sert de façade par laquelle un logiciel offre des services à d'autres logiciels.
Nouveau!!: GrammaTech et Interface de programmation · Voir plus »
Ithaca (New York)
Ithaca est une municipalité et le chef-lieu du comté de Tompkins, dans l'État de New York, aux États-Unis.
Nouveau!!: GrammaTech et Ithaca (New York) · Voir plus »
Jeu d'instructions
Le jeu d'instructions est l'ensemble des instructions-machine qu'un processeur d'ordinateur peut exécuter.
Nouveau!!: GrammaTech et Jeu d'instructions · Voir plus »
Médicament
Boîtes de médicaments Ampoules Un médicament est toute substance ou composition présentée comme possédant des propriétés curatives ou préventives à l'égard des maladies humaines ou animales.
Nouveau!!: GrammaTech et Médicament · Voir plus »
National Aeronautics and Space Administration
Lancement du Saturn V, lanceur du programme Apollo, projet emblématique de la NASA. La National Aeronautics and Space Administration (en français: « Administration nationale de l'aéronautique et de l'espace »), plus connue sous son acronyme NASA, est l'agence fédérale responsable de la majeure partie du programme spatial civil des États-Unis.
Nouveau!!: GrammaTech et National Aeronautics and Space Administration · Voir plus »
National Highway Traffic Safety Administration
en La National Highway Traffic Safety Administration (NHTSA) est une agence fédérale américaine des États-Unis chargée de la sécurité routière.
Nouveau!!: GrammaTech et National Highway Traffic Safety Administration · Voir plus »
Nourriture
légumes et des knödel (cuisine allemande). De manière générale, la nourriture désigne les aliments d'origine animale, végétale, fongique (parfois bactérienne ou minérale) ou chimique, consommés par des êtres vivants à des fins d'alimentation.
Nouveau!!: GrammaTech et Nourriture · Voir plus »
Préprocesseur
Schéma d'un préprocesseur. En informatique, un préprocesseur est un programme qui procède à des transformations sur un code source, avant l'étape de traduction proprement dite (compilation ou interprétation).
Nouveau!!: GrammaTech et Préprocesseur · Voir plus »
Qualité logicielle
En informatique et en particulier en génie logiciel, la qualité logicielle est une appréciation globale d'un logiciel, basée sur de nombreux indicateurs.
Nouveau!!: GrammaTech et Qualité logicielle · Voir plus »
Rétro-ingénierie
La rétro-ingénierie (aussi connue sous le nom d'ingénierie inversée ou de rétro-conception) est une méthode qui tente d'expliquer, par déduction et analyse systémique, comment un mécanisme, un dispositif, un système ou un programme existant, accomplit une tâche sans connaissance précise de la manière dont il fonctionne.
Nouveau!!: GrammaTech et Rétro-ingénierie · Voir plus »
Sémantique des langages de programmation
En informatique théorique, la sémantique formelle (des langages de programmation) est l’étude de la signification des programmes informatiques vus en tant qu’objets mathématiques.
Nouveau!!: GrammaTech et Sémantique des langages de programmation · Voir plus »
Sûreté de fonctionnement
La sûreté de fonctionnement est l'aptitude d'un système à remplir une ou plusieurs fonctions requises dans des conditions données.
Nouveau!!: GrammaTech et Sûreté de fonctionnement · Voir plus »
Springer Science+Business Media
Springer Science+Business Media ou Springer (anc. Springer Verlag) est un groupe éditorial et de presse spécialisée d'origine allemande.
Nouveau!!: GrammaTech et Springer Science+Business Media · Voir plus »
Système embarqué
Un système embarqué est un système électronique et informatique autonome, souvent temps réel, spécialisé dans une tâche précise.
Nouveau!!: GrammaTech et Système embarqué · Voir plus »
Université Cornell
L'université Cornell (en anglais, Cornell University ou plus simplement Cornell) est une université privée américaine située principalement dans la ville d'Ithaca dans l’État de New York (États-Unis).
Nouveau!!: GrammaTech et Université Cornell · Voir plus »
Université du Wisconsin
Le système des universités du Wisconsin désigne un système d'universités dans l'État du Wisconsin (États-Unis).
Nouveau!!: GrammaTech et Université du Wisconsin · Voir plus »
Vérification formelle
On parle de vérification formelle quand on utilise les techniques des méthodes formelles.
Nouveau!!: GrammaTech et Vérification formelle · Voir plus »
X86
La famille x86 regroupe les microprocesseurs compatibles avec le jeu d'instructions de l'Intel 8086.
Nouveau!!: GrammaTech et X86 · Voir plus »
