| Subject | German | Spanish |
| IT | Bestätigung der formalen Richtigkeit der Software | certificación del software |
| IT, dat.proc. | Fehler eines formalen öffentlichen Bezeichners | error de identificador público formal |
| IT | formal-logisches System | sistema formal |
| IT | formal-logisches System | sistema de lógica formal |
| IT | formal-logisches System | axiomática |
| commun., IT | Formal Name | nombre formal |
| med. | formal-operationale Phase | aparecimiento del desarrollo de las operaciones formales |
| work.fl., IT | formal-systematisches Register | índice formal sistemático |
| work.fl., IT | Formal-Verweisungsregister | entrada conectiva |
| IT | formale Beschreibung von arbiträren Systemen mit Hilfe von funktionalen Sprachen | descripción formal de sistemas arbitrarios por medio de lenguajes funcionales |
| ed. | formale Bildung | educación inicial |
| ed. | formale Bildung | educación ordinaria escolar y universitaria |
| ed. | formale Bildung | educación formal |
| health. | formale Denkstoerung | trastorno formal del proceso mental |
| work.fl., IT | formale dokumentarische Beschreibung | descripción bibliográfica material |
| work.fl., IT | formale Dokumentbeschreibung | descripción material del documento |
| reliabil. | formale Entwicklungsbewertung | revisión formal de diseño |
| work.fl. | formale Erfassung | identificación |
| med. | formale Genetik | genética formal |
| IT | formale Heuristik | heurística formal |
| IT, dat.proc. | formale Logik | lógica formal |
| automat. | formale Logik | logica |
| automat. | formale Logik | lógica |
| IT | Formale Methode für asynchrone Systeme | métodos formales para sistemas asíncronos |
| work.fl. | formale Ordnung | orden canónico |
| IT, dat.proc. | formale Parameter | parámetro formal |
| IT | formale Prüfung | prueba formal |
| IT | formale Prüfung | ensayo formal |
| IT | formale Spezifikation | especificación formal |
| IT, tech. | formale Sprache | lenguaje artificial |
| IT, tech. | formale Sprache | lenguaje formal |
| work.fl. | formale Unterteilung | subdivisiones de forma |
| nat.sc. | formaler Aufbau der Zusammenfassung der Anmeldung | formato del resumen de la información incluida en la notificación |
| IT | formaler Parameter | argumento ficticio |
| IT | formaler Parameter | parámetro formal |
| IT | formaler Programmfehler | error formal de programa |
| IT, dat.proc. | formaler öffentlicher Bezeichner | identificador público formal |
| social.sc., ed. | formales Lernen | aprendizaje formal |
| gen. | formales Modell einer Sicherheitspolitik | modelo formal de política de seguridad |
| law | formales Recht | derecho formal |
| IT | formales Schließen | razonamiento formal |
| gen. | formales Sicherheitsmodell | modelo formal de política de seguridad |
| el. | formales Strahlungsbild | representación formal mediante rayos |
| IT, industr. | integrierter formaler Ansatz für die industrielle Software-Entwicklung | enfoque formal integrado del desarrollo de software industrial |
| IT, industr. | integrierter formaler Ansatz für die industrielle Software-Entwicklung | enfoque formal integrado del desarrollo de equipo lógico industrial |
| IT | Modus eines formalen Parameters | modo de parámetro formal |
| ed. | nicht-formale Bildung | educación no formal |
| social.sc., ed. | nicht-formales Lernen | aprendizaje no formal |
| IT | personenbezogene Arbeitsstation für die schrittweise grafische graphische Spezifikation und formale Implementierung nicht seqüntieller Systeme | estación de trabajo personal para la especificación gráfica incremental y la realización de sistemas no secuenciales |
| work.fl., IT | systematisch-formales Register | índice sistemático formal |
| IT | Zusicherung bezüglich der formalen Richtigkeit | declaración de veracidad |