Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
AdaCore
Vertaling van "AdaCore" in Duits
AdaCore
AdaCores
Founded in 1994, AdaCore is the leading provider of commercial, open-source software solutions for Ada, a modern programming language designed for large, long-lived applications where reliability, efficiency and safety are absolutely critical.
AdaCore wurde 1994 gegründet und ist der führende Anbieter von kommerziellen Softwarelösungen für Ada, einer modernen Programmiersprache für große, langlebige Anwendungen, bei denen Sicherheit und Verlässlichkeit kritisch sind.
After evaluating alternative potential approaches, the company selected the Ada language and AdaCore software development tools as the best solution for meeting these requirements.
Nach der Prü-fung mehrerer alternativer Ansätze hat das Unternehmen die Program-miersprache Ada und die Software-Entwicklungstools von AdaCore als die beste Lösung für diese Anforderungen evaluiert.
"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."
"Diese Broschüre richtet sich an Software-Ingenieure und Architekten, um ihnen zu helfen, zwischen den Linien des Standards zu lesen und die Absicht besser zu verstehen, indem sie die Technologien von AdaCore verwenden, um zu veranschaulichen, wie man die verschiedenen Anforderungen erfüllt."
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).
Sie folgen nun mehr dem Upstream gnat-gcc entspricht FSF's in-gcc Quellen, und gnat-gpl repräsentiert den "offiziellen" AdaCore's Code).
"In so doing, the booklet provides insights into how the Ada and SPARK languages, combined with AdaCore's products and services, can help customers develop and verify airborne software," said the firm, some of whose tools have been qualified on safety-critical projects.
"Die Broschüre gibt dabei Einblicke darüber, wie die Ada- und SPARK-Sprachen in Verbindung mit den Produkten und Diensten von AdaCore den Kunden dabei helfen können, Luftschiffs-Software zu entwickeln und zu verifizieren", sagte die Firma, deren Werkzeuge für sicherheitskritische Projekte qualifiziert wurden.
The SPARK Pro technology, which has been jointly developed by AdaCore and its partner Altran, can prove SPARK program properties ranging from absence of run-time errors (exceptions) to compliance with a formally defined requirements specification.
Die SPARK-Pro-Technologie, die gemeinsam von AdaCore und seinem Partner Altran entwickelt wurde, kann Eigenschaften von SPARK-Programmen prüfen, die von der Abwesenheit von Laufzeitfehlern (Exceptions) bis zur Einhaltung einer formal definierten Anforderungsspezifikation reichen.
Now, AdaCore is flying successfully to Mars!
Und jetzt fliegt AdaCore mit uns zum Mars!
"DO-178C is one of the most complex software safety standards in the industry," said Ochem, business development lead at AdaCore.
"DO-178C ist einer der komplexesten Software-Sicherheitsstandards in der Branche", sagte Ochem, Geschäftsentwicklung bei AdaCore.
SPARK Pro, a product jointly developed by Altran Praxis and AdaCore, provides the foremost language, toolset and design discipline for engineering high-assurance software.
SPARK Pro bietet führende Programmiersprache, Toolset und Design-Regularien für das Engineering von Hoch-Sicherheitssoftware.
AdaCore's GNAT Pro development environment, along with several complementary tools, is being used to implement the SmartWard software.
Für die Implementierung der SmartWard-Software wird die Entwick-lungsumgebung GNAT Pro von AdaCore zusammen mit ergänzenden Werkzeugen verwendet.
Written by Quentin Ochem of AdaCore and certification expert Frédéric Pothon, aside from describing the firm's own products, it puts the DO-178C/ ED-12C standard and its technology supplements into perspective and explains many of their more subtle aspects in the context of several different development scenarios.
Geschrieben von Quentin Ochem von AdaCore und Zertifizierungs-Experte Frédéric Pothon, abgesehen von der Beschreibung der eigenen Produkte, setzt sie den DO-178C/ ED-12C Standard und seine Technologie ergänzt in die Perspektive und erklärt viele ihrer subtileren Aspekte im Kontext von mehreren Verschiedene Entwicklungsszenarien.
Conference - AdaCore today announced the release of its latest Ada cross-development environment, GNAT Pro 7.2, for ARM Cortex processors running Android.
AdaCore hat das neueste Release der neuen Ada-Cross-Entwicklungsumgebung GNAT Pro 7.2 für ARM-Cortex-Prozessoren unter Android vorgestellt.
"This new offering shows our commitment to providing a complete safety-oriented development toolset on a large range of targets," stated Cyrille Comar, Managing Director of AdaCore.
"Dieses neue Angebot zeigt, dass wir unsere sicherheitsorientierten Werkzeuge ständig erweitern und diese auf noch mehr Architekturen einsetzbar werden", sagt Cyrille Comar, Managing Director bei AdaCore.
Synoniemen voor AdaCore in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 29. Exact: 29. Verstreken tijd: 30 ms.
