Translation of "Beschreibungsmittel" in English
Dazu
werden
geeignete
Beschreibungsmittel,
Methoden
und
Werkzeuge
untersucht
und
beispielhaft
angewendet.
Herefore
useful
description
appliances,
methods
and
tools
will
be
examined
and
tested.
ParaCrawl v7.1
Ein
solches
Beschreibungsmittel
sind
die
Petrinetze.
Such
a
description
method
is
the
petri
net
system.
ParaCrawl v7.1
Alle
Aufgaben
in
den
einzelnen
Entwicklungsphasen
bedürfen
geeigneter
Beschreibungsmittel,
Methoden
und
Werkzeuge.
All
tasks
in
a
single
development
phase
need
suited
description
means,
methods
and
tools.
ParaCrawl v7.1
S1:
Ein
physikalisches
Feld
ist
ein
Beschreibungsmittel,
aber
es
existiert
nicht:
Existenz
kann
ihm
nur
zusammen
mit
seinem
Träger
zuerkannt
werden,
mit
dem
es
untrennbar
verbunden
ist.
S1:
A
physical
field
is
an
instrument
of
description,
but
it
does
not
exist:
Existence
can
be
assigned
to
it
only
in
connection
with
its
carrier,
with
which
it
is
inextricably
linked.
ParaCrawl v7.1
Das
Symposium
bietet
interessierten
Wissenschaftlern,
Praktikern
und
Managern,
Entwicklern
und
Beratern
der
Automobil-und
Eisenbahnindustrie,
sowie
Verkehrsnetzbetreiber
eine
etablierte
Plattform
für
den
Austausch
von
wissenschaftlichen
Erfahrungen
und
den
Transfer
von
praktischen
Beschreibungsmittel,
Methoden
und
Werkzeugen
für
komplexe
Automatisierungssysteme
mit
Hilfe
von
formalen
Methoden,
Requirements
Engineering,
sowie
der
Modellierung
von
Human
Factors
und
Anwendungsbeispielen
in
der
Eisenbahn-
und
Automobilindustrie.
The
symposium
offers
scientists,
practitioners
and
managers,
developers
and
consultants
of
automotive
and
railway
industries
as
well
as
traffic
system
operators
with
interest
in
formal
methods,
requirements
engineering,
and
applications
in
railway
and
automotive
to
modeling
of
human
factors
and
behavior,
an
established
platform
for
the
exchange
of
scientific
experience
and
the
transfer
of
practical
description
means,
methods
and
tools
for
complex
automation
systems.
ParaCrawl v7.1
Auf
der
Basis
von
Untersuchungen
zum
Vergleich
formaler
und
semi-formaler
Beschreibungsmittel
wurde
ein
Verfahren
entwickelt,
das
es
erlaubt,
Computer-Werkzeuge
zur
Systemmodellierung
bzw.
zum
Systementwurf
zu
vergleichen
und
zu
bewerten.
A
procedure
was
developed
on
the
basis
of
examination
for
the
comparison
of
formal
and
semi
formal
description
tools
which
allows
the
comparison
and
evaluation
of
computer
tools
for
the
system
modelling
or
conception.
ParaCrawl v7.1
In
den
verschiedenen
Phasen
im
Lebenszyklus
eines
Gerätes
kommen
typischerweise
verschiedene
Beschreibungsmittel
der
Gerätefunktionen
und
Geräteparameter
zum
Einsatz.
In
the
different
phases
in
the
life
cycle
of
a
device,
different
description
means
of
the
device
functions
and
device
parameters
are
typically
used.
EuroPat v2
Das
im
Institut
entwickelte
BMW-Konzept,
d.h.
Beschreibungsmittel,
Werkzeuge,
Methoden
ist
die
allgemeine
methodische
und
integrale
Grundlage.
The
BMW
concept
developed
at
the
institute,
i.e.
the
description
mechanisms,
tools
and
methods,
served
as
the
general
methodological
and
integral
basis.
ParaCrawl v7.1
Hierbei
sind
Methoden,
Werkzeuge
und
Beschreibungsmittel,
welche
die
Gestaltung
und
das
Ver-
ständnis
komplexer
Systeme
ermöglichen,
von
besonderem
Interesse.
They
are
especially
interested
in
methods,
tools
and
descriptions
for
improving
the
design
and
understanding
of
complex
systems.
ParaCrawl v7.1
Terminologie:
Die
natürliche
Sprache
ist
eines
der
wichtigsten
und
weit
verbreitetsten
Beschreibungsmittel
überhaupt
-
selbst
in
technischen
Bereichen.
Terminology:
Natural
language
is
one
of
the
most
important
means
of
description
-
and
the
most
widely
used
one,
even
in
technical
domains.
ParaCrawl v7.1
Die
Studierenden
haben
nach
erfolgreichem
Absolvieren
dieser
Vorlesung
eingehende
Kenntnisse
über
Begriffe,
Beschreibungsmittel,
Methoden
und
Werkzeuge
der
technischen
Zuverlässigkeit.
After
completion
of
this
course,
the
students
will
have
developed
knowledge
concerning
the
terminology,
description
processes,
methods,
and
tools
for
reliability
engineering.
ParaCrawl v7.1
Theoretische
Arbeiten
zur
Verkehrssicherheit
auf
der
Basis
formaler
Techniken,
d.
h.
formaler
Beschreibungsmittel,
Methoden
und
Werkzeuge
(BMW-Konzept).
Theoretical
examinations
of
traffic
safety
on
the
basis
of
formal
techniques,
i.e.
formal
description
means,
methods
and
tools
(BMW
concept).
ParaCrawl v7.1
Es
ist
bemerkenswert,
daß
Mutters
Erfahrungen
im
Körper
sich
sehr
oft
mit
Theorien
der
modernen
Physik
überlappen
–
als
wären
die
mathematischen
Gleichungen
ein
Beschreibungsmittel
für
gewisse
komplexe
oder
von
der
Realität
entfernte
Phänomene,
die
Mutter
spontan
in
ihrem
Körper
lebte...
vielleicht
mit
"Lichtgeschwindigkeit".
It
is
striking
that
Mother's
body-experiences
very
often
parallel
recent
theories
of
modern
physics,
as
if
mathematical
equations
were
the
means
of
formulating
in
human
language
certain
complex
phenomena,
remote
from
our
day
to
day
reality,
which
Mother
was
living
spontaneously
in
her
body
–
perhaps
“at
the
speed
of
light.”
ParaCrawl v7.1
Hierfür
eignen
sich
insbesondere
formale
Methoden,
die
ein
Beschreibungsmittel
verwenden,
das
einerseits
durch
seine
Anschaulichkeit
leicht
zu
erlernen
und
zu
verstehen
ist,
andererseits
aber
auf
Grund
einer
formalen
mathematischen
Basis
den
Korrektheitsnachweis
zulässt.
For
this
purpose
especially
formal
methods
are
expedient
that
use
a
description
method
which
is
easy
to
learn
and
to
understand
because
of
its
demonstrativeness
but
also
enables
correctness
certifications
because
of
a
formal,
mathematical
basis.
ParaCrawl v7.1
Sie
dienen
zum
einen
als
universelles
und
anschauliches
Beschreibungsmittel,
zum
anderen
sind
auf
Grund
der
hierzu
existierenden
mathematischen
Basis
Simulationen
und
Analysen
möglich.
They
serve
as
a
universal
and
demonstrational
description
tool
on
the
one
hand
and
simulations
and
analyses
are
possible
due
to
the
existing
mathematical
basis
on
the
other.
ParaCrawl v7.1