Terms for subject Information technology containing formale

German	English
Bestätigung der formalen Richtigkeit der Software	software certification
Fehler eines formalen öffentlichen Bezeichners	formal public identifier error
formal-logisches System	system of formal logic
formal-logisches System	formal system
formal-logisches System	axiomatics
formale Beschreibung von arbiträren Systemen mit Hilfe von funktionalen Sprachen	Formal description of arbitrary systems by means of functional languages
formale Beschreibungstechnik	formal description technique
formale Heuristik	formal heuristic
formale Logik	formal logic
Formale Methode für asynchrone Systeme	Formal methods for asynchronous systems
formale Parameter	formal parameter
formale Prüfung	formal testing
formale Spezifikation	formal specification
formale Sprache	formal language
formale Sprache	artificial language
formaler Parameter	dummy parameter
formaler Parameter	parameter
formaler Parameter	dummy argument
formaler Parameter	formal parameter
formaler Programmfehler	formal program error
formaler öffentlicher Bezeichner	formal public identifier
formales Schließen	formal reasoning
formales Sicherheitsmodell	Formal Model of Security Policy
integrierter formaler Ansatz für die industrielle Software-Entwicklung	Integrated formal approach to industrial software development
Modus eines formalen Parameters	formal parameter mode
personenbezogene Arbeitsstation für die schrittweise grafische graphische Spezifikation und formale Implementierung nicht seqüntieller Systeme	Personal Workstation for Incremental Graphical Specification and Formal Implementation of Non-Sequential Systems
Zusicherung bezüglich der formalen Richtigkeit	correctness assertion