Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
AdaCore
Vertaling van "AdaCore" in Spaans
AdaCore
"This booklet is aimed at software engineers and architects, to help them read between the lines of the standard and better understand the intent, using AdaCore's technologies to illustrate how to meet the various requirements."
"Este folleto está dirigido a ingenieros de software y arquitectos, para ayudarles a leer entre las líneas de la norma y entender mejor la intención, utilizando las tecnologías de AdaCore para ilustrar cómo satisfacer los diversos requisitos".
They follow the upstream more closely (now you get gnat-gcc to follow FSF's in-gcc sources, and gnat-gpl to represent "official" AdaCore's code).
Estos siguen las versiones oficiales de manera más precisa (ahora, gnat-gcc sigue la fuentes de in-gcc de la FSF y gnat-gpl representa el código "oficial" de AdaCore).
One chapter summarises the Ada and SPARK languages and describes various AdaCore tools, many of which have been qualified or are qualifiable for safety-critical systems.
Un capítulo resume los lenguajes Ada y SPARK y describe varias herramientas de AdaCore, muchas de las cuales han sido calificadas o calificadas para sistemas críticos para la seguridad.
"DO-178C is one of the most complex software safety standards in the industry," said Ochem, business development lead at AdaCore.
"DO-178C es uno de los estándares de seguridad de software más complejos en la industria", dijo Ochem, líder en desarrollo de negocios de AdaCore.
This is Alexandre Oliva's personal blog, that does not necessarily represent the opinions held by FSFLA, AdaCore or any other institution the author may be or may have been associated with.
Ese es el blog personal de Alexandre Oliva, que no necesariamente representa las opiniones de FSFLA, de AdaCore ni de cualquier otra institución con la cual el autor pueda tener o haber tenido vínculos.
The Raspberry Pi community was described by Jamie Ayre of FLOSS software company AdaCore as one of the most exciting parts of the project.
La comunidad de Raspberry Pi fue descrita por Jamie Ayre de la compañía AdaCore ligada a FLOSS como una de las partes más excitantes del proyecto.
The Adacore Extermination (984.M41) - Venerable Brother Bannus led a strike force of twenty Iron Hands Dreadnoughts to scour the Mining World of Adacore after excavations had awakened the Necron war-cell of Overlord Kepakh of the Nihilakh Dynasty.
Exterminio de Adacore (984.M41): El Venerable Dreadnought Bannus lideró una fuerza de choque compuesta por veinte dreadnoughts del Capítulo para purgar el mundo minero de Adacore después que unas excavaciones despertaran las dormidas fuerzas necronas del Líder Supremo Kepakh de la Dinastía Nihilakh.
Synoniemen voor AdaCore in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 7. Exact: 7. Verstreken tijd: 43 ms.
