85 relations: Ada Lovelace, Airbus Commercial Aircraft, Airbus Defence and Space, Alstom, Alsys, American National Standards Institute, Années 1980, Années 1990, Architecture matérielle, ArianeGroup, Arianespace, Association for Computing Machinery, États-Unis, Base de données, Bertrand Meyer, Cahier des charges, Calcul des propositions, CEI 61131-3, Centre national d'études spatiales, Commission électrotechnique internationale, Common Lisp, Compagnie internationale pour l'informatique, Compilateur, Département de la Défense des États-Unis, Eiffel (langage), FreeBSD, Généricité, GNAT, GNU, GNU Compiler Collection, Hello world, Hitachi Rail STS, Informatique embarquée, Intelligence artificielle, Interruption (informatique), Jean Ichbiah, Langage de programmation, Linux, Logiciel libre, MacOS, MaRTE OS, Microprocesseur multi-cœur, Microsoft Windows, Module (programmation), Multitâche, Norme, Organisation internationale de normalisation, Paquet (logiciel), Pascal (langage), PL/SQL, ..., Profil Ravenscar, Programmation informatique, Programmation orientée objet, Programmation par contrat, Siemens Mobility, Special Interest Group on Programming Languages, Syntaxe, Système d'exploitation, Système temps réel, Techniques de pointe, Texte structuré, Thales Alenia Space, Thales Avs France, Thales LAS France, Typage statique, Université de New York, VHDL, VxWorks, 1974 en informatique, 1977 en informatique, 1980 en informatique, 1983 en informatique, 1987 en informatique, 1990 en informatique, 1991 en informatique, 1992 en informatique, 1994 en informatique, 1995 en informatique, 1996 en informatique, 2000 en informatique, 2003 en informatique, 2007 en informatique, 2012 en informatique, 2013 en informatique, 2016. Développer l'indice (35 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 »
Airbus Commercial Aircraft
OO-TEF A300B1 MSN002, deuxième prototype d'Airbus, mais construit déjà avec spécification quasiment définitive en 1973, et donc exploité par TEA jusqu'en 1994. Airbus acheva le 13 décembre 2007 sa 5000e livraison avec cet A330 VH-EBG A330-203 MSN887. Airbus Commercial Aircraft, connu sous le nom Airbus SAS, est un constructeur aéronautique européen dont le siège social se trouve à Blagnac, à côté de l'aéroport, dans la banlieue de Toulouse, en France.
Nouveau!!: Ada (langage) et Airbus Commercial Aircraft · Voir plus »
Airbus Defence and Space
Airbus Defence and Space (ADS) est l’une des trois divisions du groupe Airbus, spécialisée dans les avions militaires, les drones, les missiles, les lanceurs spatiaux et satellites artificiels.
Nouveau!!: Ada (langage) et Airbus Defence and Space · Voir plus »
Alstom
Alstom est une multinationale française, aujourd’hui spécialisée dans le secteur des transports, principalement ferroviaires (trains, tramways et métros).
Nouveau!!: Ada (langage) et Alstom · 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 »
American National Standards Institute
L’American National Standards Institute (ANSI, « Institut national de normalisation américain ») est un organisme privé à but non lucratif qui supervise le développement de normes pour les produits, les services, les procédés, les systèmes et les employés des États-Unis.
Nouveau!!: Ada (langage) et American National Standards Institute · 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 »
Années 1990
Les années 1990 couvrent la période du au.
Nouveau!!: Ada (langage) et Années 1990 · Voir plus »
Architecture matérielle
Architecture matérielle d'un processeur Intel Core2. Architecture matérielle d'un Cyclops64 (BlueGene/C). L’architecture matérielle décrit l’agencement interne de composants électroniques ainsi que leurs interactions.
Nouveau!!: Ada (langage) et Architecture matérielle · Voir plus »
ArianeGroup
ArianeGroup, anciennement Airbus Safran Launchers (ASL), est une coentreprise créée en 2015 et détenue à parts égales par Airbus et Safran pour notamment développer les lanceurs Ariane 6.
Nouveau!!: Ada (langage) et ArianeGroup · Voir plus »
Arianespace
Fondée en 1980, Arianespace SAS est une société française chargée de la commercialisation et de l’exploitation des systèmes de lancement spatiaux développés par ArianeGroup, à savoir les familles de lanceurs Ariane et Vega.
Nouveau!!: Ada (langage) et Arianespace · 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 »
É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!!: Ada (langage) et États-Unis · Voir plus »
Base de données
Une base de données permet de stocker et de retrouver des données structurées, semi-structurées ou des données brutes ou de l'information, souvent en rapport avec un thème ou une activité; celles-ci peuvent être de natures différentes et plus ou moins reliées entre elles.
Nouveau!!: Ada (langage) et Base de données · Voir plus »
Bertrand Meyer
Bertrand Meyer (né le en France) est le créateur du langage de programmation orienté objet Eiffel.
Nouveau!!: Ada (langage) et Bertrand Meyer · Voir plus »
Cahier des charges
Un cahier des charges (parfois abrégé en CDC) est un document qui doit être respecté lors de la conception d'un projet.
Nouveau!!: Ada (langage) et Cahier des charges · Voir plus »
Calcul des propositions
Le calcul des propositions ou calcul propositionnel, (ou encore logique des propositions) fait partie de la logique mathématique.
Nouveau!!: Ada (langage) et Calcul des propositions · Voir plus »
CEI 61131-3
Exemple de Ladder Diagram. La CEI 61131-3, intitulée Automates programmables - Partie 3: Langages de programmation, est une norme industrielle de la Commission électrotechnique internationale (CEI).
Nouveau!!: Ada (langage) et CEI 61131-3 · Voir plus »
Centre national d'études spatiales
Le Centre national d'études spatiales (CNES) est un établissement public à caractère industriel et commercial (EPIC) chargé d’élaborer et de proposer au gouvernement français le programme spatial français, puis de le mettre en œuvre.
Nouveau!!: Ada (langage) et Centre national d'études spatiales · Voir plus »
Commission électrotechnique internationale
La Commission électrotechnique internationale (CEI;, IEC) est l'organisation internationale de normalisation chargée des domaines de l'électricité, de l'électronique, de la compatibilité électromagnétique, de la nanotechnologie et des techniques connexes.
Nouveau!!: Ada (langage) et Commission électrotechnique internationale · 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 »
Compagnie internationale pour l'informatique
La Compagnie internationale pour l'informatique (CII, sigle prononcé « cé deux z'i ») est une société privée française créée en décembre 1966, dans le cadre du plan Calcul, lancé par le gouvernement du général de Gaulle.
Nouveau!!: Ada (langage) et Compagnie internationale pour l'informatique · 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 »
Département de la Défense des États-Unis
Le département de la Défense des États-Unis (abrégé par DoD ou par DOD) est le département exécutif du gouvernement américain chargé de fournir les forces militaires nécessaires pour la défense des États-Unis, en temps de guerre et en temps de paix.
Nouveau!!: Ada (langage) et Département de la Défense des États-Unis · 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 »
FreeBSD
FreeBSD est un système d'exploitation UNIX libre.
Nouveau!!: Ada (langage) et FreeBSD · 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 »
GNAT
GNAT est le compilateur Ada du projet GNU.
Nouveau!!: Ada (langage) et GNAT · Voir plus »
GNU
GNU est un système d’exploitation libre créé en 1983 par Richard Stallman, maintenu par le projet GNU.
Nouveau!!: Ada (langage) et GNU · 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 »
Hello world
Hello World » en Piet. « » (traduit littéralement en français par) sont les mots traditionnellement écrits par un programme informatique simple dont le but est de faire la démonstration rapide de son exécution sans erreur.
Nouveau!!: Ada (langage) et Hello world · Voir plus »
Hitachi Rail STS
Hitachi Rail STS (anciennement Ansaldo STS) est une entreprise italienne active dans le domaine ferroviaire.
Nouveau!!: Ada (langage) et Hitachi Rail STS · 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 »
Intelligence artificielle
assistants personnels intelligents sont l'une des applications concrètes de l'intelligence artificielle dans les années 2010. L'intelligence artificielle (IA) est un ensemble de théories et de techniques visant à réaliser des machines capables de simuler l'intelligence humaine.
Nouveau!!: Ada (langage) et Intelligence artificielle · Voir plus »
Interruption (informatique)
En informatique, une interruption est une suspension temporaire de l'exécution d'un programme informatique par le microprocesseur afin d'exécuter un programme prioritaire (appelé service d'interruption).
Nouveau!!: Ada (langage) et Interruption (informatique) · 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 »
Langage de programmation
Fragment de code écrit dans le langage de programmation JavaScript. Un langage de programmation est un langage informatique destiné à formuler des algorithmes et produire des programmes informatiques qui les appliquent.
Nouveau!!: Ada (langage) et Langage de programmation · Voir plus »
Linux
Linux ou GNU/Linux est une famille de systèmes d'exploitation open source de type Unix fondés sur le noyau Linux créé en 1991 par Linus Torvalds.
Nouveau!!: Ada (langage) et Linux · Voir plus »
Logiciel libre
alt.
Nouveau!!: Ada (langage) et Logiciel libre · Voir plus »
MacOS
macOS (auparavant Mac OS X –, puis OS X) est un système d’exploitation partiellement propriétaire développé et commercialisé par Apple depuis, dont les versions les plus récentes sont macOS Sonoma (version 14), macOS Ventura lancée le 24 octobre 2022 et macOS Monterey (12) lancée le 25 octobre 2021 pour le grand public.
Nouveau!!: Ada (langage) et MacOS · 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 »
Microprocesseur multi-cœur
Un processeur quad-core AMD Opteron. L’Intel Core 2 Duo E6300 est un processeur double cœur. Un microprocesseur multi-cœur (multi-core en anglais) est un microprocesseur possédant plusieurs cœurs physiques fonctionnant simultanément.
Nouveau!!: Ada (langage) et Microprocesseur multi-cœur · Voir plus »
Microsoft Windows
(littéralement « Fenêtres » en anglais) est au départ une interface graphique unifiée produite par Microsoft, qui est devenue ensuite une gamme de systèmes d’exploitation à part entière, principalement destinés aux ordinateurs compatibles PC.
Nouveau!!: Ada (langage) et Microsoft Windows · 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 »
Multitâche
Un système d'exploitation est multitâche s’il permet d’exécuter, de façon apparemment simultanée, plusieurs programmes informatiques.
Nouveau!!: Ada (langage) et Multitâche · Voir plus »
Norme
Une norme, du latin norma « équerre, règle », désigne un état habituellement répandu, moyen, considéré le plus souvent comme une règle à suivre.
Nouveau!!: Ada (langage) et Norme · Voir plus »
Organisation internationale de normalisation
L'Organisation internationale de normalisation (en Международная организация по стандартизации), généralement désigné sous le sigle ISO, choisi pour être le sigle identique dans toutes les langues (ce choix est un exemple de normalisation), est un organisme de normalisation international composé de représentants d'organisations nationales de normalisation de, selon le principe d’un membre par pays.
Nouveau!!: Ada (langage) et Organisation internationale de normalisation · Voir plus »
Paquet (logiciel)
En informatique, et en particulier dans le contexte des systèmes UNIX, on appelle paquet (ou parfois paquetage, en anglais) une archive (fichier compressé) comprenant les fichiers informatiques, les informations et procédures nécessaires à l'installation d'un logiciel sur un système d'exploitation au sein d'un agrégat logiciel, en s'assurant de la cohérence fonctionnelle du système ainsi modifié.
Nouveau!!: Ada (langage) et Paquet (logiciel) · 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 »
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 informatique
Liste d'instructions sur le Commodore 64 La programmation, appelée aussi codage dans le domaine informatique, désigne l'ensemble des activités qui permettent l'écriture des programmes informatiques.
Nouveau!!: Ada (langage) et Programmation informatique · 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 »
Siemens Mobility
Rame VAL 256 du métro de Taipei. MP 89 CA sur la ligne 14 du métro de Paris. Siemens Mobility est une entité indépendante du groupe Siemens spécialisée en solutions de transport: matériel roulant, signalisation et électrification ferroviaire ainsi que services et maintenance.
Nouveau!!: Ada (langage) et Siemens Mobility · Voir plus »
Special Interest Group on Programming Languages
Le Special Interest Group on Programming Languages (SIGPLAN) est le pôle d'intérêt commun de l'ACM dans le domaine de la programmation informatique.
Nouveau!!: Ada (langage) et Special Interest Group on Programming Languages · Voir plus »
Syntaxe
La syntaxe est, à l'origine, la branche de la linguistique qui étudie la manière dont les mots se combinent pour former des phrases ou des énoncés dans une langue.
Nouveau!!: Ada (langage) et Syntaxe · Voir plus »
Système d'exploitation
En informatique, un système d'exploitation (souvent appelé OS — de l'anglais — ou parfois SE — en français) est un ensemble de programmes qui dirige l'utilisation des ressources d'un ordinateur par des logiciels applicatifs.
Nouveau!!: Ada (langage) et Système d'exploitation · Voir plus »
Système temps réel
En informatique, on parle d'un système temps réel lorsque ce système est capable de contrôler (ou piloter) un procédé physique à une vitesse adaptée à l'évolution du procédé contrôlé.
Nouveau!!: Ada (langage) et Système temps réel · Voir plus »
Techniques de pointe
Les techniques de pointe, hautes technologies ou, abusivement technologies de pointe, aussi connues sous l'anglicisme high-tech (pour high technology), sont des techniques considérées comme les plus avancées à une époque donnée.
Nouveau!!: Ada (langage) et Techniques de pointe · 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 »
Thales Alenia Space
Thales Alenia Space est une coentreprise entre les groupes Thales (67%) et Leonardo (33%).
Nouveau!!: Ada (langage) et Thales Alenia Space · Voir plus »
Thales Avs France
Thales Avs France, anciennement nommée Sextant Avionique puis Thales Avionics, est une filiale du groupe Thales née en 1989 de la fusion des sociétés Crouzet, EAS et SFENA avec la division aéronautique de Thomson-CSF.
Nouveau!!: Ada (langage) et Thales Avs France · Voir plus »
Thales LAS France
Thales LAS France (acronyme de Thales Land and Air Systems) est une filiale du groupe Thales créée le.
Nouveau!!: Ada (langage) et Thales LAS France · Voir plus »
Typage statique
Le typage statique est une technique utilisée dans certains langages de programmation impératifs (C++, Java, Pascal, ou même Visual Basic avec lOption Explicit) pour associer à un symbole dénotant une variable le type de la valeur dénotée par la variable; et dans certains langages de programmation fonctionnels (ML, OCaml, Haskell, PureScript, etc.) pour associer à une fonction (un calcul) le type de son paramètre et le type de la valeur calculée.
Nouveau!!: Ada (langage) et Typage statique · Voir plus »
Université de New York
L'université de New York (en anglais: New York University: NYU, anciennement University of the City of New York) est une université privée américaine située à New York.
Nouveau!!: Ada (langage) et Université de New York · 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 »
1974 en informatique
---- Cet article présente les principaux évènements de 1974 dans le domaine informatique.
Nouveau!!: Ada (langage) et 1974 en informatique · Voir plus »
1977 en informatique
---- Cet article présente les principaux évènements de 1977 dans le domaine informatique.
Nouveau!!: Ada (langage) et 1977 en informatique · Voir plus »
1980 en informatique
---- Cet article traite de l'année 1980 dans le domaine de l'informatique.
Nouveau!!: Ada (langage) et 1980 en informatique · 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 »
1987 en informatique
----.
Nouveau!!: Ada (langage) et 1987 en informatique · Voir plus »
1990 en informatique
---- Cet article présente les principaux évènements de 1990 dans le domaine informatique.
Nouveau!!: Ada (langage) et 1990 en informatique · Voir plus »
1991 en informatique
---- Cet article présente les principaux évènements de 1991 dans le domaine informatique.
Nouveau!!: Ada (langage) et 1991 en informatique · Voir plus »
1992 en informatique
---- Cet article présente les principaux évènements de 1992 dans le domaine informatique.
Nouveau!!: Ada (langage) et 1992 en informatique · Voir plus »
1994 en informatique
---- Cet article présente les principaux évènements de 1994 dans le domaine informatique.
Nouveau!!: Ada (langage) et 1994 en informatique · Voir plus »
1995 en informatique
---- Cet article présente les principaux évènements de 1995 dans le domaine informatique.
Nouveau!!: Ada (langage) et 1995 en informatique · Voir plus »
1996 en informatique
---- Cet article présente les principaux évènements de 1996 dans le domaine informatique.
Nouveau!!: Ada (langage) et 1996 en informatique · Voir plus »
2000 en informatique
---- Cet article présente les principaux évènements de l'an 2000 en informatique.
Nouveau!!: Ada (langage) et 2000 en informatique · Voir plus »
2003 en informatique
---- Cet article recense les principaux évènements de 2003 dans le domaine de l'informatique.
Nouveau!!: Ada (langage) et 2003 en informatique · Voir plus »
2007 en informatique
Cet article présente les principaux événements de 2007 dans le domaine de l'informatique.
Nouveau!!: Ada (langage) et 2007 en informatique · Voir plus »
2012 en informatique
----.
Nouveau!!: Ada (langage) et 2012 en informatique · Voir plus »
2013 en informatique
----.
Nouveau!!: Ada (langage) et 2013 en informatique · Voir plus »
2016
L'année 2016 est une année bissextile qui commence un vendredi.
Nouveau!!: Ada (langage) et 2016 · Voir plus »
Redirections ici:
Ada (Langage), Ada (langage de programmation), Ada (langage informatique), Ada 2005, Ada 83, Ada 95, Langage Ada.