Translation of "Nachbedingung" in English
Dies
sei
am
Beispiel
der
ersten
Nachbedingung
verdeutlicht.
This
is
highlighted
with
the
first
postcondition.
ParaCrawl v7.1
Verfahren
nach
einem
der
Ansprüche
1
bis
3,
dadurch
gekennzeichnet,
dass
die
Soll-Funktionalität
und
damit
die
Anforderung
ferner
wenigstens
einen
Vorbedingung
und/oder
wenigstens
einen
Nachbedingung
umfassen.
The
method
according
to
claim
1
wherein
the
target
functionality
and
thus
the
requirement
comprise
at
least
one
precondition
or
at
least
one
postcondition.
EuroPat v2
Sie
bilden
eine
Belastung
für
die
Spezifikation
des
Anwendungsfallablaufes,
das
sichergestellt
sein
muss,
dass
die
Nachbedingung
immer
eingehalten
wird.
They
place
a
burden
on
the
spe-cification
of
the
use
case
flows,
to
ensure
that
the
post-condition
always
holds.
ParaCrawl v7.1
Der
Textcursor
ist
automatisch
so
eingestellt,
dass
Sie
die
Vor-
und/oder
Nachbedingung
eingeben
können.
The
text
cursor
is
automatically
set
for
you
to
enter
the
pre
and/or
post
condition.
ParaCrawl v7.1