Metadata
Author: cordis
Data
German[de]
HATS wird überdies Sicherheit und Vertrauenswürdigkeit dadurch in den Vordergrund rücken, dass normalerweise nicht formale Prozesse durch strenge mathematische Analysen der Aussagen der verwendeten Programmiersprachen ersetzt werden ("formale Semantik").
English[en]
HATS will also focus on security and trustworthiness by replacing what are normally informal processes with rigorous mathematical analyses of the meaning of the programming languages used ('formal semantics').
Spanish[es]
HATS también se centrará en la seguridad y la fiabilidad al sustituir lo que ahora son procesos informales por análisis matemáticos rigurosos del significado de los lenguajes de programación empleados («semántica formal»).
French[fr]
Le projet HATS visera également la sécurité et la fiabilité, en remplaçant des processus généralement informels par une analyse mathématique rigoureuse de la signification des langages de programmation utilisés (la «sémantique formelle»).
Italian[it]
HATS si concentrerà inoltre sull'aspetto della sicurezza e dell'affidabilità sostituendo quelli che sono normalmente processi informali con processi caratterizzati da analisi rigorosamente matematiche del significato del linguaggio di programmazione utilizzato ("semantica formale").
Polish[pl]
Projekt HATS skoncentruje się również na bezpieczeństwie i niezawodności poprzez zastąpienie procesów, które zwykle mają charakter nieformalny, rygorystycznymi analizami matematycznymi znaczenia wykorzystanych języków programowania (semantyka formalna).