Examples of using Formal specification in English and their translations into German
{-}
-
Colloquial
-
Official
-
Ecclesiastic
-
Medicine
-
Financial
-
Ecclesiastic
-
Political
-
Computer
-
Programming
-
Official/political
-
Political
Executing formal specifications during runtime.
Verwendung von formalen Spezifikationen zur Laufzeit.For software standards the actual standard is defined through both the formal specification and the actual implementation.
Für Software-Standards wird der eigentliche Standard durch sowohl die formale Spezifikation als auch die tatsächliche Implementierung definiert.Formal specification of train control system with STEP.
Formale Spezifikation von Zugleitsystemen mit STEP.Reviewers can be professors or academic staff who know youand your academic work well. There is no formal specification for the recommendation letter.
Diese sollten von ProfessorInnen oder Wissenschaftlichen MitarbeiterInnen verfasst werden,die Sie und Ihre Arbeit gut kennen; eine formale Vorgabe gibt es nicht.Formal specification, development and verification methods.
Formale Spezifikations-, Entwicklungs- und Verifikationsmethoden.
It is remarkable how many termination letters in practice do not comply with these relatively simple formal specifications and, hence, are invalid under German Employment Law.
Es ist erstaunlich, wie viele Kündigungen in der Praxis diese relativ simplen formalen Vorgaben nicht einhalten und bereits deshalb angreifbar sind.Handout: Formal specifications of train control systems with STEP.
Handout: Formale Spezifikation von Zugleitsystemen mit STEP.E6.12 The test documentation shall explain the correspondence between tests and the formal specification of security enforcing functions defined in the security target.
E6.12 Die Testdokumentation muß die Übereinstimmung zwischen den Tests und der for malen Spezifikation der in den Sicherheitsvorgaben definierten sicherheitsspezifischen Funktionen erklären.INF-51-51-V-7" Formal Specification and Verification Techniques" 4C+2R; 8CP; de, en.
INF-51-51-V-7" Formale Spezifikations- und Verifikationstechniken" 4V+2Ü; 8LP; de,en.The KeY System is a formal software development tool that aims to integrate design,implementation, formal specification, and formal verification of object-oriented software as seamlessly as possible.
Das KeY -System ist ein Werkzeug zur Bowen, J.P.,"Formal Specification and Documentation using Z: A Case Study Approach.
Jonathan Bowen:"Formal Specification and Documentation using Z: A Case Study Approach.Digital electronic methods and tools can be software applications and components,data, formal specifications, standards or devices supporting a specific set of tourism related business processes”.
Digitale Methoden und Hilfsmittel können sein: Anwendungen, Software-Komponenten,Daten, formelle Spezifikationen, Normen oder Geräte, die an eine spezifische kommerzielle Prozesskette im Zusammenhang mit dem Tourismus angepasst sind.Formal specification of examples of communicating and mobile systems using CCS and the π-calculus.
Formale Spezifikation von Beispielen kommunizierender und mobiler Systeme mit CCS und dem pi-Kalkül.In the face of the set-top box, many brand price, many people have a choice of suffering disease, but in fact you want to see the brand is to ignore the name,brand advantage is the formal specification materials, factory, customer service guarantee.
Angesichts der Set-Top-Box, viele Markenpreis, haben viele Menschen eine Wahl von Leiden Krankheit, aber in der Tat wollen Sie die Marke zu sehen ist, den Namen zu ignorieren,Markenvorteil ist die formale Spezifikation Materialien, Fabrik, Kundendienst Garantie.Understanding of formal specifications and ability toimplement them in source code.
Sie verstehen formale Spezifikationen und können diese in Sourcecode umsetzen.All constructs used in a formal specification shall be completely described by the supporting rules.
Alle Konstrukte, die in einer formalen Spezifikation benutzt werden, müssen vollständig durch die Regeln beschrieben sein.Acquiring the formal specification is often not enough in order to implement the standard for complex digital systems.
Der Erwerb der formalen Spezifikation ist oft nicht ausreichend, um einen Standard für ein komplexes digitales System zu implementieren.As there is neither a formal specification nor a set of syntax rules, you can be creative when designing value chains.
Da es weder eine formale Spezifikation noch einen Satz von Syntaxregeln gibt, können Sie bei der Gestaltung von Wertschöpfungsketten kreativ sein.The sophisticated formal specifications of the acrylic glass elements required a rhythmically alternating undulating pattern in varying intensities.
Die anspruchsvollen gestalterischen Festlegungen an die Acrylglaselemente setzten einen rhythmisch abwechselnden Wellenverlauf in unterschiedlichen Intensitäten voraus.Aim: Since only informal specifications forETCS exist it was the aim to create formal specification based on the existing documents.
Ziel: Da für ETCS bisher nur eineinformale Spezifikation vorliegt, war es das Ziel, auf der Grundlage der bereits existierenden Dokumente formale Spezifikationsdaten zu erzeugen.Thus at the higher evaluation levels, the informal specification of thesecurity enforcing functions shall be supported by a parallel semiformal or formal specification.
Aus diesem Grunde muß für die höheren Evaluationsstufen die informelleSpecification and Functional Verification of Smart Contracts The goal of thisproject is to pave the way for specification and formal verification of smart contracts.
Spezifikation und funktionale Verifikation von Smart Contracts Ziel dieses Projekts istes, Wege für die Spezifikation und formale Verifikation von Smart Contracts zu schaffen.
