83 résultats pour 'ada'

  • Article de bases documentaires
  • |
  • 10 août 2017
  • |
  • Réf : h2280
  • |
  • DOI : 10.51257/a-v2-h2280

Ada

ADA... L'objectif de cet article est de présenter sommairement le langage Ada dans son état actuel (2017... /2017 Cet article est la version actualisée de l’article « Ada » rédigé par Daniel-Jean DAVID et paru... par le Département de la Défense des États-Unis, le langage Ada a été construit comme un langage idéal et adapté...

Des architectures à l'intelligence artificielle : l'essentiel pour guider vos décisions.


  • Archive
  • |
  • 10 juin 1983
  • |
  • Réf : h2280

Ada

des identificateurs    2.12 Gestion des types de données    2.13 Instructions Ada    2.14 Sous-programmes    2.15... de représentation    3 Qualités de Ada    4 Conclusion. Avenir de Ada    Index bibliographiqpe ...

Des architectures à l'intelligence artificielle : l'essentiel pour guider vos décisions.


  • Terme technique
  • |
  • Réf : 45800

Langage Ada [m]

  • Lexique >
  • Technologies de l'information

Plus de 50 000 termes scientifiques et techniques, traduits en 4 langues, relatifs aux domaines qui vous concernent.


  • Actualité
  • |
  • 7 juin 2013
  • |
  • Réf : 16242

AdaCore annonce la réussite du projet Hi-Lite

en partenariat par AdaCore, Altran, Astrium Space Transportation, CEA List, INRIA Toccata et Thales... Hi-Lite chez AdaCore. "Le projet a montré que la vérification formelle peut remplacer ou compléter... pour les programmes Ada et C. Il s'agit des outils SPARK pour Ada et de la plate-forme Frama-C pour C... par AdaCore et son partenaire Altran pour façonner la nouvelle version du langage SPARK, connue...

Pour une vision globale et quotidienne de l'actualité et des innovations technologiques


  • Actualité
  • |
  • 28 sept. 2010
  • |
  • Réf : 11134

« Le but est d'avoir une proximité entre le matériel et le logiciel »

. Quels langages utilisez-vous pour la programmation de ces logiciels ? La première version d’Ada a été... standardisée en 1983. Il y a eu deux nouvelles versions depuis. Le langage Ada  a été conçu  pour les systèmes... , ou encore de récupérer des interruptions matérielles. Ada a été développé pour répondre aux besoins du ministère... . Quel est l’avantage du langage ADA ? J’ai travaillé auparavant sur un système de contrôle aérien pour le Canada...

Pour une vision globale et quotidienne de l'actualité et des innovations technologiques


  • Actualité
  • |
  • 26 mai 2021
  • |
  • Réf : 93650

Les lauréates du concours Ingénieuses 2021

, pour son projet « ADA LOVELACE » ; l’ESIEA, école lauréate du prix spécial du jury, pour son projet « #SiJeVeuxTu...

Pour une vision globale et quotidienne de l'actualité et des innovations technologiques


  • Article de bases documentaires
  • |
  • 27 avr. 2016
  • |
  • Réf : h2120
  • |
  • DOI : 10.51257/a-v3-h2120

Fortran

présente en Ada et Pascal Étendu par exemple) et le calcul vectoriel. Parmi les autres innovations... ...” Les commentaires sont de type fin de ligne (comme en Ada), introduits par le caractère point d... adopté par la norme est regrettable, car il reprend celui d’un concept du langage Ada... en Pascal, en C ou en Ada), mais on peut dimensionner un champ POINTER sur tableau  2.4 . On peut obliger...

Des architectures à l'intelligence artificielle : l'essentiel pour guider vos décisions.


  • Actualité
  • |
  • 8 oct. 2014
  • |
  • Réf : 25646

Nobel de chimie: les lauréats des dix dernières années

-Unis) et Ada Yonath (Israël), pour leurs travaux sur les ribosomes qui ouvrent la voie à de nouveaux...

Pour une vision globale et quotidienne de l'actualité et des innovations technologiques


  • Archive
  • |
  • 10 sept. 1983
  • |
  • Réf : h2260

Pascal Langages d'écriture de systèmes

   5bis. Normalisation du langage .    6.3 Relations entre Pascal et Ada ...

La mémoire vivante des Techniques de l'Ingénieur !


  • Article de bases documentaires
  • |
  • 10 nov. 2013
  • |
  • Réf : trp3304
  • |
  • DOI : 10.51257/a-v1-trp3304

Qualification des outils au sens de la norme CENELEC EN 50128:2011 - Logiciels pour les transports ferroviaires

. Certain langage comme ADA (voir  ISO/IEC Information technology - Programming Languages. LOCKHEED (M... un processus de certification. À titre d'exemple, dans le cadre de la certification des compilateurs ADA... l'existence d'une norme et d'une sémantique assez fine du langage ADA a permis de définir un processus... sur une suite de tests nommée ACATS (Ada Conformity Assessment Test Suite) – voir la norme  Ada Resource...

Intégrez les hauts potentiels techniques et socio-économiques du secteur ferroviaire