Translation of "Functional correctness" in German
Real-time
systems
defined
this
way
are,
thus,
characterised
by
the
fact
that
the
functional
correctness
of
a
system
is
not
only
dependent
on
the
results
of
calculations,
but
also
on
the
times
when
these
results
are
produced,
as
a
consequence
of
which
they
differ
fundamentally
from
other
data
processing
systems.
Die
so
definierten
Realzeitsysteme
sind
mithin
dadurch
charakterisiert,
daß
die
funktionale
Korrektheit
eines
Systems
nicht
nur
vom
Resultat
einer
Berechnung,
sondern
auch
von
der
Zeit
abhängt,
wann
dieses
Resultat
produziert
wird,
womit
sie
sich
grundlegend
von
anderen
Datenverarbeitungssystemen
unterscheiden.
ParaCrawl v7.1
Besides
the
adequate
realization
of
the
cryptographic
primitives,
these
attacks
must
be
considered
in
addition
to
the
classical
(functional)
correctness
in
the
implementation
of
the
protocol
rules.
Neben
der
adäquaten
Realisierung
der
kryptographischen
Primitive
müssen
diese
bei
der
Implementierung
der
Protokollregeln
zusätzlich
zur
klassischen
Korrektheit
berücksichtigt
werden.
ParaCrawl v7.1
Properly
applied,
this
even
saves
time,
as
the
functional
correctness
of
the
data
is
ensured
by
business
specialists,
which
have
the
necessary
know-how
due
to
their
business
responsibility.
Richtig
angewendet
spart
dies
sogar
Zeit,
da
die
fachliche
Richtigkeit
der
Daten
von
den
Bereichen
sichergestellt
wird,
die
es
auch
aufgrund
ihrer
Verantwortung
und
ihres
Know-hows
können.
ParaCrawl v7.1
The
concept
of
beauty
of
any
subject
is
connected
with
its
functional
correctness,
therefore
in
furniture
aspire
to
justify
each
element
logically.
Der
Begriff
der
Schönheit
irgendwelchen
Gegenstandes
ist
mit
seiner
funktionalen
Begründetheit
verbunden,
deshalb
streben
in
der
Möbel
logisch,
jedes
Element
zu
rechtfertigen.
ParaCrawl v7.1
The
aspiration
to
expediency
and
functional
correctness
is
combined
with
art
problems
in
the
interior
organisation.
Das
Streben
zur
Zweckmäßigkeit
und
der
funktionalen
Begründetheit
wird
mit
den
künstlerischen
Aufgaben
in
die
Organisationen
der
Innenansicht
kombiniert.
ParaCrawl v7.1
If
you
asked
the
question
the
author
of
this
article,
so
he
tried
to
gain
insight
into
the
functional
correctness
of
HLB
and
with
MS,
or
demonstrate
a
deficiency
of
HLB
in
MS,
what
would
we
have
it
answered?
Wenn
Sie
die
Frage
nach
dem
Autor
dieses
Artikels
gefragt,
so
versuchte
er
Einblick
in
die
funktionale
Richtigkeit
der
HLB
zu
gewinnen
und
mit
MS,
oder
einen
Mangel
an
HLB
in
MS
demonstrieren,
was
hätten
wir
es
beantwortet?
ParaCrawl v7.1
Traditions
of
a
folk
art
are
successfully
combined
today
with
modern
principles
of
the
organisation
of
an
interior
-
functional
correctness
along
with
skilful
revealing
of
decorative
properties
of
a
material,
harmony
of
dimensions
of
the
equipment
to
growth
of
the
person,
severity,
simplicity
and
logicality
of
forms
of
furniture,
application
of
a
natural
structure
of
wood
and
domotkannogo
textiles.
Die
Traditionen
der
Volkskunst
werden
heutzutage
mit
den
modernen
Prinzipien
der
Organisation
der
Innenansicht
-
die
funktionale
Begründetheit
neben
der
geschickten
Aufspürung
der
dekorativen
Eigenschaften
des
Materials,
die
Angemessenheit
der
Abmessungen
der
Ausrüstung
der
Größe
des
Menschen,
die
Strenge,
die
Einfachheit
und
die
Folgerichtigkeit
der
Formen
der
Möbel,
die
Anwendung
der
natürlichen
Textur
des
Holzes
und
domotkannogo
der
Textilware
erfolgreich
kombiniert.
ParaCrawl v7.1
Besides
methods
for
the
verification
of
functional
correctness
of
software,
our
group
develops
methods
for
proving
information-flow
properties,
especially
for
IT-security
applications.
Neben
Methoden
zur
Verifikation
funktionaler
Korrektheit
werden
-
insbesondere
für
Anwendungen
in
der
IT-Sicherheit
-
Methoden
zum
Nachweis
von
Informationsflusseigenschaften
entwickelt.
ParaCrawl v7.1
Selenium
allows
you
to
fully
test
web
applications
from
the
user
interface
to
the
database
and
thus
verify
the
functional
correctness
of
the
overall
system.
Mit
Selenium
ist
es
möglich,
Webanwendungen
von
der
Benutzeroberfläche
bis
zur
Datenbank
komplett
automatisiert
zu
testen
und
somit
die
funktionale
Korrektheit
des
Gesamtsystems
zu
verifizieren.
ParaCrawl v7.1