Accès plus rapide que le navigateur!
160 relations: A Sharp (.NET), Ada, Ada Initiative, Ada Lovelace, Advanced Computer Techniques, Affectation (informatique), Agar (moteur), Alexander Stepanov, Algèbre de Boole (logique), Alsys, AN/APG-77, Années 1980, Arithmétique saturée, Association for Computing Machinery, École centrale de Lille, École centrale de Lyon, Édition de liens, Bluefish, Booléen, Bull (entreprise), C (langage), C++, Charles Antony Richard Hoare, Chronologie de la place des femmes dans les sciences, Chronologie des langages de programmation, Chronologie des sciences et techniques en France, Classe (informatique), CLU (langage), Combined Programming Language, Commentaire (informatique), Common Language Infrastructure, Common Lisp, Common Lisp Object System, Comparaison des langages de programmation multi-paradigmes, Compilateur, Concurrent C, Control Program/Monitor, Dangling else, Définition d'opérateur, Dhrystone, Duqu, Eclipse (projet), Eiffel (langage), Elliott Brothers, Emacs, Entier (informatique), Erlang (langage), Espace de noms, Esterel Technologies, ETFMS, ..., Fonction imbriquée, François Sallé, Généricité, GHDL, GNAT, GNU Compiler Collection, Goto (informatique), Grady Booch, GrammaTech, GTK (boîte à outils), Héritage multiple, Histoire des langages de programmation, Ichbiah, Identificateur, Informatique embarquée, Instruction conditionnelle (programmation), Instruction nulle, Interface (informatique), Iris 80, Java (langage), Jean E. Sammet, Jean Ichbiah, Jean-Raymond Abrial, Joint Technical Committee 1, JSON Web Token, Langage de description de matériel, Langage de programmation à usage général, Lego Mindstorms NXT, Lis, Liste d'élèves de l'École polytechnique, Liste d'informaticiens et précurseurs de l'informatique, Liste d'inventions françaises, Liste de langages de programmation, Liste de normes ISO par domaines, Liste de palindromes français, Liste des paquets GNU, Lockheed Martin F-22 Raptor, Lovelace, Lua, Lustre (langage), Marqueur (édition de texte), Mars 1940, MaRTE OS, Métaprogrammation, Méthode B, Mise en œuvre, ML (langage), Module (programmation), Ncurses, Nombre cyclomatique, Object-PL/SQL, Occam (langage), Open Database Connectivity, Paquetage, Parallélisme (informatique), Pas de balle en argent, Pascal (langage), PL/SQL, Pointeur (programmation), PolySpace, Problème du diamant, Processeur, Profil Ravenscar, Programmation concurrente, Programmation impérative, Programmation modulaire, Programmation orientée aspect, Programmation orientée objet, Programmation par contrat, Programmation procédurale, Programmation structurée, Puissance d'un nombre, Qt, Quine (informatique), Règles de codage, Réentrance, Reqtify, Resource acquisition is initialization, Rhapsody (modélisation), Rosetta Code, Ruby, Scientifique, Sensibilité à la casse, Simple and Fast Multimedia Library, Simple DirectMedia Layer, Smultron, Spark, Standard Template Library, Station spatiale internationale, Structure de contrôle, SYNTAX, Système octal, Table des symboles, Telelogic, Test unitaire, Texte structuré, Thread (informatique), Tk (informatique), Transmission voie-machine, Typage fort, UML (informatique), VHDL, VxWorks, WebSocket, XL (langage), Yacc (logiciel), 1983 en informatique, 1983 en science, 2012 en informatique, 25 mars. Développer l'indice (110 plus) »
A Sharp (.NET)
A# est le portage du langage de programmation Ada pour la plateforme Microsoft.
Nouveau!!: Ada (langage) et A Sharp (.NET) · Voir plus »
Ada
Ada peut faire référence à.
Nouveau!!: Ada (langage) et Ada · Voir plus »
Ada Initiative
Ada Initiative est une organisation à but non lucratif qui cherche à accroître la participation des femmes au mouvement de la culture libre, à la technologie et la culture de l'open source.
Nouveau!!: Ada (langage) et Ada Initiative · Voir plus »
Ada Lovelace
Ada Lovelace, de son nom complet Augusta Ada King, comtesse de Lovelace, née Ada Byron le à Londres et morte le à Marylebone dans la même ville, est une pionnière de la science informatique.
Nouveau!!: Ada (langage) et Ada Lovelace · Voir plus »
Advanced Computer Techniques
Advanced Computer Techniques (ACT) est une société américaine d'édition de logiciel du début des années 1960 jusqu'au début des années 1990.
Nouveau!!: Ada (langage) et Advanced Computer Techniques · Voir plus »
Affectation (informatique)
En algorithmique et en programmation informatique, une affectation, aussi appelée assignation par anglicisme, est une structure qui permet d'attribuer une valeur à une variable.
Nouveau!!: Ada (langage) et Affectation (informatique) · Voir plus »
Agar (moteur)
Agar est un ensemble de bibliothèques logicielles pour les interfaces graphique.
Nouveau!!: Ada (langage) et Agar (moteur) · Voir plus »
Alexander Stepanov
Alexander Alexandrovich Stepanov (en russe: Александр Александрович Степанов) est un informaticien d'origine soviétique, né à Moscou le, où il a étudié les mathématiques.
Nouveau!!: Ada (langage) et Alexander Stepanov · Voir plus »
Algèbre de Boole (logique)
Lalgèbre de Boole, ou calcul booléen, est la partie des mathématiques qui s'intéresse à une approche algébrique de la logique, vue en termes de variables, d'opérateurs et de fonctions sur les variables logiques, ce qui permet d'utiliser des techniques algébriques pour traiter les expressions à deux valeurs du calcul des propositions.
Nouveau!!: Ada (langage) et Algèbre de Boole (logique) · Voir plus »
Alsys
Alsys était un éditeur d'environnements de programmation connu, à la fin du, comme spécialiste du langage de programmation Ada.
Nouveau!!: Ada (langage) et Alsys · Voir plus »
AN/APG-77
L'AN/APG-77 est un radar à antenne active multifonction installé sur l'avion de combat américain F-22 Raptor.
Nouveau!!: Ada (langage) et AN/APG-77 · Voir plus »
Années 1980
Avênement de l'ordinateur personnel avec l'IBM PC 5150. Légende/Fin Les années 1980 couvrent la période du au.
Nouveau!!: Ada (langage) et Années 1980 · Voir plus »
Arithmétique saturée
Larithmétique saturée opère dans un domaine de valeurs limité par deux bornes, disons m et M. Une opération en arithmétique saturée fournit des résultats tels que.
Nouveau!!: Ada (langage) et Arithmétique saturée · 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!!: Ada (langage) et Association for Computing Machinery · Voir plus »
École centrale de Lille
L’École centrale de Lille (Centrale Lille, EC-Lille) est l'une des cinq plus anciennes écoles d'ingénieurs de France dont les anciens élèves sont cofondateurs de la fédération des associations et sociétés françaises d'ingénieurs diplômés, parmi les françaises accréditées au à délivrer un diplôme d'ingénieur.
Nouveau!!: Ada (langage) et École centrale de Lille · Voir plus »
École centrale de Lyon
Henri Germain, fondateur du Crédit Lyonnais et du Centralien de Paris Joseph-Alfred Ancel.. LÉcole centrale de Lyon (ou Centrale Lyon) est l'une des françaises accréditées au à délivrer un diplôme d'ingénieur.
Nouveau!!: Ada (langage) et École centrale de Lyon · Voir plus »
Édition de liens
Illustration du principe de l'édition de liens Première étape de la génération d'un programme informatique, la compilation d'un fichier source vers un fichier objet laisse l'identification de certains symboles à plus tard.
Nouveau!!: Ada (langage) et Édition de liens · Voir plus »
Bluefish
Bluefish est un éditeur de texte libre destiné à la programmation.
Nouveau!!: Ada (langage) et Bluefish · Voir plus »
Booléen
George Boole (1864-1865) L'homme ayant mis en place la première structure algébrique utilisée en logique mathématique, en informatique et en électronique. En programmation informatique, un booléen est un type de variable à deux états (généralement notés vrai et faux), destiné à représenter les valeurs de vérité de la logique et l'algèbre booléenne.
Nouveau!!: Ada (langage) et Booléen · Voir plus »
Bull (entreprise)
Bull est une société française spécialisée dans l'informatique professionnelle, fondée en 1930 notamment pour exploiter les brevets de l'ingénieur norvégien Fredrik Rosing Bull.
Nouveau!!: Ada (langage) et Bull (entreprise) · Voir plus »
C (langage)
C est un langage de programmation impératif, généraliste et de bas niveau.
Nouveau!!: Ada (langage) 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!!: Ada (langage) et C++ · Voir plus »
Charles Antony Richard Hoare
Charles Antony Richard Hoare (généralement appelé Tony Hoare ou C. A. R. Hoare), né le à Colombo au Ceylan (maintenant Sri Lanka), est un professeur émérite britannique du Oxford University Computing Laboratory.
Nouveau!!: Ada (langage) et Charles Antony Richard Hoare · Voir plus »
Chronologie de la place des femmes dans les sciences
Ceci est une chronologie de la place des femmes en sciences.
Nouveau!!: Ada (langage) et Chronologie de la place des femmes dans les sciences · Voir plus »
Chronologie des langages de programmation
Cet article recense une chronologie non exhaustive des langages de programmation.
Nouveau!!: Ada (langage) et Chronologie des langages de programmation · Voir plus »
Chronologie des sciences et techniques en France
Pas de description.
Nouveau!!: Ada (langage) et Chronologie des sciences et techniques en France · Voir plus »
Classe (informatique)
En programmation orientée objet, la déclaration d'une classe regroupe des membres, méthodes et propriétés (attributs) communs à un ensemble d'objets.
Nouveau!!: Ada (langage) et Classe (informatique) · Voir plus »
CLU (langage)
CLU est un langage de programmation créé au Massachusetts Institute of Technology (MIT) par Barbara Liskov et ses étudiants entre 1974 et 1975.
Nouveau!!: Ada (langage) et CLU (langage) · Voir plus »
Combined Programming Language
CPL était un langage de programmation développé conjointement par le laboratoire de mathématiques (Mathematical Laboratory) de l'université de Cambridge et l'unité d'informatique (Computer Unit) de l'université de Londres au cours des années 1960.
Nouveau!!: Ada (langage) et Combined Programming Language · Voir plus »
Commentaire (informatique)
Java avec coloration syntaxique: le code source est en bleu, les commentaires en rouge (commentaires en bloc) et en vert (commentaires en ligne). Les commentaires sont, en programmation informatique, des portions du code source ignorées par le compilateur ou l’interpréteur, car destinées en général à un lecteur humain et non censées influencer l’exécution du programme.
Nouveau!!: Ada (langage) et Commentaire (informatique) · Voir plus »
Common Language Infrastructure
La Common Language Infrastructure (CLI) est une spécification ouverte développée par Microsoft pour sa plate-forme.NET qui décrit l'environnement d'exécution de la machine virtuelle basé sur CIL.
Nouveau!!: Ada (langage) et Common Language Infrastructure · Voir plus »
Common Lisp
Common Lisp (en abrégé CL) est une spécification du langage Lisp standardisée par l'ANSI.
Nouveau!!: Ada (langage) et Common Lisp · Voir plus »
Common Lisp Object System
Le Common Lisp Object System, souvent abrégé en CLOS (prononcer « si-lauss »), est l'ensemble des primitives présentes dans le langage de programmation Common Lisp pour construire un programme orienté objet.
Nouveau!!: Ada (langage) et Common Lisp Object System · Voir plus »
Comparaison des langages de programmation multi-paradigmes
Les langages de programmation peuvent être regroupées par le nombre et les types de paradigmes pris en charge.
Nouveau!!: Ada (langage) et Comparaison des langages de programmation multi-paradigmes · Voir plus »
Compilateur
En informatique, un compilateur est un programme qui transforme un code source en un code objet.
Nouveau!!: Ada (langage) et Compilateur · Voir plus »
Concurrent C
Le concurrent C est une extension du langage de programmation C développée aux laboratoires Bell d'AT&T en 1984.
Nouveau!!: Ada (langage) et Concurrent C · Voir plus »
Control Program/Monitor
CP/M, sigle de Control Program/Monitor ou /Microcomputer, est un système d'exploitation créé en 1974 par Gary Kildall, fondateur de Digital Research.
Nouveau!!: Ada (langage) et Control Program/Monitor · Voir plus »
Dangling else
En informatique, et notamment dans la conception et l'analyse des langages de programmation, le problème du (anglais que l'on pourrait traduire par le problème du « sinon pendant ») est un problème de programmation informatique qui résulte de l'ambiguïté de l'interprétation de la clause sinon dans l'imbrication de deux instructions conditionnelles de la forme si-alors-sinon.
Nouveau!!: Ada (langage) et Dangling else · Voir plus »
Définition d'opérateur
La définition d'opérateur est une fonctionnalité offerte par certains langages de programmation qui permet d'utiliser des opérateurs (comme +,.
Nouveau!!: Ada (langage) et Définition d'opérateur · Voir plus »
Dhrystone
Dhrystone est un programme de test de performance, créé par Reinhold Weicker en 1984.
Nouveau!!: Ada (langage) et Dhrystone · Voir plus »
Duqu
Duqu est un ver informatique découvert le et que l'on présume lié à Stuxnet.
Nouveau!!: Ada (langage) et Duqu · Voir plus »
Eclipse (projet)
Eclipse est un projet, décliné et organisé en un ensemble de sous-projets de développements logiciels, de la fondation Eclipse visant à développer un environnement de production de logiciels libre qui soit extensible, universel et polyvalent, en s'appuyant principalement sur Java.
Nouveau!!: Ada (langage) et Eclipse (projet) · Voir plus »
Eiffel (langage)
Eiffel est un langage de programmation orienté objet (POO) conçu par Bertrand Meyer, auteur de l'ouvrage Conception et Programmation orientées objet qui fait figure de référence pour la conception orientée objet.
Nouveau!!: Ada (langage) et Eiffel (langage) · Voir plus »
Elliott Brothers
Le constructeur d'ordinateurs Elliott Brothers est l'un des premiers fabricants d'ordinateurs en Grande-Bretagne.
Nouveau!!: Ada (langage) et Elliott Brothers · Voir plus »
Emacs
Emacs est une famille d'éditeurs de texte disposant d'un ensemble extensible de fonctionnalités.
Nouveau!!: Ada (langage) et Emacs · Voir plus »
Entier (informatique)
En informatique, un entier est un type de donnée qui représente un sous-ensemble fini de nombres entiers relatifs.
Nouveau!!: Ada (langage) et Entier (informatique) · Voir plus »
Erlang (langage)
LYME et LYCE sont basés sur '''Erlang''' et offrent des alternatives à LAMP. Erlang est un langage de programmation, supportant plusieurs paradigmes: concurrent, temps réel, distribué.
Nouveau!!: Ada (langage) et Erlang (langage) · Voir plus »
Espace de noms
Le terme espace de noms (namespace) désigne en informatique un lieu abstrait conçu pour accueillir des ensembles de termes appartenant à un même répertoire, comme dans l'exemple suivant où les espaces de noms sont nommés « Jean-Paul » et « Jean-Pierre ».
Nouveau!!: Ada (langage) et Espace de noms · Voir plus »
Esterel Technologies
Esterel Technologies est une entreprise active de 2000 à 2018, principal fournisseur mondial d’outils de conception, de validation et de génération de code pour les applications critiques embarquées à partir de leur description formelle sous forme de modèle, dans les industries aérospatiale, de défense, du transport ferroviaire et de l'énergie.
Nouveau!!: Ada (langage) et Esterel Technologies · Voir plus »
ETFMS
ETFMS signifie Enhanced Tactical Flow Management System en français: Système amélioré de gestion tactique des flux (aériens).
Nouveau!!: Ada (langage) et ETFMS · Voir plus »
Fonction imbriquée
Une fonction imbriquée ou fonction interne est une fonction dont la définition est encapsulée dans une autre fonction.
Nouveau!!: Ada (langage) et Fonction imbriquée · Voir plus »
François Sallé
François Sallé, né le à Antibes et mort le à Versailles, est un ingénieur et dirigeant d'entreprises français du secteur de l'informatique.
Nouveau!!: Ada (langage) et François Sallé · Voir plus »
Généricité
En programmation, la généricité (ou programmation générique), consiste à définir des algorithmes identiques opérant sur des données de types différents.
Nouveau!!: Ada (langage) et Généricité · Voir plus »
GHDL
GHDL ou GNU VHDL est un logiciel libre de synthèse logique, vérification et simulation de programme développé ou transcompilé dans le langage de description de matériel (HDL) VHDL.
Nouveau!!: Ada (langage) et GHDL · Voir plus »
GNAT
GNAT est le compilateur Ada du projet GNU.
Nouveau!!: Ada (langage) et GNAT · Voir plus »
GNU Compiler Collection
, abrégé en GCC, est un ensemble de compilateurs créés par le projet GNU.
Nouveau!!: Ada (langage) et GNU Compiler Collection · Voir plus »
Goto (informatique)
L’instruction goto (littéralement va à) est une instruction présente dans de nombreux langages de programmation.
Nouveau!!: Ada (langage) et Goto (informatique) · Voir plus »
Grady Booch
Grady Booch (né le) est le créateur d'une méthode d'analyse et de conception orientée objet qui porte son nom: la méthode Booch; en collaboration avec James Rumbaugh, créateur de la notation OMT, et avec Ivar Jacobson, créateur de la méthode OOSE, il est à l'origine du langage de modélisation UML.
Nouveau!!: Ada (langage) et Grady Booch · Voir plus »
GrammaTech
GrammaTech est une société américaine spécialisée dans les outils d'aide au développement logiciel.
Nouveau!!: Ada (langage) et GrammaTech · Voir plus »
GTK (boîte à outils)
GTK (The GIMP Toolkit, anciennement GTK+) est un ensemble de bibliothèques logicielles, c'est-à-dire un ensemble de fonctions permettant de réaliser des interfaces graphiques.
Nouveau!!: Ada (langage) et GTK (boîte à outils) · Voir plus »
Héritage multiple
En informatique, l’héritage multiple est un mécanisme de programmation orientée objet dans lequel une classe peut hériter de comportements et de fonctionnalités de plus d'une super-classe.
Nouveau!!: Ada (langage) et Héritage multiple · Voir plus »
Histoire des langages de programmation
Cet article évoque les événements majeurs de l'histoire des langages de programmation.
Nouveau!!: Ada (langage) et Histoire des langages de programmation · Voir plus »
Ichbiah
Patronyme, porté notamment par.
Nouveau!!: Ada (langage) et Ichbiah · Voir plus »
Identificateur
En programmation informatique, un identificateur ou identifiant est un mot choisi par le programmeur et qui, tel une étiquette, désigne une donnée du programme: variable, constante, procédure, type Un identificateur et sa valeur forment une sorte de symbole, comparables à ceux des mathématiques, à la différence qu'en programmation courante la valeur peut changer au cours du temps.
Nouveau!!: Ada (langage) et Identificateur · Voir plus »
Informatique embarquée
Informatique embarquée dans une station météo On désigne sous le terme informatique embarquée les aspects logiciels se trouvant à l'intérieur des équipements n'ayant pas une vocation purement informatique.
Nouveau!!: Ada (langage) et Informatique embarquée · Voir plus »
Instruction conditionnelle (programmation)
Diagramme de flux de Si En informatique, une instruction conditionnelle, (aussi appelé expression conditionnelle), est une fonction d'un langage de programmation, qui effectue différents calculs ou actions, en fonction de l'évaluation d'une condition booléenne, à savoir vraie ou fausse. Dans les langages de programmation impératifs, le terme « instruction conditionnelle » est souvent utilisé, alors qu'en programmation fonctionnelle, le terme « expression conditionnelle » est préféré, parce que ces termes ont tous une signification distincte.
Nouveau!!: Ada (langage) et Instruction conditionnelle (programmation) · Voir plus »
Instruction nulle
En programmation informatique, une instruction nulle (ou instruction vide) est une instruction particulière, qui dicte à l'ordinateur de n'effectuer aucune action.
Nouveau!!: Ada (langage) et Instruction nulle · Voir plus »
Interface (informatique)
Une interface définit la frontière de communication entre deux entités, comme des éléments de logiciel, des composants de matériel informatique, ou un utilisateur.
Nouveau!!: Ada (langage) et Interface (informatique) · Voir plus »
Iris 80
L'ordinateur Iris 80 est l'ordinateur le plus puissant réalisé par la Compagnie internationale pour l'informatique (CII) dans le cadre du plan Calcul.
Nouveau!!: Ada (langage) et Iris 80 · Voir plus »
Java (langage)
Java est un langage de programmation de haut niveau orienté objet créé par James Gosling et Patrick Naughton, employés de Sun Microsystems, avec le soutien de Bill Joy (cofondateur de Sun Microsystems en 1982), présenté officiellement le au.
Nouveau!!: Ada (langage) et Java (langage) · Voir plus »
Jean E. Sammet
Jean E. Sammet (-) est une informaticienne américaine, une des pionnières de l'informatique et des langages de programmation.
Nouveau!!: Ada (langage) et Jean E. Sammet · Voir plus »
Jean Ichbiah
Jean David Ichbiah est un ingénieur français né le à Paris et mort le à Boston.
Nouveau!!: Ada (langage) et Jean Ichbiah · Voir plus »
Jean-Raymond Abrial
Jean-Raymond Abrial, né le, est un informaticien français.
Nouveau!!: Ada (langage) et Jean-Raymond Abrial · Voir plus »
Joint Technical Committee 1
Le JTC1, créé en 1987 par convention entre l'ISO et la CEI est l'organe de référence pour la normalisation des Technologies de l'Information au niveau mondial.
Nouveau!!: Ada (langage) et Joint Technical Committee 1 · Voir plus »
JSON Web Token
JSON Web Token (JWT) est un standard ouvert défini dans la.
Nouveau!!: Ada (langage) et JSON Web Token · Voir plus »
Langage de description de matériel
Un langage de description de matériel, ou du matériel (ou HDL pour hardware description language en anglais) est un langage informatique permettant la description d'un circuit électronique au niveau des transferts de registres (RTL).
Nouveau!!: Ada (langage) et Langage de description de matériel · Voir plus »
Langage de programmation à usage général
En informatique, un langage de programmation à usage général est un langage de programmation conçu pour être utilisé pour la conception de logiciels dans la plus grande variété de domaines d'application.
Nouveau!!: Ada (langage) et Langage de programmation à usage général · Voir plus »
Lego Mindstorms NXT
Lego Mindstorms NXT Lego Mindstorms NXT est un jeu de construction et de robotique présenté par Lego en 2006.
Nouveau!!: Ada (langage) et Lego Mindstorms NXT · Voir plus »
Lis
Lis ou LIS peuvent avoir plusieurs significations.
Nouveau!!: Ada (langage) et Lis · Voir plus »
Liste d'élèves de l'École polytechnique
Cet article dresse une liste de polytechniciens célèbres ou très connus, classée par promotion, et par ordre alphabétique à l'intérieur de chacune d’elles.
Nouveau!!: Ada (langage) et Liste d'élèves de l'École polytechnique · Voir plus »
Liste d'informaticiens et précurseurs de l'informatique
Cette liste regroupe des informaticiens (concepteur, développeur, chercheur en informatique) ainsi que des mathématiciens ou théoriciens dont les travaux ont établi, avant l'invention des ordinateurs, les bases de l'informatique moderne (travaux sur l'algorithmique, la théorie de l'information ou la théorie de la complexité des algorithmes par exemple).
Nouveau!!: Ada (langage) et Liste d'informaticiens et précurseurs de l'informatique · Voir plus »
Liste d'inventions françaises
Cet article liste chronologiquement les grandes inventions françaises.
Nouveau!!: Ada (langage) et Liste d'inventions françaises · Voir plus »
Liste de langages de programmation
Le but de cette liste de langages de programmation est d'inclure tous les langages de programmation existants, qu'ils soient actuellement utilisés ou historiques, par ordre alphabétique.
Nouveau!!: Ada (langage) et Liste de langages de programmation · Voir plus »
Liste de normes ISO par domaines
Fin 2018, l'Organisation internationale de normalisation (ISO) compte environ normes actives.
Nouveau!!: Ada (langage) et Liste de normes ISO par domaines · Voir plus »
Liste de palindromes français
Cette liste répertorie différents palindromes français.
Nouveau!!: Ada (langage) et Liste de palindromes français · Voir plus »
Liste des paquets GNU
Logo du système GNU. On appelle paquet GNU un paquet logiciel maintenu par le projet GNU et soutenu par la Free Software Foundation.
Nouveau!!: Ada (langage) et Liste des paquets GNU · Voir plus »
Lockheed Martin F-22 Raptor
Le Lockheed Martin F-22 Raptor est un avion de chasse furtif développé par les États-Unis à la fin des années 1980 afin de succéder aux F-15 de l'US Air Force.
Nouveau!!: Ada (langage) et Lockheed Martin F-22 Raptor · Voir plus »
Lovelace
Lovelace peut faire référence à.
Nouveau!!: Ada (langage) et Lovelace · Voir plus »
Lua
Lua est un langage de script libre, réflexif et impératif.
Nouveau!!: Ada (langage) et Lua · Voir plus »
Lustre (langage)
Lustre est un langage de programmation synchrone, déclaratif, et par flots.
Nouveau!!: Ada (langage) et Lustre (langage) · Voir plus »
Marqueur (édition de texte)
Un marqueur est un mot-clé remarquable dans un fichier texte, que le rédacteur ou le lecteur est susceptible de vouloir rechercher.
Nouveau!!: Ada (langage) et Marqueur (édition de texte) · Voir plus »
Mars 1940
Les événements concernant la Seconde Guerre mondiale sont détaillés dans l'article Mars 1940 (Seconde Guerre mondiale).
Nouveau!!: Ada (langage) et Mars 1940 · Voir plus »
MaRTE OS
MaRTE OS est un système temps réel écrit en Ada qui suit les recommandations d'un sous-ensemble de la norme POSIX.13.
Nouveau!!: Ada (langage) et MaRTE OS · Voir plus »
Métaprogrammation
La métaprogrammation,, désigne l'écriture de programmes qui manipulent des données décrivant elles-mêmes des programmes.
Nouveau!!: Ada (langage) et Métaprogrammation · Voir plus »
Méthode B
La méthode B est une méthode formelle qui permet le raisonnement sur des systèmes complexes ainsi que le développement logiciel.
Nouveau!!: Ada (langage) et Méthode B · Voir plus »
Mise en œuvre
La mise en œuvre est le fait de mettre en place un projet.
Nouveau!!: Ada (langage) et Mise en œuvre · Voir plus »
ML (langage)
ML (contraction de Meta Language) est un langage de programmation généraliste fonctionnel.
Nouveau!!: Ada (langage) et ML (langage) · Voir plus »
Module (programmation)
Un module désigne originellement un fichier de code de programmation ou un fichier de bibliothèque statique ou dynamique.
Nouveau!!: Ada (langage) et Module (programmation) · Voir plus »
Ncurses
ncurses (de l'anglais « New curses », littéralement « Nouvelles malédictions ») est une bibliothèque libre fournissant une API pour le développement d'interfaces utilisateur à menu déroulant, en utilisant les caractères et couleurs d'un mode semi-graphique.
Nouveau!!: Ada (langage) et Ncurses · Voir plus »
Nombre cyclomatique
Le nombre cyclomatique, la complexité cyclomatique ou la mesure de McCabe est un outil de métrologie logicielle développé par Thomas McCabe en 1976 pour mesurer la complexité d'un programme informatique.
Nouveau!!: Ada (langage) et Nombre cyclomatique · Voir plus »
Object-PL/SQL
Object-PL/SQL (Object-Procedural Language/Structured Query Language ou tout simplement O-PL/SQL) est une méthode d'usage de l'extension procédurale pour le langage SQL dans la Base de Données Oracle.
Nouveau!!: Ada (langage) et Object-PL/SQL · Voir plus »
Occam (langage)
Le langage de programmation Occam est un langage de programmation adapté à l'architecture parallèle, apparu en 1983.
Nouveau!!: Ada (langage) et Occam (langage) · Voir plus »
Open Database Connectivity
ODBC (sigle de) est un intergiciel qui permet à une application informatique, par un procédé unique, de manipuler plusieurs bases de données qui sont mises à disposition par des systèmes de gestion de bases de données (SGBD) ayant chacun un procédé propre.
Nouveau!!: Ada (langage) et Open Database Connectivity · Voir plus »
Paquetage
D'une manière générale, le mot paquetage désigne un ensemble de plusieurs entités regroupées en une seule.
Nouveau!!: Ada (langage) et Paquetage · Voir plus »
Parallélisme (informatique)
Blue Gene L cabinet, un des supercalculateurs massivement parallèles les plus rapides des années 2000. En informatique, le parallélisme consiste à mettre en œuvre des architectures d'électronique numérique permettant de traiter des informations de manière simultanée, ainsi que les algorithmes spécialisés pour celles-ci.
Nouveau!!: Ada (langage) et Parallélisme (informatique) · Voir plus »
Pas de balle en argent
Frederick Brooks « Pas de balle en argent » (traduction littérale de « No Silver Bullet », et dont le sens est « pas de baguette magique ») est une expression introduite en génie logiciel dans les années 1980 par Frederick Brooks lorsqu'il a publié No Silver Bullet — Essence and Accidents of Software Engineering.
Nouveau!!: Ada (langage) et Pas de balle en argent · Voir plus »
Pascal (langage)
Pascal est un langage de programmation impératif qui, conçu pour l'enseignement, se caractérise par une syntaxe claire, rigoureuse et facilitant la structuration des programmes.
Nouveau!!: Ada (langage) et Pascal (langage) · Voir plus »
PL/SQL
PL/SQL (sigle de Procedural Language / Structured Query Language) est un langage fondé sur les paradigmes de programmation procédurale et structurée.
Nouveau!!: Ada (langage) et PL/SQL · Voir plus »
Pointeur (programmation)
En programmation informatique, un pointeur est un objet qui contient l'adresse mémoire d'une donnée ou d'une fonction.
Nouveau!!: Ada (langage) et Pointeur (programmation) · Voir plus »
PolySpace
PolySpace est un logiciel d'analyse statique de programmes permettant de trouver des bugs dans des logiciels sans devoir les exécuter.
Nouveau!!: Ada (langage) et PolySpace · Voir plus »
Problème du diamant
En informatique, le problème du diamant (ou problème du losange dans certains articles scientifiques) arrive principalement en programmation orientée objet, lorsque le langage permet l'héritage multiple.
Nouveau!!: Ada (langage) et Problème du diamant · Voir plus »
Processeur
Processeur intel-core i7-12700KF Un processeur (ou unité centrale de calcul, UCC; en anglais central processing unit, CPU) est un composant présent dans de nombreux dispositifs électroniques qui exécute les instructions machine des programmes informatiques.
Nouveau!!: Ada (langage) et Processeur · Voir plus »
Profil Ravenscar
Le profil Ravenscar est un sous-ensemble du langage Ada dédié aux systèmes temps réel nécessitant une grande sûreté de fonctionnement.
Nouveau!!: Ada (langage) et Profil Ravenscar · Voir plus »
Programmation concurrente
La programmation concurrente est un paradigme de programmation tenant compte, dans un programme, de l'existence de plusieurs piles sémantiques qui peuvent être appelées threads, processus ou tâches.
Nouveau!!: Ada (langage) et Programmation concurrente · Voir plus »
Programmation impérative
En informatique, la programmation impérative est un paradigme de programmation qui décrit les opérations en séquences d'instructions exécutées par l'ordinateur pour modifier l'état du programme.
Nouveau!!: Ada (langage) et Programmation impérative · Voir plus »
Programmation modulaire
En informatique, la programmation modulaire reprend l'idée de fabriquer un produit (le programme) à partir de composants (les modules).
Nouveau!!: Ada (langage) et Programmation modulaire · Voir plus »
Programmation orientée aspect
La programmation orientée aspect ou POA (en anglais, aspect oriented programming ou AOP) est un paradigme de programmation qui permet de traiter séparément les préoccupations transversales (en anglais, ''cross-cutting concerns''), qui relèvent souvent de la technique, des préoccupations métier, qui constituent le cœur d'une applicationaspect-oriented programming ou AOP: programmation orientée aspect, ou POAaspect en anglais.
Nouveau!!: Ada (langage) et Programmation orientée aspect · Voir plus »
Programmation orientée objet
Schéma proposant un exemple de programmation orientée objet. La programmation orientée objet (POO), ou programmation par objet, est un paradigme de programmation informatique.
Nouveau!!: Ada (langage) et Programmation orientée objet · Voir plus »
Programmation par contrat
La programmation par contrat (en anglais, design by contract ou DBC) est un paradigme de programmation dans lequel le déroulement des traitements est régi par des règles.
Nouveau!!: Ada (langage) et Programmation par contrat · Voir plus »
Programmation procédurale
En informatique, la programmation procédurale est un paradigme qui se fonde sur le concept d'appel procédural.
Nouveau!!: Ada (langage) et Programmation procédurale · Voir plus »
Programmation structurée
La programmation structurée constitue un sous-ensemble de la programmation impérative.
Nouveau!!: Ada (langage) et Programmation structurée · Voir plus »
Puissance d'un nombre
En algèbre, une puissance d'un nombre est le résultat de la multiplication répétée de ce nombre avec lui-même.
Nouveau!!: Ada (langage) et Puissance d'un nombre · Voir plus »
Qt
Wayland, libwayland-client et Qt. Qt (prononcé officiellement en anglais mais couramment prononcé.) est.
Nouveau!!: Ada (langage) et Qt · Voir plus »
Quine (informatique)
Java (en haut). Quand on l'exécute, ce programme écrit son propre code source (en bas). Un quine (ou programme autoreproducteur, self-reproducing en anglais) est un programme informatique qui imprime son propre code source.
Nouveau!!: Ada (langage) et Quine (informatique) · Voir plus »
Règles de codage
Exemple de code avec le langage de programmation Bash Les règles de codage sont un ensemble de règles à suivre pour uniformiser les pratiques de développement logiciel, diffuser les bonnes pratiques de développement et éviter les erreurs de développement "classiques" au sein d'un groupe de développeurs.
Nouveau!!: Ada (langage) et Règles de codage · Voir plus »
Réentrance
En informatique, la réentrance est la propriété pour une fonction d'être utilisable simultanément par plusieurs tâches utilisatrices.
Nouveau!!: Ada (langage) et Réentrance · Voir plus »
Reqtify
Reqtify est un outil de gestion de la traçabilité des exigences et de l'analyse d'impact.
Nouveau!!: Ada (langage) et Reqtify · Voir plus »
Resource acquisition is initialization
En programmation orientée objet, resource acquisition is initialization, abrégé RAII et traduisible littéralement par l'acquisition d'une ressource est une initialisation, est une technique utilisée dans plusieurs langages orientés objet, comme C++, D et Ada.
Nouveau!!: Ada (langage) et Resource acquisition is initialization · Voir plus »
Rhapsody (modélisation)
Rhapsody est un logiciel de modélisation UML initialement créé par I-Logix, société rachetée par Telelogic, elle-même rachetée par IBM.
Nouveau!!: Ada (langage) et Rhapsody (modélisation) · Voir plus »
Rosetta Code
Rosetta Code est un site Internet de chrestomathie des langages informatiques qui implémente des algorithmes, des tâches à réaliser et divers problèmes de programmation dans de nombreux langages de programmation.
Nouveau!!: Ada (langage) et Rosetta Code · Voir plus »
Ruby
Ruby est un langage de programmation libre.
Nouveau!!: Ada (langage) et Ruby · Voir plus »
Scientifique
Stardust du Jet Propulsion Laboratory. Un scientifique est une personne qui se consacre à l'étude de la science ou des sciences avec rigueur et des méthodes scientifiques.
Nouveau!!: Ada (langage) et Scientifique · Voir plus »
Sensibilité à la casse
Dans du texte, la casse (minuscule ou majuscule) des lettres peut parfois changer la signification.
Nouveau!!: Ada (langage) et Sensibilité à la casse · Voir plus »
Simple and Fast Multimedia Library
SFML est une interface de programmation bas niveau destinée à construire des jeux vidéo ou des programmes interactifs.
Nouveau!!: Ada (langage) et Simple and Fast Multimedia Library · Voir plus »
Simple DirectMedia Layer
(SDL) est une bibliothèque logicielle libre.
Nouveau!!: Ada (langage) et Simple DirectMedia Layer · Voir plus »
Smultron
Smultron est un éditeur de texte avec coloration syntaxique pour la plateforme Mac OS X. Il est écrit en Objective-C en utilisant l'API Cocoa.
Nouveau!!: Ada (langage) et Smultron · Voir plus »
Spark
Spark est un mot anglais qui signifie « étincelle » ou « étinceler ».
Nouveau!!: Ada (langage) et Spark · Voir plus »
Standard Template Library
La Standard Template Library (STL) est une bibliothèque C++, normalisée par l'ISO (document ISO/CEI 14882) et mise en œuvre à l'aide des templates.
Nouveau!!: Ada (langage) et Standard Template Library · Voir plus »
Station spatiale internationale
Zvezda, cœur du segment orbital russe de la Station. panneaux solaires photovoltaïques. La Station spatiale internationale, en abrégé SSI (surtout au Canada francophone) ou ISS (d'après le nom anglais: International Space Station), est une station spatiale placée en orbite terrestre basse, occupée en permanence par un équipage international qui se consacre à la recherche scientifique dans l'environnement spatial.
Nouveau!!: Ada (langage) et Station spatiale internationale · Voir plus »
Structure de contrôle
En programmation informatique, une structure de contrôle est une instruction particulière d'un langage de programmation impératif pouvant dévier le flot de contrôle du programme la contenant lorsqu'elle est exécutée.
Nouveau!!: Ada (langage) et Structure de contrôle · Voir plus »
SYNTAX
SYNTAX est un générateur d'analyseurs lexicaux et syntaxiques (déterministes ou non-déterministes) pour toutes les grammaires non-contextuelles ainsi que certaines classes de grammaires contextuelles.
Nouveau!!: Ada (langage) et SYNTAX · Voir plus »
Système octal
Le système de numération octal est le système de numération de base 8, et utilise les chiffres de 0 à 7.
Nouveau!!: Ada (langage) et Système octal · Voir plus »
Table des symboles
Une table de symboles est une centralisation des informations rattachées aux identificateurs d'un programme informatique.
Nouveau!!: Ada (langage) et Table des symboles · Voir plus »
Telelogic
Telelogic était une entreprise suédoise spécialisée dans l'édition de logiciels pour la conception logicielle et des systèmes complexes.
Nouveau!!: Ada (langage) et Telelogic · Voir plus »
Test unitaire
En programmation informatique, le test unitaire (ou « T.U. », ou « U.T. » en anglais) est une procédure permettant de vérifier le bon fonctionnement d'une partie précise d'un logiciel ou d'une portion d'un programme (appelée « unité » ou « module »).
Nouveau!!: Ada (langage) et Test unitaire · Voir plus »
Texte structuré
Exemple de programme structuré Le texte structuré, ou Structured Text (ST) en anglais, est un des cinq langages de programmation pour automates programmables industriels (API) définis par la norme CEI 61131-3.
Nouveau!!: Ada (langage) et Texte structuré · Voir plus »
Thread (informatique)
threads''. Un ou fil (traduction normalisés par ISO/CEI 2382-7:2000 (autres appellations connues: processus léger, fil d'exécution, fil d'instruction, processus allégé, filet d'exécutionLarousse référence: dictionnaire de l'informatique, sous la direction de Pierre Morvan, 1996, exétron, tâche, voire unité d'exécution ou unité de traitement) est similaire à un processus car tous deux représentent l'exécution d'un ensemble d'instructions du langage machine d'un processeur. Du point de vue de l'utilisateur, ces exécutions semblent se dérouler en parallèle. Toutefois, là où chaque processus possède sa propre mémoire virtuelle, les d'un même processus se partagent sa mémoire virtuelle. En revanche, tous les possèdent leur propre pile d'exécution.
Nouveau!!: Ada (langage) et Thread (informatique) · Voir plus »
Tk (informatique)
Tk est une bibliothèque d'interfaces graphiques multiplate-forme.
Nouveau!!: Ada (langage) et Tk (informatique) · Voir plus »
Transmission voie-machine
La transmission voie-machine (TVM) est un système de signalisation ferroviaire en cabine en service sur les lignes à grande vitesse du réseau français de TGV, dans le tunnel sous la Manche, sur la High Speed 1 au Royaume-Uni, la ligne 1 en Belgique ainsi qu'en Corée du Sud.
Nouveau!!: Ada (langage) et Transmission voie-machine · Voir plus »
Typage fort
En informatique, un langage de programmation est dit fortement typé lorsqu'il garantit que les types de données employés décrivent correctement les données manipulées.
Nouveau!!: Ada (langage) et Typage fort · Voir plus »
UML (informatique)
Le Langage de Modélisation Unifié, de l'anglais Unified Modeling Language (UML), est un langage de modélisation graphique à base de pictogrammes conçu comme une méthode normalisée de visualisation dans les domaines du développement logiciel et en conception orientée objet.
Nouveau!!: Ada (langage) et UML (informatique) · Voir plus »
VHDL
VHDL est un langage de description de matériel destiné à représenter le comportement ainsi que l'architecture d’un système électronique numérique.
Nouveau!!: Ada (langage) et VHDL · Voir plus »
VxWorks
VxWorks est un système d'exploitation temps réel multitâche, généralement utilisé dans les systèmes embarqués.
Nouveau!!: Ada (langage) et VxWorks · Voir plus »
WebSocket
WebSocket est un standard du Web désignant un protocole réseau de la couche application et une interface de programmation du World Wide Web visant à créer des canaux de communication full-duplex par-dessus une connexion TCP pour les navigateurs web.
Nouveau!!: Ada (langage) et WebSocket · Voir plus »
XL (langage)
XL, dont les lettres proviennent de eXtensible Language, est un langage de programmation, basé sur la programmation par concepts, développé depuis 2000 par Christophe de Dinechin.
Nouveau!!: Ada (langage) et XL (langage) · Voir plus »
Yacc (logiciel)
Yacc est un outil de génération d'analyseurs syntaxiques en langage C. Yacc est l'acronyme de (« Encore un autre compilateur de compilateur »).
Nouveau!!: Ada (langage) et Yacc (logiciel) · Voir plus »
1983 en informatique
---- Cet article présente les principaux évènements de 1983 dans le domaine informatique.
Nouveau!!: Ada (langage) et 1983 en informatique · Voir plus »
1983 en science
4 avril 1983.
Nouveau!!: Ada (langage) et 1983 en science · Voir plus »
2012 en informatique
----.
Nouveau!!: Ada (langage) et 2012 en informatique · Voir plus »
25 mars
Le est le jour, moins souvent le, de l'année du calendrier grégorien; il en reste ensuite 281.
Nouveau!!: Ada (langage) et 25 mars · Voir plus »
Redirections ici:
Ada (Langage), Ada (langage de programmation), Ada (langage informatique), Ada 2005, Ada 83, Ada 95, Langage Ada.
