Examples of using Formal methods in English and their translations into German
{-}
-
Colloquial
-
Official
-
Ecclesiastic
-
Medicine
-
Financial
-
Ecclesiastic
-
Political
-
Computer
-
Programming
-
Official/political
-
Political
Theor. computer science& formal methods.
Formal methods and functional programming 7 credits.
Formale Methoden und Funktionale Programmierung 7 KP.The development of safety systems using formal methods.
Entwicklung von Sicherheitssystemen unter Nutzung formaler Methoden.Formal methods have emerged to facilitate the expression of system requirements and design in a consistent and rigorous manner.
Formale Methoden wurden entwickelt, um Systemanforderungen und Entwurf kohärent und konsequent darzustellen.He works in the areas of security, formal methods and change management.
Der Schwerpunkt seiner Forschung liegt in den Bereichen Sicherheit, formale Methoden sowie im Change Management.The formal methods are supplemented by applications that use MATHEMATICA to perform both symbolic and numerical calculations.
Formale Lösungswege werden anschaulich durch Mathematica-Anwendungen für symbolische und numerische Berechnungen ergänzt.Its wide range of subjects covers algorithmics, formal methods, cryptography, and security.
Das Themenspektrum reicht von der Algorithmik über Formale Methoden bis hin zu Kryptographie und Sicherheit.Formal methods use only partial verifications, cannot detect all hidden functions, and therefore result in incomplete verification.
Formale Methoden verwenden nur partielle Nachweise, können dadurch nicht alle verborgenen Funktionen feststellen und resultieren somit in einer unvollständigen Verifikation.The course addresses a research trend in formal methods, the combination and integration of different specification methods. .
Die Vorlesung greift einen Forschungstrend im Bereich der formalen Methoden auf, die Kombination und Integration verschiedener Spezifikationstechniken.It highlights advanced verification andvalidation techniques(involving structural coverage analysis and formal methods) for testing various components.
Der Schwerpunkt liegt auf erweiterten Verifikations-und Validierungsmethoden(u.a. Analysen der Strukturellen Abdeckung und Formale Methoden) zum Testen verschiedener Komponenten.In addition, formal methods can be used to identify possible improvements to the design of the system and how it is implemented.
Ausserdem lassen sich durch die Anwendung Formaler Methoden auch mögliche Verbesserungen This Master's programoffers a broad set of courses from cryptography and formal methods to systems, network and wireless security.
Das Masterprogramm bietet zahlreiche Veranstaltungen, die von Kryptographie und formalen Methoden bis zu Systemen, Netzwerken und Wireless-Sicherheit reichen.Formal Methods The cluster develops methodologies, algorithms, and tools for the rigorous specification, design, verification, and testing of software-intensive systems.
Formal Methods Der Cluster entwickelt Methoden, Algorithmen und Werkzeuge zur präzisen Spezifikation, zur Entwicklung, Überprüfung und zum Testen von softwareintensiven Systemen.To address these needs,designers need to adopt early, aggressive formal methods to reduce design cycles and improve design quality.
Um diesen Bedarf zu decken,müssen Designer in einem frühen Stadium aggressive formale Methoden zur Reduzierung der Designzyklen und Verbesserung der Designqualität adaptieren.We also have qualified consultants and engineers at your disposal to perform systemaudits based on their skills in Operational Safety and Formal Methods.
Wir stellen Ihnen auch unsere qualifizierten Berater und Ingenieure zur Verfügung, um ein Systemgutachten zu erstellen,indem wir unsere Kompetenzen in Betriebssicherheit und Formalen Methoden mobilisieren.RSE focuses on the application of rigorous and formal methods for the production of reliable software, on process modeling and analysis as well as on Model-based Systems Engineering.
In RSE liegt der Fokus auf der Verwendung von rigorosen und formalen Methoden zur Erstellung zuverlässiger Software, der Prozessmodellierung und -analyse sowie dem Modell-basierten Systems Engineering.The approach proposed represents a change inthe use and successful integration of COTS products, using Formal Methods to guarantee their integration and functionality.
Der vorgeschlagene Ansatz stellt eine Nutzungsänderung unddie erfolgreiche Integration von COTS-Produkten dar, wobei formale Methoden eingesetzt werden, um die Integration und Funktionalität sicherzustellen.Discussions focused on design methodologies, formal methods, simulation techniques for hardware and software, hardware architectures for machine learning, communication and storage systems.
Schwerpunkte der Diskussionen waren Entwurfsmethodiken, formale Methoden, Simulationsverfahren für Hard- und Software, Hardwarearchitekturen für Machine Learning, Kommunikations- und Speichersysteme.This master's program, offered in collaboration with EPF Lausanneoffers a broad set of courses from cryptography and formal methods to systems, network and wireless security.
Das Masterprogramm in Zusammenarbeit mit der EPF Lausanne bietet einbreites Angebot von Veranstaltungen, die von Kryptographie und formalen Methoden bis hin zu Systemen, Netzwerken und Wireless-Sicherheit reichen.The research group Logic and Formal Methods at the Institute of Theoretical Informatics aims at an internationally leading role both in research and education in the area of logic in computer science.
Die Forschungsgruppe Logik und Formale Methoden am Institut für Theoretische Informatik strebt im globalen Wettbewerb nach einer führenden Rolle in Forschung und Lehre auf dem Gebiet der Logik in der Informatik.As recommended in various standards, these attributes can be achieved through the application of rigorous systems engineering,a discipline where a system is specified with formal methods(e.g., ASM, Event-B); the operability of the resulting software product can be certified via verification and validation.
Dies wird, wie auch in diversen Standards empfohlen, durch den Einsatz rigoroser Systemtechniken(rigorous systems engineering) erreicht,eine Disziplin bei der ein System mit formalen Methoden z.B.Formal methods have been developed to analyze the issues involved. In particular, the question of the flow of information between levels has been linked to the question of memory effects at the respective levels. more.
Hierzu sind formale Methoden entwickelt worden, die insbesondere die Frage nach dem Informationsfluss zwischen verschiedenen Ebenen mit der Frage nach Gedächtniseffekten auf den jeweiligen Ebenen verknüpfen. mehr.Located in Aix en Provence, Lyon, Paris and Starsbourg,CLEARSY uses its many skills and formal methods, operational safety and electronics to provide you with a fault-free system and thereby guarantee no errors.
Basierend auf Aix-en-Provence und Paris,nutzt CLEARSY viele Fachgebiete und nutzt formale Methoden, Betriebssicherheit und Elektronik, um ein nahtloses System zur Verfügung zu stellen und damit Null-Fehler-Garantie.He had worked as a Junior Project Assistance in the VLSI Consortium project undertaken by the Advanced VLSI Design Laboratory, IIT Kharagpur from July 2008 to September 2012 andhis current research interests include broadly formal methods in software engineering.
Er hatte als Junior Project Assistance im VLSI-Konsortium-Projekt des Advanced VLSI Design Laboratory, IIT Kharagpur von Juli gearbeitet 2008 bis September 2012 undseine aktuellen Forschungsinteressen umfassen weitgehend formale Methoden in der Softwaretechnik.If you are interested howhuman language can be described with formal methods and how computers can be programmed to use human language, this programme might be the right one for you- even if you don't have any special previous knowledge.
Wer sich dafür interessiert, wie man menschliche Sprache mit formalen Methoden beschreiben und sprachverstehende Systeme auf dem Computer realisieren kann, für den ist dieser Studiengang- auch ohne spezielle Vorkenntnisse- genau der richtige.The research department Agents and Simulated Reality(ASR) conducts research in the areas visual computing,multi-agent systems and formal methods for safe and secure systems in the context of interactive 3D simulations and visualizations as well as other applications.
Die Themenschwerpunkte des Forschungsbereich Agenten und Simulierte Realität(ASR) sind Visual Computing,Multiagentensysteme und formale Methoden für Sichere Systeme im Kontext der interaktiven 3D-Simulation und -Visualisierung sowie anderer Anwendungen.The UMIC approach will require new formal methods and software tools for design, optimisation, verification, and operation of components and systems which will be supported by the research area Cross Disciplinary Methods and Tools.
Der Ansatz von UMIC erfordert neue formale Methoden und Software-Werkzeuge für den Entwurf, die Optimierung und den Betrieb von Komponenten und Systemen. Erforscht werden diese im übergreifenden Bereich"Cross Disciplinary Methods and Tools.Ekberg's philosophical studies include classical philosophical problems, logic and formal methods, philosophy of mind, semantics, epistemology, analytical(modern) philosophy, artifciell intelligence, representation and memory in neural networks and cognition theory.
Ekbergs Interessenfelder sind klassische philosophische Probleme, wie Logik und formalen Methoden, Philosophie des Geistes, Sprachphilosophie, Erkenntnistheorie, analytische(modernen) Philosophie, Künstliche Intelligenz, Repräsentation und Erinnerung in neuronalen Netzen.In the research field of"Logics and Formal Methods", the focus is placed both on maintaining this comprehensive tradition that is based on mathematical logics, on developing logical methods and results further, and on applying this to current topics in informatics.
Im Forschungsschwerpunkt Logik und Formale Methoden spielt sowohl die Pflege der reichhaltigen, auf die mathematische Logik zurückgehende Tradition dieses Gebiets eine wichtige Rolle als auch die Anwendung und Weiterentwicklung logischer Safety-Critical Systems We develop quantitative and formal methods of risk analysis and proof of safety of complex, safety-relevant and socio-technical systems such as radiation therapy equipment, and rail systems.
Sicherheitskritische Systeme Wir entwickeln quantitative und formale Methoden zur Risikoanalyse und 
