Translation of "Formal correctness" in German
With
the
Check-script
you
can
check
an
IBAN
on
its
formal
correctness.
Mit
dem
Check-Script
können
sie
die
formale
Richtigkeit
einer
IBAN
überprüfen.
CCAligned v1
The
qedeq
modules
were
checked
for
formal
correctness
with
the
integrated
proof
verifier.
Diese
Qedeq-Module
wurden
von
dem
darin
integrierten
Beweisprüfer
auf
formale
Korrektheit
hin
kontrolliert.
ParaCrawl v7.1
The
formal
correctness
of
the
management
is
to
be
examined
by
two
cash
auditors
once
a
year.
Die
formelle
Ordnungsmäßigkeit
der
Geschäftsführung
ist
durch
zwei
Kassenprüfer
einmal
jährlich
zu
überprüfen.
ParaCrawl v7.1
With
the
Check-Script
you
can
check
the
formal
correctness
of
an
IBAN.
Mit
dem
Check-Script
können
sie
die
formale
Richtigkeit
einer
IBAN
überprüfen.
ParaCrawl v7.1
We
pay
great
attention
to
clarity
of
content
and
formal
correctness.
Großen
Wert
legen
wir
auf
inhaltliche
Klarheit
und
formale
Korrektheit.
ParaCrawl v7.1
The
Admission
Office
only
checks
the
formal
correctness
of
your
application.
Das
International
Students
Office
überprüft
nur
die
formelle
Korrektheit
ihrer
Bewerbung.
ParaCrawl v7.1
An
erroneous
calculation
formula
certainly
disrupt
the
formal
correctness
not
least.
Ein
fehlerhafter
Abrechnungsschlüssel
stört
jedenfalls
die
formelle
Richtigkeit
nicht
imgeringsten.
ParaCrawl v7.1
In
the
field
of
real-time
operating
systems,
the
chair
carries
through
the
formal
correctness
proof
of
an
operating
system
kernel.
Auf
dem
Gebiet
der
Realzeitbetriebssysteme
beschäftigt
sich
der
Lehrstuhl
mit
dem
formalen
Korrektheitsbeweis
eines
Betriebssystemkerns.
ParaCrawl v7.1
The
Studienförderfonds
Siegen
e.V.
accepts
the
applications
and
checks
them
for
formal
correctness.
Der
Studienförderfonds
Siegen
e.V.
nimmt
die
Bewerbungen
entgegen
und
prüft
diese
zunächst
auf
formale
Richtigkeit.
ParaCrawl v7.1
In
future
I
would
like
more
attention
to
be
focused
on
a
substantial
assessment
of
individual
expenses
than
on
their
formal
correctness.
Für
die
Zukunft
würde
ich
mir
wünschen,
dass
der
substantiellen
Bewertung
der
Einzelausgaben
mehr
Bedeutung
beigemessen
wird
als
ihrer
formellen
Richtigkeit.
Europarl v8
In
lines
907
and
911,
the
library
function
‘sscanf’
is
used
to
remove
the
value
from
the
string
‘fmt’
and
to
store
it
in
the
memory
area
addressed
by
the
pointer
‘stru’,
with
type
adjustment
being
carried
out
here
for
the
sake
of
formal
correctness.
In
den
Zeilen
907
und
911
wird
über
die
Bibliotheksfunktion
'sscanf'
der
Wert
aus
dem
String
'fmt'
entnommen
und
in
dem
Speicherbereich
abgelegt,
der
durch
den
Zeigen
'stru'
adressiert
ist,
wobei
der
formalen
Korrektheit
halber
hier
eine
Typanpassung
erfolgt.
EuroPat v2
All
accomplished
interviews
are
controlled
regarding
formal
correctness
(e.g.
filter
questions),
completeness
and
plausibility.
Alle
vom
Mitarbeiter
durchgeführten
Interviews
werden
hinsichtlich
formaler
Richtigkeit
(z.B.
Filterführung),
Vollständigkeit
und
Plausibilität
einer
inhaltlichen
Nachkontrolle
unterzogen.
ParaCrawl v7.1
System
accreditation
ensures
a
high
quality
of
the
study
programs
and
their
formal
correctness
according
to
national
and
European
regulations.
Es
gewährleistet
hohe
Qualität
der
Studiengänge
und
formale
Korrektheit
der
Studiengänge
gemäß
den
nationalen
und
europäischen
Regelungen
.
ParaCrawl v7.1
The
controller
12
further
monitors
the
data
exchange
to
the
terminal
50
and
with
the
additional
module
16
as
to
formal
correctness
and
plausibility.
Der
Controller
12
überwacht
ferner
den
Datenaustausch
zum
Terminal
50
und
mit
dem
Zusatzmodül
16
auf
formale
Richtigkeit
und
Plausibilität.
EuroPat v2
After
complete
transmission
of
the
file
“FlexConf.ini”
with
the
modification
information
within
a
predetermined
time
period
(see
branch
71
a),
a
next
step
73
involves
performing
once
again
a
check
of
the
file
“FlexConf.ini”
with
regard
to
syntactic
and
formal
correctness.
Nach
einer
vollständigen
Übertragung
des
Files
"FlexConf.ini"
mit
dem
Änderungsinformationen
innerhalb
einer
vorgegebenen
Zeitspanne
(siehe
Verzweigung
71a)
wird
in
einem
nächsten
Schritt
73
wiederum
eine
Überprüfung
des
Files
"FlexConf.ini"
auf
syntaktische
und
formale
Richtigkeit
ausgeführt.
EuroPat v2
The
controller
32
furthermore
monitors
the
data
exchange
to
the
terminal
10
and
with
the
additional
module
40
for
formal
correctness
and
plausibility.
Der
Controller
32
überwacht
ferner
den
Datenaustausch
zum
Terminal
10
und
mit
dem
Zusatzmodul
40
auf
formale
Richtigkeit
und
Plausibilität.
EuroPat v2
In
one
exemplary
embodiment,
a
test
program
can
also
be
run
which
carries
out
a
check
of
the
file
“FlexConf.ini”
with
regard
to
syntactic
and
formal
correctness.
In
einer
vorteilhaften
Ausgestaltung
kann
auch
ein
Prüfprogramm
durchlaufen
werden,
welches
eine
Überprüfung
des
Files
"FlexConf.ini"
auf
syntaktische
und
formale
Richtigkeit
durchführt.
EuroPat v2
In
a
subsequent
step
22,
the
file
“FlexConf.ini”
is
checked
with
regard
to
syntactic
and
formal
correctness.
In
einem
nachfolgenden
Schritt
22
erfolgt
eine
Überprüfung
des
Files
"FlexConf.ini"
auf
syntaktische
und
formale
Richtigkeit.
EuroPat v2
If
the
data
record
number
“FlexConf_ID”
was
transmitted
successfully
within
a
predetermined
time
period
(branch
52
a),
a
next
step
54
involves
performing
a
check
of
the
file
“FlexConf.ini”
with
regard
to
syntactic
and
formal
correctness
in
accordance
with
step
22
in
FIG.
Wurde
die
Datensatznummer
"FlexConf_ID"
erfolgreich
innerhalb
einer
vorgegebenen
Zeitspanne
übertragen
(Verzweigung
52a),
wird
in
einem
nächsten
Schritt
54
eine
Überprüfung
des
Files
"FlexConf.ini"
auf
syntaktische
und
formale
Richtigkeit
gemäß
Schritt
22
in
Fig.
EuroPat v2
After
complete
reception
of
the
modification
information
within
a
predetermined
time
period
(see
branch
62
a),
a
next
step
64
involves
performing
a
check
of
the
data
record
[FlexConf_ID
—
000]
with
regard
to
syntactic
and
formal
correctness.
Nach
einem
vollständigem
Empfang
der
Änderungsinformationen
innerhalb
einer
vorgegebenen
Zeitspanne
(siehe
Verzweigung
62a)
wird
in
einem
nächsten
Schritt
64
eine
Überprüfung
des
Datensatzes
[FlexConf_ID_000]
auf
syntaktische
und
formale
Richtigkeit
ausgeführt.
EuroPat v2
The
accounts
and
records
of
the
taxpayer
which
correspond
to
the
provisions
of
sections
140
to
148
shall
serve
as
the
basis
for
taxation
to
the
extent
that
the
individual
circumstances
give
no
reason
to
object
to
their
formal
correctness.
Die
Buchführung
und
die
Aufzeichnungen
des
Steuerpflichtigen,
die
den
Vorschriften
der
§§
140
bis
148
entsprechen,
sind
der
Besteuerung
zugrunde
zu
legen,
soweit
nach
den
Umständen
des
Einzelfalls
kein
Anlass
ist,
ihre
sachliche
Richtigkeit
zu
beanstanden.
ParaCrawl v7.1
Our
services
in
the
support
of
the
application
process
comprise
the
check
for
formal
correctness
of
your
proposal,
proofreading
from
a
reviewer´s
perspective,
assistance
in
technical
parts
of
the
proposal
(e.g.,
the
budget)
as
well
as
the
coordination
of
internal
processes.
Unsere
Leistungen
auf
dem
Gebiet
der
Antragsbegleitung
umfassen
die
Prüfung
formaler
Richtigkeit,
das
kritische
Gegenlesen
"aus
Gutachterperspektive",
Zuarbeiten
zu
technischen
Teilen
des
Antrags
(z.B.
Budgetkalkulation)
sowie
die
Koordination
inneruniversitärer
Abstimmungsprozesse.
ParaCrawl v7.1
The
unitary
format
offers
a
cross-border
possibility
to
check
accounting
connections
for
formal
correctness
already
at
the
capture.
Das
einheitliche
Format
bietet
eine
länderübergreifende
Möglichkeit
Kontoverbindungen
bereits
bei
der
Erfassung
auf
formale
Richtigkeit
zu
prüfen.
ParaCrawl v7.1
This
syllogism
will
be
under
strict
scrutiny
as
far
as
“truth“
is
concerned,
both
with
respect
to
terminology,
content
and
formal
correctness.
Dieser
Syllogismus
wird
auf
„Wahrheit“
in
der
Begrifflichkeit,
den
Aussagen
und
auf
formale
Korrektheit
überprüft.
ParaCrawl v7.1
Checking
of
the
formal
correctness
of
the
reports
(Did
the
respondents
follow
the
instructions
in
the
survey
instrument
correctly?)
Prüfung
der
Korrektheit
der
Angaben
auf
formaler
Ebene
(sind
die
Befragten
den
Anweisungen
im
Erhebungsinstrument
korrekt
gefolgt?)
ParaCrawl v7.1