Tec
hnis
che
Uni
vers
ität
Bra
unsc
hwei
g1-
1
Alg
orith
men
& D
aten
stru
ktur
en I
WS
200
2/03
Pro
f. D
r.S
tefa
n F
isch
er
1. G
rund
begr
iffe
Tec
hnis
che
Uni
vers
ität
Bra
unsc
hwei
g1-
2
1.In
form
atik
2.vo
n-N
eum
ann
-Rec
hn
er
3.S
ign
al, D
atu
m, I
nfo
rmat
ion
4.S
yste
me
5.W
irkl
ich
keit
un
d M
od
ell
6.M
od
ellie
run
g in
der
Info
rmat
ik
7.V
eran
two
rtu
ng
des
Info
rmat
iker
s
1. G
run
db
egri
ffe
Inh
alt
Tec
hnis
che
Uni
vers
ität
Bra
unsc
hwei
g1-
3
1. G
run
db
egri
ffe
Info
rmat
ik is
t d
ie w
isse
nsc
haf
tlic
he
Au
sein
and
erse
tzu
ng
m
it D
aten
-o
der
Info
rmat
ion
sver
arb
eitu
ng
du
rch
M
asch
inen
.
1.W
isse
nsch
aftli
ch:g
rund
lege
nde
Klä
rung
, nic
ht is
olie
rte
Ein
zellö
sung
2.D
aten
-, In
form
atio
nsve
rarb
eitu
ng:s
chrit
twei
se k
lare
r in
de
r V
orle
sung
3.M
asch
inen
:gre
nzt I
nfor
mat
ik a
b ge
gen
Bio
logi
e,
Med
izin
,...
1.1
Info
rmat
ik:
Gro
be
Um
sch
reib
un
g
Tec
hnis
che
Uni
vers
ität
Bra
unsc
hwei
g1-
4
1. G
run
db
egri
ffe
The
orie
:M
athe
mat
ik, f
orm
ale
Logi
k, B
ewei
s, a
bstr
akte
S
truk
ture
n (W
as k
ann
ein
Aut
omat
? )
→T
heor
etis
che
Info
rmat
ik
Tec
hnik
:(W
eite
r)E
ntw
ickl
ung
von
Rec
hner
n un
d de
ren
Ver
fügb
arke
it→
Tec
hnis
che
Info
rmat
ik
Com
pute
r-P
raxi
s:B
edar
f an
Sta
ndar
dver
fahr
en
(Bet
riebs
syst
eme,
Com
pile
r, D
aten
bank
en)
→P
rakt
isch
e In
form
atik
Spe
ziel
le C
ompu
tera
nwen
dung
en:A
nfor
deru
ngen
aus
BW
L,
Med
izin
, Arb
eits
wis
sens
chaf
t, ...
→A
ngew
andt
e In
form
atik
Qu
elle
n d
er In
form
atik
1.1
Info
rmat
ik
Tec
hnis
che
Uni
vers
ität
Bra
unsc
hwei
g1-
5
Str
ukt
ur
der
Info
rmat
ik in
BS
The
oret
isch
eIn
form
atik
Hoc
hl.K
omm
.M
M-S
yste
me
Ent
wur
fIn
tegr
iert
erS
chal
tung
en
Ver
teilt
eS
yste
me
Wis
sens
chaf
tl.R
echn
en
Com
pute
r-G
raph
ikR
obot
ik u
.P
roze
ssin
f.M
ediz
in-
Info
rmat
ik
Info
rmat
ions
-sy
stem
e
‚An
wen
du
ng
‘
‚Gru
nd
lag
en‘
‚Ker
n‘
Info
rmat
ikS
oftw
are-
Tec
hnik
Pro
gr. u
.R
eakt
. Sys
t
Ent
w. D
igit.
Sys
tem
eP
aral
lele
Arc
hite
ktur
enD
igit.
Sig
nal-
vera
rb. u
.M
uste
rerk
.
Tec
hn
. In
f.im
FB
EIT
1. G
run
db
egri
ffe
1.1
Info
rmat
ik
Tec
hnis
che
Uni
vers
ität
Bra
unsc
hwei
g1-
6
1. G
run
db
egri
ffe
Seh
r sc
höne
r Ü
berb
lick:
http
://w
ww
.wel
ler.
to/in
dex.
htm
17. J
hd:
mec
hani
sche
Rec
henm
asch
inen
(Le
ibni
z, P
asca
l)
1838
:K
onze
pt e
iner
pro
gram
mge
steu
erte
n M
asch
ine
(Bab
bage
)
1886
:Lo
chka
rten
mas
chin
e (H
olle
rith)
1888
-193
6:B
ahnb
rech
ende
Arb
eite
n in
der
form
alen
Log
ik (
Ack
erm
ann,
H
ilber
t, G
ödel
, Tur
ing)
1934
-194
1:er
ste
elek
trom
echa
nisc
he R
echn
er (
Zus
e)
1946
:-
erst
e el
ektr
onis
che
Rec
hner
(E
cker
t, M
auch
ly)
-ne
ues
Rec
hner
konz
ept (
J. v
. Neu
man
n)
1949
:er
ster
uni
vers
elle
r D
igita
lrech
ner
(Wilk
e)
Ab
1950
:in
dust
rielle
Rec
hner
entw
ickl
ung
und
Pro
dukt
ion
His
tori
sch
es
1.1
Info
rmat
ik
Tec
hnis
che
Uni
vers
ität
Bra
unsc
hwei
g1-
7
1. G
run
db
egri
ffe
Arc
hite
ktur
konz
ept v
on J
ohn
von
Neu
man
n, 1
946:
1.2
von
-Neu
man
n-R
ech
ner
Zen
tral
-P
roze
sso
rA
rbei
ts-
spei
cher
Per
i-p
her
ie
Bu
s
Tec
hnis
che
Uni
vers
ität
Bra
unsc
hwei
g1-
8
1. G
run
db
egri
ffe
Zen
tral
proz
esso
rfü
hrt f
ortw
ähre
nd B
efeh
le a
us, d
as s
ind
arith
met
isch
e/ lo
gisc
he O
pera
tione
n od
er A
nwei
sung
en z
ur
Ste
ueru
ng d
er z
eitli
chen
Rei
henf
olge
and
erer
Bef
ehle
.
Pro
gram
min
Mas
chin
ensp
rach
e: F
olge
von
Bef
ehle
n, w
ird
aus
dem
Spe
iche
r ge
lese
n
Arb
eits
spei
cher
enth
ält P
rogr
amm
und
Dat
en, b
este
ht a
us
durc
hnum
mer
iert
en Z
elle
n (B
ytes
, 1 B
yte
= 8
Bit)
Adr
esse
: Num
mer
ein
er Z
elle
Per
iphe
rieP
latte
nspe
iche
r, D
ruck
er, B
ildsc
hirm
, ...
Bus
verb
inde
t Pro
zess
or, S
peic
her
und
Per
iphe
rie z
ur
Übe
rtra
gung
von
Bits
& B
ytes
Ele
men
te
1.2
von
-Neu
man
n-R
ech
ner
Tec
hnis
che
Uni
vers
ität
Bra
unsc
hwei
g1-
9
1. G
run
db
egri
ffe
Bef
ehle
kön
nen
ca. 1
0 m
al s
o sc
hnel
l aus
gefü
hrt w
erde
n w
ie S
peic
herz
ugrif
fe
. . .
und
letz
tere
sin
d hä
ufig
!
⇒P
roze
ssor
von
Spe
iche
rzug
riffe
n en
tlast
en
→R
egis
ter/
Cac
he: s
chne
lle H
ilfss
peic
her
im/n
ahe
beim
Z
entr
alpr
ozes
sor
→K
anäl
e: S
pezi
alpr
ozes
sore
n zu
r S
teue
rung
der
P
erip
herie
von
-Neu
man
n-E
ng
pas
s
1.2
von
-Neu
man
n-R
ech
ner
Tec
hnis
che
Uni
vers
ität
Bra
unsc
hwei
g1-
10
1.S
ign
al
2.N
ach
rich
t u
nd
Info
rmat
ion
3.D
atu
m u
nd
Dat
enve
rarb
eitu
ng
4.A
lter
nat
ive
Def
init
ion
vo
n In
form
atio
n
5.W
isse
n
6.In
form
atio
nsv
erar
bei
tun
g
7.K
om
pre
ssio
n u
nd
Ko
mp
rim
ieru
ng
1. G
run
db
egri
ffe 1.3
Sig
nal
, Dat
um
, In
form
atio
n
Tec
hnis
che
Uni
vers
ität
Bra
unsc
hwei
g1-
11
1.3
Sig
nal
, Dat
um
, In
form
atio
n1.
Gru
nd
beg
riff
e
Sig
nal
:D
arst
ellu
ng
ein
er M
itte
ilun
g d
urc
h z
eitl
ich
e V
erän
der
un
g e
iner
ph
ysik
alis
chen
Grö
ße
Sig
nal
Info
rmat
ik b
efas
st s
ich
üb
erw
ieg
end
mit
dig
ital
en D
aten
-u
nd
meh
r m
it D
aten
als
mit
Sig
nal
en
2.di
gita
l: S
igna
lpar
amet
er w
erde
n zu
di
skre
ten
Zei
tpun
kten
bes
timm
t
1.an
alog
: Wer
te d
er S
igna
lpar
amet
er
ände
rn s
ich
stet
ig, I
nfor
mat
ion
wird
da
raus
ste
tig a
bgel
eite
t
Tec
hnis
che
Uni
vers
ität
Bra
unsc
hwei
g1-
12
1.3
Sig
nal
, Dat
um
, In
form
atio
n1.
Gru
nd
beg
riff
e
Nac
hric
ht: M
ittei
lung
, die
von
Ein
zelh
eite
n de
r S
igna
le/S
igna
lpar
amet
er a
bstr
ahie
rtin
der
Info
rmat
ik m
eist
: Nac
hric
ht =
Zei
chen
folg
e
Nac
hri
cht
un
d In
form
atio
n
Inte
rpre
tatio
n: E
xtra
ktio
n vo
n In
form
atio
n au
s ei
ner
Nac
hric
ht
Bez
ugss
yste
m (
Kon
text
): K
ennt
niss
e, d
ie m
an b
enöt
igt,
um d
ie B
edeu
tung
ein
er N
achr
icht
zu
erfa
ssen
Info
rmat
ion:
Bed
eutu
ng e
iner
Nac
hric
ht in
ein
em
best
imm
ten
Bez
ugss
yste
m
„2+2=4“
Tec
hnis
che
Uni
vers
ität
Bra
unsc
hwei
g1-
13
1.3
Sig
nal
, Dat
um
, In
form
atio
n1.
Gru
nd
beg
riff
e
Dat
um=
Nac
hric
ht +
zug
eord
nete
Info
rmat
ion
Dat
um
un
d D
aten
vera
rbei
tun
g
DIN
443
00:D
aten
sin
d G
ebild
e au
s Z
eich
en o
der
kont
inui
erlic
hen
Fun
ktio
nen,
die
auf
grun
d be
kann
ter
Abm
achu
ngen
Info
rmat
ione
n fü
r di
e W
eite
rver
arbe
itung
bzw
. als
Erg
ebni
s da
rste
llen.
Oft
auch
:kle
inst
es u
ntei
lbar
es E
lem
ent d
es
Wer
tebe
reic
hs e
ines
Dat
enty
ps.
Dat
enve
rarb
eitu
ng: .
.. m
it te
chni
sche
n M
ittel
n
Tec
hnis
che
Uni
vers
ität
Bra
unsc
hwei
g1-
14
1.3
Sig
nal
, Dat
um
, In
form
atio
n1.
Gru
nd
beg
riff
e
Vor
heiz
en e
ines
Bac
kofe
ns:
•B
ezug
ssys
tem
: O
fent
empe
ratu
r , C
elsi
us-S
kala
, akt
uelle
T
empe
ratu
r, g
ewün
scht
e T
empe
ratu
r (2
50°)
•T
empe
ratu
rfüh
ler:
lief
ert k
ontin
uier
lich
anal
oges
Sig
nal,
Wan
dlun
g in
Zah
lenw
ert:
z.B
. 200
•Ü
berm
ittlu
ng a
ls Z
eich
enfo
lge
(Nac
hric
ht)
"200
" an
A
nzei
geei
nhei
t
•In
terp
reta
tion:
"20
0" =
„ak
tuel
le T
empe
ratu
r be
träg
t 200
°C
elsi
us, d
.h. a
bwar
ten“
> In
form
atio
n
•D
atum
: "20
0" +
„ak
tuel
le T
empe
ratu
r de
s B
acko
fens
bet
rägt
20
0°C
elsi
us ,
d.h.
abw
arte
n“
Bei
spie
l
Tec
hnis
che
Uni
vers
ität
Bra
unsc
hwei
g1-
15
1.3
Sig
nal
, Dat
um
, In
form
atio
n1.
Gru
nd
beg
riff
e
•A
usga
ngsp
unkt
für
das
Zus
tand
ekom
men
von
Info
rmat
ion
ist
ein
Rah
men
von
Mög
lichk
eite
n, d
esse
n U
mfa
ng d
as M
aßan
U
nsic
herh
eitü
ber
die
zutr
effe
nde
Mög
lichk
eit b
estim
mt.
•E
ine
Info
rmat
ion
liegt
dan
n vo
r, w
enn
die
Inte
rpre
tatio
n de
r üb
ertr
agen
en N
achr
icht
den
Rah
men
der
Mög
lichk
eite
n ei
nsch
ränk
t und
som
it U
nsic
herh
eit r
eduz
iert
wird
.
> M
athe
mat
isch
form
alis
ierb
ar
Alt
ern
ativ
e D
efin
itio
n „
Info
rmat
ion
“
Z.B
. Wah
rsch
einl
ichk
eits
theo
retis
ch:
Tec
hnis
che
Uni
vers
ität
Bra
unsc
hwei
g1-
16
1.3
Sig
nal
, Dat
um
, In
form
atio
n1.
Gru
nd
beg
riff
e
Gro
b:
Wis
sen
um
fass
t d
ie G
esam
thei
t d
er in
div
idu
elle
n
bzw
. gru
pp
ensp
ezif
isch
en1.
Wah
rneh
mun
gen,
2.E
rfah
rung
en u
nd3.
Ken
ntni
sse
üb
er d
ie U
mg
ebu
ng
bzw
. ein
en T
eilb
erei
ch d
avo
n.
Wis
sen
(1/
3)
•D
as W
isse
n de
s E
mpf
änge
rs d
eter
min
iert
den
In
form
atio
nsge
halt
eine
r N
achr
icht
•In
form
atio
nen
erhö
hen
das
Wis
sen
•In
sbes
onde
re In
form
atio
nen,
wie
man
Dat
en
inte
rpre
tiert
, ste
llen
Wis
sen
dar
Tec
hnis
che
Uni
vers
ität
Bra
unsc
hwei
g1-
17
1.3
Sig
nal
, Dat
um
, In
form
atio
n1.
Gru
nd
beg
riff
e
Man
un
ters
chei
det
dek
lara
tive
su
nd
pro
zed
ura
les
Wis
sen
:
Wis
sen
(2/
3)
2.P
roze
dura
les
Wis
sen
ist o
pera
tives
Wis
sen
oder
Han
dlun
gsw
isse
n >
Ele
men
tare
Ein
heit
(And
erso
n): P
rodu
ktio
nsre
gel
rot
Ker
nobs
t
Far
be
ist
Ros
enge
wäc
hse
Sam
mel
balg
fruc
ht
Obs
tsor
te d
er
ist
1.D
ekla
rativ
esW
isse
nre
präs
entie
rt S
achv
erha
lte (
Fak
tenw
isse
n)>
Men
ge v
on R
eprä
sent
atio
nen,
die
in e
inem
ass
ozia
tiven
N
etzw
erk
orga
nisi
ert s
ind.
Bed
ingu
ngst
eil →
Akt
ions
teil
Bsp
. „A
mpe
l ist
rot
“→
„Anh
alte
n“
Akt
ions
teil
verä
nder
t Zus
tand
> n
eue
Bed
ingu
ngen
wer
den
erfü
llt ..
..
Tec
hnis
che
Uni
vers
ität
Bra
unsc
hwei
g1-
18
1.3
Sig
nal
, Dat
um
, In
form
atio
n1.
Gru
nd
beg
riff
e
Un
ters
chei
du
ng
bzg
l. D
auer
haf
tig
keit
:1.
Sta
tisch
es W
isse
n: z
eitli
ch u
nbeg
renz
t>
Mat
hem
atik
2.D
ynam
isch
es W
isse
n: z
eitli
ch v
erän
derli
ch>
Info
rmat
ik (
Nat
ur-
und
Inge
nieu
rsw
isse
nsch
afte
n)G
ran
ula
ritä
t: G
rad
der
Au
flö
sun
g v
on
Ein
zelh
eite
n–
grob
eG
ranu
larit
ät(w
enn
Blit
z, d
ann
Gew
itter
)–
vs. f
eine
Gra
nula
rität
(phy
sika
lisch
e A
bläu
fe im
G
ewitt
er)
Un
sch
arfe
s W
isse
n:
1.qu
antif
izie
rte
Ung
enau
igke
it2.
fließ
ende
r Ü
berg
ang
zwis
chen
“gr
oß”
und
“kle
in”
Wis
sen
(3/
3)
Tec
hnis
che
Uni
vers
ität
Bra
unsc
hwei
g1-
19
1.3
Sig
nal
, Dat
um
, In
form
atio
n1.
Gru
nd
beg
riff
e
1.K
I: K
ünst
liche
Inte
llige
nz
2.W
isse
nsre
präs
enta
tion:
F
orm
ale
Sys
tem
e zu
r re
chne
rver
wer
tbar
en
Wis
sens
dars
tellu
ng (
Kno
wle
dge
Eng
inee
ring)
3.E
ntsc
heid
ungs
unte
rstü
tzen
de S
yste
me
(Dec
isio
n S
uppo
rt S
yste
ms,
ben
ötig
en W
isse
nsba
sis)
4.S
elbs
tlern
ende
Sys
tem
e (z
.B. N
euro
nale
Net
ze)
5.P
rädi
kativ
e (lo
gisc
he)
Pro
gram
mie
rspr
ache
n(P
rolo
g, C
LP)
Wis
sen
un
d In
form
atik
Tec
hnis
che
Uni
vers
ität
Bra
unsc
hwei
g1-
20
1.3
Sig
nal
, Dat
um
, In
form
atio
n1.
Gru
nd
beg
riff
e
Cod
e:Z
eich
en-
oder
Sym
bolk
ette
, die
daz
u di
ent,
eine
n G
egen
stan
d od
er e
inen
Beg
riff z
u be
zeic
hnen
.
Cod
e (C
odie
r-S
chem
a):M
enge
von
Reg
eln
zur
Abb
ildun
gvo
n E
lem
ente
n ei
ner
Men
geau
f die
Ele
men
te e
iner
and
eren
Men
ge.
Co
die
run
g v
on
Dat
en
Anw
endu
ng:
1.C
odie
rung
zw
ecks
rec
hner
verw
ertb
arer
Rep
räse
ntat
ion
a. B
edeu
tung
serh
alte
nde
(Um
-)C
odie
rung
b. B
edeu
tung
suna
bhän
gige
Cod
ieru
ng
2.C
odie
rung
ein
erIn
form
atio
n zw
ecks
Übe
rmitt
lung
a. S
iche
rung
geg
en Ü
bert
ragu
ngsf
ehle
r>
Red
unda
nzb.
Sic
hers
tellu
ng d
er V
ertr
aulic
hkei
t> V
ersc
hlüs
selu
ng
Tec
hnis
che
Uni
vers
ität
Bra
unsc
hwei
g1-
21
1.3
Sig
nal
, Dat
um
, In
form
atio
n1.
Gru
nd
beg
riff
e
Co
die
run
g z
wec
ks
rech
ner
verw
ertb
arer
Rep
räse
nta
tio
n
1.B
edeu
tung
serh
alte
nde
(Um
-)C
odie
rung
2.B
edeu
tung
suna
bhän
gige
Cod
ieru
ng
Dez
imal
zahl
bzw
. -co
dez.
B. 7
Bas
is: 1
0
Bin
ärza
hlbz
w. -
code
0111
Bas
is: 2
Bin
ärco
de is
t Gru
ndla
ge d
igita
ler
Dat
enve
rarb
eitu
ng:
Gru
ndm
enge
{O, L
} o
der
{0, 1
} →
“Bits
”8
Bit
= 1
Byt
e
Buc
hsta
bez.
B. '
A'
Dez
imal
zahl
65A
SC
IIT
echn
isch
e U
nive
rsitä
tB
raun
schw
eig
1-22
1.3
Sig
nal
, Dat
um
, In
form
atio
n1.
Gru
nd
beg
riff
e
Sic
heru
ng g
egen
Übe
rtra
gung
sfeh
ler
durc
h R
edun
danz
:
Gro
b: R
edun
dant
sind
die
Ant
eile
ein
er N
achr
icht
, die
zur
Inte
rpre
tatio
n ni
cht b
enöt
igt w
erde
n.
Info
rmat
ion
kann
der
selb
en N
achr
icht
auf v
ersc
hied
ene
Wei
se e
ntno
mm
en w
erde
n, d
.h. I
nfor
mat
ion
kann
u.U
. noc
h en
tnom
men
wer
den,
wen
n T
eile
der
Nac
hric
ht z
erst
ört/
ve
ränd
ert s
ind.
Co
die
run
g z
wec
ks Ü
ber
mit
tlu
ng
(1/
3)
Sen
der
> C
odie
rung
Em
pfän
ger
> D
ecod
ieru
ng
(Pot
entie
ll un
sich
erer
) K
anal
Tec
hnis
che
Uni
vers
ität
Bra
unsc
hwei
g1-
23
1.3
Sig
nal
, Dat
um
, In
form
atio
n1.
Gru
nd
beg
riff
e
Bei
spie
l1:
D__
s_n
S_t
_z k
_nn
m_n
n_c
h g
_nz
g_t
ls_
nD
snst
zknn
mnn
chgn
zgtls
n
Bei
spie
l2:C
odie
rung
von
0 un
d 1
durc
h3
Bit:
1=
111,
0=
000
Dec
odie
rung
: #1
≥2 ⇒
1 un
d #0
≥2 ⇒
00
=>
Cod
ieru
ng=
> 0
00 =
> Ü
bert
ragu
ng m
it S
töru
ng=
> 0
10 =
>
Dec
odie
rung
=>
0→
1-B
it-F
ehle
r w
erde
n er
kann
tund
kor
rigie
rt, 2
-Bit-
Feh
ler?
Die
Wah
l gee
igne
ter
Cod
es is
t ess
entie
ll fü
r ef
fizie
nte
und
sich
ere
Info
rmat
ions
über
trag
ung:
zuw
enig
Red
unda
nz →
unsi
cher
e In
form
atio
nsüb
ertr
agun
gzu
viel
Red
unda
nz →
inef
fizie
nte
Info
rmat
ions
über
trag
ung
Co
die
run
g z
wec
ks Ü
ber
mit
tlu
ng
(2/
3)
Tec
hnis
che
Uni
vers
ität
Bra
unsc
hwei
g1-
24
1.3
Sig
nal
, Dat
um
, In
form
atio
n1.
Gru
nd
beg
riff
e
Sic
heru
ng g
egen
Ein
sich
tnah
me
(…)
durc
h V
ersc
hlüs
selu
ng:
Gro
b: D
aten
wer
den
durc
h kr
ypto
grap
hisc
heV
erfa
hren
unt
er
Ver
wen
dung
von
elek
tron
isch
en“S
chlü
ssel
n” d
erar
t ve
ränd
ert,
dass
sie
nur
vom
Em
pfän
ger
ents
chlü
ssel
tund
ge
lese
n w
erde
n kö
nnen
. G
rund
prin
zip:
Sch
lüss
el k
ann
nur
unte
r he
utzu
tage
nic
ht z
u le
iste
ndem
Auf
wan
d be
rech
net w
erde
n.
Co
die
run
g z
wec
ks Ü
ber
mit
tlu
ng
(3/
3)
Sen
der
> C
odie
rung
Em
pfän
ger
> D
ecod
ieru
ng
(Pot
entie
ll un
sich
erer
) K
anal
Tec
hnis
che
Uni
vers
ität
Bra
unsc
hwei
g1-
25
1.3
Sig
nal
, Dat
um
, In
form
atio
n1.
Gru
nd
beg
riff
e Gew
innu
ng „
neue
r“ In
form
atio
n du
rch
Ver
knüp
fung
vo
rhan
dene
r D
aten
Info
rmat
ion
sver
arb
eitu
ng
tran
sfor
mie
ren
stru
ktur
iere
nse
lekt
iere
nE
inga
beA
usga
be
tran
sfor
mie
ren:
„neu
e“ In
form
atio
nen
wer
den
aus
Aus
gang
sdat
en g
ewon
nen.
Bsp
.: 3+
4’ →
’7’
stru
ktur
iere
n:zu
sätz
liche
Bez
iehu
ngen
wer
den
zwis
chen
ge
gebe
nen
Dat
en g
ewon
nen.
B
sp.‘e
: Wor
te →
Sat
z, P
ixel
→B
ild
sele
ktie
ren:
es w
ird a
us g
egeb
enen
Dat
en a
usge
wäh
lt (f
ilter
n)B
sp.:
’(3,4
,5)’
→’4
’T
echn
isch
e U
nive
rsitä
tB
raun
schw
eig
1-26
1.3
Sig
nal
, Dat
um
, In
form
atio
n1.
Gru
nd
beg
riff
e
Dat
en k
önne
n üb
ertr
agen
und
gesp
eich
ertw
erde
n1.
ohne
Ver
ände
rung
2.na
ch K
ompr
imie
rung
3.na
ch K
ompr
essi
on
Ko
mp
rim
ieru
ng
:V
erfa
hren
zur
ver
lust
frei
enE
ntfe
rnun
g vo
n R
edun
danz
=>
Urs
prun
gsda
ten
könn
en w
iede
r he
rges
tellt
wer
den
Bsp
. gzi
pun
d gu
nzip
(Uni
x)
Ko
mp
ress
ion
: V
erfa
hren
zur
ver
lust
beha
ftete
nR
eduz
ieru
ng d
es D
aten
umfa
ngs
unte
r B
eibe
haltu
ng d
es G
roß
teils
der
Info
rmat
ion
=>
Urs
prun
gsda
ten
könn
en n
icht
wie
der
herg
este
llt w
erde
nB
sp. j
peg
(Bild
kom
pres
sion
), m
peg
(Vid
eo e
tc.)
, mp3
(A
udio
)
Ko
mp
ress
ion
un
d K
om
pri
mie
run
g
Tec
hnis
che
Uni
vers
ität
Bra
unsc
hwei
g1-
27
1. G
run
db
egri
ffe
Ein
Sys
tem
ist
eine
Men
ge v
on E
lem
ente
nm
it E
igen
scha
ften
(Attr
ibut
en)
und
eine
Men
ge v
on B
ezie
hung
en(R
elat
ione
n),
die
zwis
chen
den
Ele
men
ten
best
eht.
1.4
Sys
tem
e
Stru
ktur
en
Ele
men
te
Syst
emgr
enze
Ein
Sys
tem
hat
S
yste
mgr
enze
n, d
ie e
s vo
n se
iner
Um
wel
ttr
enne
n, u
nd b
esitz
t i.a
. ei
nen
Zw
eck.
Sys
tem
umge
bung
: alle
s au
ßer
halb
ein
es S
yste
ms
Bei
spie
le: G
esun
dhei
tssy
stem
, der
men
schl
iche
Kör
per,
S
oftw
ares
yste
me,
Kra
nken
häus
er...
Tec
hnis
che
Uni
vers
ität
Bra
unsc
hwei
g1-
28
1.4
Sys
tem
e1.
Gru
nd
beg
riff
e
Ein
S
ubsy
stem
S'
eine
s S
yste
ms
S
best
eht
aus
eine
r id
entif
izie
rbar
en T
eilm
enge
von
Ele
men
ten
und
Rel
atio
nen
aus
S d
erar
t, da
ss a
lle S
' be
tref
fend
en R
elat
ione
n er
halte
n bl
eibe
n.
Su
bsy
stem
e
Sys
tem
S
D.h
. al
leB
ezie
hung
en u
nd A
ttrib
ute
aus
S b
ezüg
lich
S'
blei
ben
erha
lten.
Sub
syst
em S
1S
ubsy
stem
S2
Tec
hnis
che
Uni
vers
ität
Bra
unsc
hwei
g1-
29
1.4
Sys
tem
e1.
Gru
nd
beg
riff
e
Unt
er e
inem
Tei
lsys
tem
S'
eine
s S
yste
ms
S v
erst
eht
man
ei
ne T
eilm
enge
von
Ele
men
ten
und
Rel
atio
nen
aus
S,
die
unte
r ei
nem
gew
isse
n A
spek
tint
eres
sant
sin
d.
Tei
lsys
tem
e
Die
Bet
rach
tung
ein
es T
eils
yste
ms
sieh
t di
e G
esam
thei
t ei
nes
Sys
tem
s du
rch
eine
n F
ilter
.
Sys
tem
ST
eils
yste
m S
'
Tec
hnis
che
Uni
vers
ität
Bra
unsc
hwei
g1-
30
1.4
Sys
tem
e1.
Gru
nd
beg
riff
e
Bez
iehu
ng z
ur U
mw
elt:
–ab
gesc
hlos
sene
s S
yste
m: k
eine
Bez
iehu
ng z
ur
Um
gebu
ng/U
mw
elt
–of
fene
s S
yste
m: B
ezie
hung
en z
ur U
mge
bung
Kla
ssif
ikat
ion
vo
n S
yste
men
Sch
nitts
telle
:Bes
chre
ibun
g de
r S
yste
mgr
enze
sow
ie d
er
Bez
iehu
ngen
(M
ater
ie, I
nfor
mat
ione
n, ..
.) z
wis
chen
S
yste
m u
nd U
mge
bung
Abh
ängi
gkei
t von
der
Zei
t
–st
atis
ches
Sys
tem
: zei
tlich
unv
erän
derli
ch
–dy
nam
isch
es S
yste
m: z
eitli
ch v
erän
derli
ch.
Tec
hnis
che
Uni
vers
ität
Bra
unsc
hwei
g1-
31
1.4
Sys
tem
e1.
Gru
nd
beg
riff
e
Ein
dyn
amis
ches
Sys
tem
ist
ein
Sys
tem
, de
ssen
Ver
halte
n du
rch
gere
gelte
Flü
sse
best
imm
t is
t (Z
usta
ndsü
berg
änge
).
Die
se
Flü
sse
könn
en
mat
erie
ller
Art
, in
form
ator
isch
er
Art
od
er e
nerg
etis
cher
Art
sei
n.
Dyn
amis
che
Sys
tem
e
Zus
tand
:E
igen
scha
ften
der
Kom
pone
nten
und
Bez
iehu
ngen
in
ein
em d
ynam
isch
en S
yste
ms
zu e
inem
geg
eben
en
Zei
tpun
kt
Ver
halte
n:Ä
nder
ung
des
Sys
tem
zust
ands
m
it de
r Z
eit
(Zus
tand
sfol
ge)
Obj
ekt:
iden
tifiz
ierb
ares
dy
nam
isch
es
Sys
tem
m
it ze
itlic
h ve
ränd
erlic
hem
Zus
tand
(P
rogr
amm
, D
aten
satz
, D
atei
, D
aten
bank
, ...)
Tec
hnis
che
Uni
vers
ität
Bra
unsc
hwei
g1-
32
1.4
Sys
tem
e1.
Gru
nd
beg
riff
e
dete
rmin
istis
ch:
Zus
tand
neb
st V
erga
ngen
heit
lege
n zu
künf
tiges
Ver
halte
n fe
st
Kla
ssif
ikat
ion
dyn
amis
cher
Sys
tem
e
nich
tdet
erm
inis
tisch
:zu
künf
tiges
Ver
halte
n hä
ngt v
om
Zuf
all o
der
unbe
kann
ten
Ein
flüss
en
ab (
mei
st u
nerw
ünsc
ht, a
ber
man
m
uss
dam
it re
chne
n -
z.B
. Abs
turz
ei
nes
Bet
riebs
syst
ems)
Tec
hnis
che
Uni
vers
ität
Bra
unsc
hwei
g1-
33
1.4
Sys
tem
e1.
Gru
nd
beg
riff
e
Rek
ursi
ver
Auf
bau:
Die
Kom
pone
nten
ein
es S
yste
ms
könn
en
selb
st w
iede
r S
yste
me
sein
1.B
lack
-Box
-Tei
lsys
tem
:nur
die
Zus
tänd
e de
s T
eils
yste
ms
als
Gan
zes
wer
den
betr
acht
et, d
as
Tei
lsys
tem
wird
als
Obj
ekt a
ufge
fass
t
2.W
hite
-Box
-Tei
lsys
tem
:Bez
iehu
ngen
und
V
erän
deru
ngen
inne
rhal
b de
s T
eils
yste
ms
sind
im
Det
ail v
on B
elan
g
Ska
lierb
arke
it:E
rken
ntni
sse
aus
klei
nen
Sys
tem
en k
önne
n au
f gro
ße
Sys
tem
e üb
ertr
agen
wer
den
Rek
urs
iver
Au
fbau
dyn
amis
cher
S
yste
me
Tec
hnis
che
Uni
vers
ität
Bra
unsc
hwei
g1-
34
1.4
Sys
tem
e1.
Gru
nd
beg
riff
e
Sys
tem
anal
yse
ist
eine
D
iszi
plin
zu
r U
nter
such
ung
von
Ele
men
ten,
S
truk
ture
n un
d E
igen
scha
ften
tech
nisc
her,
ök
olog
isch
er,
wirt
scha
ftlic
her
und
info
rmat
ions
vera
rbei
tend
er
Sys
tem
e na
ch v
orge
gebe
nen
Met
hode
n.
Zie
l de
r S
yste
man
alys
e is
t hä
ufig
di
e E
ntw
ickl
ung
eine
s M
odel
ls d
es r
eale
n S
yste
ms,
des
sen
Ver
halte
n de
m V
erha
lten
des
real
en S
yste
ms
sehr
nah
e ko
mm
t.
Sys
tem
anal
yse
An
alys
e o
ffen
er d
ynam
isch
er S
yste
me
Offe
ne u
nd d
ynam
isch
e S
yste
me
(und
som
it na
hezu
alle
re
leva
nten
Sys
tem
e) s
ind
wes
entli
ch s
chw
ierig
erzu
erf
asse
n un
d an
alys
iere
n, a
ls g
esch
loss
ene
Sys
tem
e, d
ie ih
ren
Zus
tand
und
ihr
Ver
halte
n ni
cht b
zw. s
ehr
selte
n än
dern
.
Tec
hnis
che
Uni
vers
ität
Bra
unsc
hwei
g1-
35
1.4
Sys
tem
e1.
Gru
nd
beg
riff
e
... s
ind
küns
tlich
e dy
nam
isch
e S
yste
me,
die
ein
em S
yste
mzi
el
dien
en u
nd a
uf ih
re A
ufga
be h
in o
ptim
iert
sin
d bz
w. s
ein
sollt
en.
Sie
lass
en s
ich
wie
folg
t ein
teile
n:
1.T
rans
form
atio
nssy
stem
eB
erec
hnun
g ei
ner
Fun
ktio
n f
: Ein
gabe
n →
Aus
gabe
n.D
as S
yste
m w
ird z
u di
esem
Zw
eck
gest
arte
t und
häl
t nac
h en
dlic
her
Zei
t mit
dem
Erg
ebni
s.A
nwen
dung
spro
gram
me,
Com
pile
r, .
.
2.R
eakt
ive
Sys
tem
een
dlos
lauf
ende
, off
ene
und
dete
rmin
istis
che
Sys
tem
e, d
ie a
uf
Anf
orde
rung
en ih
rer
Um
gebu
ngen
mit
ents
prec
hend
em S
ervi
ce
reag
iere
n.
Bet
riebs
syst
em, I
nfor
mat
ions
syst
em, V
erke
hrsl
eits
yste
m, .
. .
Info
rmat
ik-S
yste
me
Tec
hnis
che
Uni
vers
ität
Bra
unsc
hwei
g1-
36
1.4
Sys
tem
e1.
Gru
nd
beg
riff
e
–P
roze
ssüb
erw
achu
ng:
Rea
ktiv
e S
yste
me,
die
Dat
en v
on a
nder
en
Info
rmat
ik-S
yste
men
(P
roze
ssen
) em
pfan
gen
und
an s
olch
e P
roze
sse
send
enB
etrie
bssy
stem
, . .
.
Rea
ktiv
e In
form
atik
-Sys
tem
e
§
–A
dapt
ive
Sys
tem
e:E
inge
bette
te S
yste
me,
die
sic
h V
erän
deru
ngen
de
r U
mge
bung
sel
bstä
ndig
anp
asse
n
–E
inge
bette
te S
yste
me:
Kom
bina
tione
n vo
n In
form
atik
-Sys
tem
en m
it S
yste
men
, die
nic
ht d
er D
aten
vera
rbei
tung
die
nen
Was
chm
asch
ine,
Aut
o, F
lugz
eug,
F
ertig
ungs
steu
erun
g, V
erke
hrsl
eitu
ng, .
. .
Tec
hnis
che
Uni
vers
ität
Bra
unsc
hwei
g1-
37
1.4
Sys
tem
e1.
Gru
nd
beg
riff
e
Sys
tem
anal
yse:
Ana
lyse
der
”re
alen
Wel
t“Is
t-A
naly
se:B
esch
reib
ung
des
vorh
ande
nen
Zus
tand
esS
oll-A
naly
se:F
estle
gung
der
Sys
tem
ziel
e
Ko
nst
rukt
ion
vo
n In
form
atik
-Sys
tem
en
Mod
ellie
rung
:Mod
ellb
ildun
g un
d S
pezi
fikat
ion
Val
idie
rung
:Übe
rprü
fung
des
Mod
ells
–S
imul
atio
n:re
chne
rges
tütz
te V
orhe
rsag
e de
s S
yste
mve
rhal
tens
anh
and
des
Mod
ells
–P
roto
typ:
vorlä
ufig
e R
ealis
ieru
ng b
estim
mte
r S
yste
mas
pekt
e
Rea
lisie
rung
:vol
lstä
ndig
e, la
uffä
hige
Impl
emen
tieru
ng
des
Sys
tem
mod
ells
Tec
hnis
che
Uni
vers
ität
Bra
unsc
hwei
g1-
38
1. G
run
db
egri
ffe
Ver
brei
tet:
Mod
elle
als
Abb
ildun
g de
r W
irklic
hkei
t:E
in M
odel
list
ein
form
al b
esch
reib
bare
s, i.
a. v
erei
nfac
htes
A
bbild
der
Rea
lität
(Wirk
lichk
eit)
bzw
. ein
es r
eale
n S
yste
ms.
Es
repr
äsen
tiert
das
Tei
lsys
tem
, das
unt
er d
er g
egeb
enen
Fra
ge-
stel
lung
(Erk
ennt
nisi
nter
esse
) al
s re
leva
nt b
etra
chte
t wird
.
Abe
r:A
bbild
ung
imm
er o
bjek
tiv?
Ist i
mm
er d
ie W
irklic
hkei
t Bez
ug?
Mod
elle
als
Kon
stru
ktio
nen
(Sch
ütte
'98)
: „E
in M
odel
l ist
das
Erg
ebni
s ei
ner
Kon
stru
ktio
nei
nes
Mod
ellie
rers
, der
für
Mod
elln
utze
rei
ne R
eprä
sent
atio
n de
s O
rigin
als
(?, d
.V.)
zu
eine
r Z
eita
ls r
elev
ant m
it H
ilfe
eine
r S
prac
hede
klar
iert
.“ >
Info
rmat
ik
1.5
Wir
klic
hke
it u
nd
Mo
del
l
Tec
hnis
che
Uni
vers
ität
Bra
unsc
hwei
g1-
39
1.5
Wir
klic
hke
it u
nd
Mo
del
l1.
Gru
nd
beg
riff
e
•E
rklä
rung
skra
ftK
ann
das
Mod
ell P
häno
men
e de
r W
irklic
hkei
t erk
läre
n?
•V
orau
ssag
ekra
ftK
ann
das
Mod
ell P
häno
men
e de
r W
irklic
hkei
t vor
auss
agen
?
•W
ider
legb
arke
it(K
. Pop
per)
Kan
n da
s M
odel
l dur
ch P
häno
men
e de
r W
irklic
hkei
t wid
erle
gt
wer
den?
–K
ann
ein
Mod
ell P
häno
men
ede
r W
irklic
hkei
tent
spre
chen
d ei
ner
(gro
ßen
) R
eihe
von
Beo
bach
tung
en e
rklä
ren,
ode
r vo
rher
sage
n, s
o ka
nn e
s de
nnoc
h nu
r so
lang
e al
s ko
rrek
t ang
enom
men
wer
den,
bis
ei
ne(w
iede
rhol
bare
) B
eoba
chtu
ng e
s w
ider
legt
!
–D
enno
ch m
ag e
in d
erar
t „fa
lsch
es“
Mod
ell f
ür v
iele
Zw
ecke
ge
nüge
n!
Kri
teri
en f
ür
gu
te M
od
elle
(1/
2)
Tec
hnis
che
Uni
vers
ität
Bra
unsc
hwei
g1-
40
1.5
Wir
klic
hke
it u
nd
Mo
del
l1.
Gru
nd
beg
riff
e
Kor
rekt
heit
(d. A
bbild
ung)
Kan
n de
r be
trac
htet
e R
ealw
elta
ussc
hnitt
kor
rekt
mit
dem
Mod
ell
besc
hrie
ben
wer
den?
Kri
teri
en f
ür
gu
te M
od
elle
(2/
2)
i Z
uord
nung
Wirk
lichk
eit →
Mod
ell
WM
ii
W‘
f W
M‘
f M
Es
mus
s ge
lten:
f M
( i (
w)
) =
i (
f W(w
) )
∀w
∈W
f WB
ezie
hung
zw
isch
en w
irklic
hen
Ent
itäte
n(z
.B. a
uch
zeitl
iche
Ver
ände
rung
)
f MB
ezie
hung
zw
isch
en M
odel
lent
itäte
n
Tec
hnis
che
Uni
vers
ität
Bra
unsc
hwei
g1-
41
1.5
Wir
klic
hke
it u
nd
Mo
del
l1.
Gru
nd
beg
riff
e
W
Pla
nete
n de
s S
onne
nsys
tem
s
f WB
eweg
unge
n de
r P
lane
ten
Mo
del
le:
Bei
spie
l
M
New
tons
che
Mec
hani
k (G
ravi
tatio
nsge
setz
usw
.)
i Z
uord
nung
Pla
net →
(m, p
, v, t
)
f MLö
sung
der
New
tons
chen
Gle
ichu
ngen
für
zukü
nftig
e Z
eitp
unkt
e
Abe
r: N
ewto
nsch
eG
leic
hung
ist k
orre
kt im
„gr
oben
“.
Rel
ativ
itäts
theo
rie is
t „ge
naue
r“!
Abe
r au
ch n
icht
in a
llen
Ein
zelh
eite
n!
Tec
hnis
che
Uni
vers
ität
Bra
unsc
hwei
g1-
42
1.5
Wir
klic
hke
it u
nd
Mo
del
l1.
Gru
nd
beg
riff
e
Mod
elle
sin
d in
Wis
sens
chaf
t und
Tec
hnik
wei
t ver
brei
tet.
Z.B
. wer
den
Mod
elle
in d
er S
teue
rung
gen
utzt
, um
die
Wirk
lichk
eit
zu v
erän
dern
Mo
del
le in
Wis
sen
sch
aft
& T
ech
nik
Fun
ktio
nier
ende
Reg
ler
konv
ergi
eren
geg
en
Sol
lwer
t s
Wen
n da
s S
yste
m im
G
leic
hgew
icht
ist,
gilt
w‘=
i-1 (
f M(
i (w
), s
) )
= s
Reg
ler
Reg
elst
reck
e
Sol
lwer
t s
Stö
rgrö
ße
Reg
elgr
öße
i(w)
(Ist
-Wer
t: w
)S
tellg
röß
ef M
(i (w
), s
)
Zu
rege
lnde
r P
roze
ss
Bei
spie
l Reg
elkr
eis
Tec
hnis
che
Uni
vers
ität
Bra
unsc
hwei
g1-
43
1.5
Wir
klic
hke
it u
nd
Mo
del
l1.
Gru
nd
beg
riff
e
Reg
elst
reck
e:
Asp
ekt d
er W
irklic
hkei
t W
→O
ptim
ale
Rei
sege
schw
indi
gkei
t
Reg
elgr
öße:
gem
esse
ne E
ntitä
t i →
Ges
chw
indi
gkei
t
Reg
ler: ve
rgle
icht
mit
Sol
lwer
t, be
rech
net Ä
nder
ung
im M
odel
lfM
(i)
→er
mitt
elte
Ges
chw
indi
gkei
tszu
nahm
e
Ste
llgrö
ße:
w
irkt a
uf R
egel
stre
cke
ein
i-1(f
M(
i (w
) )
) →
Bes
chle
unig
ung
(Ste
llung
des
Gas
peda
ls)
Stö
rgrö
ße:
Gef
älle
, Win
d, e
tc.
Bei
spie
l-R
egel
krei
s: T
emp
om
at
Tec
hnis
che
Uni
vers
ität
Bra
unsc
hwei
g1-
44
1. G
run
db
egri
ffe
1.6
Mo
del
lieru
ng
in d
er In
form
atik
Mo
del
lieru
ng
oft
(ko
nst
ruie
rte)
Ab
bild
un
g
Def
init
ion
sber
eich
Info
rmat
ions
syst
eme,
Ges
undh
eits
wes
en,
Org
anis
atio
nen
etc.
Ab
bild
un
gsv
ors
chri
ftV
erfa
hren
zur
M
odel
lbild
ung:
V
orge
hens
mod
ellA
kteu
r 1
Akt
eur
2
Fun
ktio
nsbe
reic
h 1
FB
1.1
FB
1.n
...A
ktio
n 1
Akt
ion
1A
ktio
n 1
Wer
teb
erei
chM
odel
le d
arge
stel
lt m
ittel
s ei
ner
Bes
chre
ibun
gs-
spra
che
def.
durc
h ei
n M
etam
odel
l
Tec
hnis
che
Uni
vers
ität
Bra
unsc
hwei
g1-
45
1. G
run
db
egri
ffe
Geg
enst
and
sber
eich
e
Ana
lyse
(mod
elle
),P
robl
embe
reic
hsm
odel
le
Pat
ien
tK
ost
entr
äger
Dia
gnos
e
Bef
und
Dat
ensc
hutz
App
endi
zitis
Kra
nke
nh
aus
Ver
lauf
Beh
andl
ungs
plan
Pro
ble
mb
erei
ch
⊇⊆
Spe
zifik
atio
n,
Impl
emen
tieru
ng
Auf
gabe
Men
sch
Wer
kzeu
g
Lö
sun
gsb
erei
ch
1.6
Mo
del
lieru
ng
in d
er In
form
atik
Tec
hnis
che
Uni
vers
ität
Bra
unsc
hwei
g1-
46
1. G
run
db
egri
ffe
Grü
nd
e fü
r M
od
ellie
run
g
•K
om
mu
nik
atio
n (
Ab
stim
mu
ng
,
Dis
kuss
ion
, Eva
luat
ion
)
•G
esta
ltu
ng
svo
rgab
e (S
tan
dar
d,
Sp
ezif
ikat
ion
)
•S
yste
mer
ken
ntn
is (
Sys
tem
anal
yse)
Mo
del
le d
es L
ösu
ng
sber
eich
s
Pro
ble
mb
erei
chsm
od
elle
1.6
Mo
del
lieru
ng
in d
er In
form
atik
Tec
hnis
che
Uni
vers
ität
Bra
unsc
hwei
g1-
47
1. G
run
db
egri
ffe Mo
del
le in
der
(ve
rein
fach
ten
) (I
nfo
rmat
ik-)
Sys
tem
entw
ickl
un
g
Sys
tem
-sp
ezif
ikat
ion
Imp
lem
enti
eru
ng
Tes
t
Bet
rieb
und
W
artu
ng
An
ford
eru
ng
s-sp
ezif
ikat
ion
Sys
tem
plan
ung
Spe
zifik
atio
n:”M
odel
l“ fü
r de
n E
ntw
erfe
r un
d ”
Wirk
lichk
eit“
für
den
Pro
gram
mie
rer,
bes
chrie
ben
durc
h T
exte
, Gra
phik
en, B
ilder
, For
mel
n, .
. .
Impl
emen
tieru
ng: M
odel
l der
S
pezi
fikat
ion,
lauf
fähi
ge S
oftw
are,
be
schr
iebe
n du
rch
Pro
gram
me
in e
iner
P
rogr
amm
iers
prac
he.
1.6
Mo
del
lieru
ng
in d
er In
form
atik
Tec
hnis
che
Uni
vers
ität
Bra
unsc
hwei
g1-
48
1. G
run
db
egri
ffe
Ko
rrek
thei
t vo
n Im
ple
men
tier
un
gu
nd
Sp
ezif
ikat
ion
Sys
tem
-sp
ezif
ikat
ion
Imp
lem
enti
eru
ng
Tes
t
Bet
rieb
un
dW
artu
ng
An
ford
eru
ng
s-sp
ezif
ikat
ion
Sys
tem
plan
ung
Ver
ifika
tion:
Nac
hwei
s de
r K
orre
kthe
it de
r Im
plem
entie
rung
geg
enüb
er d
er
Spe
zifik
atio
n m
it fo
rmal
en M
etho
den
der
Logi
k un
d M
athe
mat
ik.
Val
idie
rung
:Abg
leic
h m
it de
r A
nwen
dung
, ob
die
Spe
zifik
atio
n ad
äqua
t (ni
cht n
ur k
orre
kt!)
ist:
f M(
i (w
) )
= i
(f W
(w)
) ∀
w∈
W
Tes
t: ex
perim
ente
ller
Nac
hwei
s de
r K
orre
kthe
it de
r Im
plem
entie
rung
ge
genü
ber
der
Spe
zifik
atio
n.
1.6
Mo
del
lieru
ng
in d
er In
form
atik
Tec
hnis
che
Uni
vers
ität
Bra
unsc
hwei
g1-
49
1. G
run
db
egri
ffe
Feh
ler
bei
der
Sys
tem
entw
ickl
un
g
1.6
Mo
del
lieru
ng
in d
er In
form
atik
Sys
tem
-sp
ezif
ikat
ion
Imp
lem
enti
eru
ng
Tes
t
Bet
rieb
un
dW
artu
ng
An
ford
eru
ng
s-sp
ezif
ikat
ion
Sys
tem
pla
nu
ng
Kos
ten
eine
s F
ehle
rs
Auf
tret
en d
es F
ehle
rsT
echn
isch
e U
nive
rsitä
tB
raun
schw
eig
1-50
1. G
run
db
egri
ffe
1.7
Ver
antw
ort
un
g d
es In
form
atik
ers
Der
Com
pute
r is
t sch
uld
. . .
ist e
ine
faul
e A
usre
de.
Die
Ver
antw
ortu
ng h
aben
imm
er M
ensc
hen.
Ist d
ie S
pezi
fikat
ion
adäq
uat ?
•di
es k
önne
n un
d so
llen
Info
rmat
iker
i.a.
nic
ht a
llein
en
tsch
eide
n.•
die
Bew
ertu
ng s
chlie
ßt i
n de
r R
egel
Güt
erab
wäg
unge
n ei
n (E
ffizi
enz
der
Dat
enve
rarb
eitu
ng v
s. D
aten
schu
tz,
Wirt
scha
ftlic
hkei
t vs.
Sic
herh
eit,
...)
Und
zw
ar fü
r S
pezi
fikat
ion
eben
so w
ie fü
r Im
plem
entie
rung
...
und
für
eini
ges
meh
r.
Tec
hnis
che
Uni
vers
ität
Bra
unsc
hwei
g1-
51
1. G
run
db
egri
ffe
Ver
antw
ort
un
g d
es In
form
atik
ers
Ist
die
Imp
lem
enti
eru
ng
ko
rrek
t,ro
bust
, ang
eneh
m z
u be
nutz
en, g
ut w
artb
ar, .
.. ?
•er
füllt
das
Sys
tem
die
Vor
gabe
n de
r S
pezi
fikat
ion
?•
pass
iert
auc
h be
i Feh
lbed
ienu
ng k
eine
Kat
astr
ophe
?•
arbe
iten
Ben
utze
r ge
rn d
amit
?•
lass
en s
ich
Anp
assu
ngs-
und
Änd
erun
gsw
ünsc
he le
icht
er
fülle
n ?
•Is
t das
Sys
tem
wirt
scha
ftlic
h ?
•...
.
1.7
Ver
antw
ort
un
g d
es In
form
atik
ers
Info
rmat
iker
und
Info
rmat
iker
inne
n si
nd fü
r ge
sells
chaf
tlich
e,
polit
isch
e, w
irtsc
haftl
iche
, jur
istis
che,
. . .
Aus
wirk
unge
n de
r In
form
atik
und
der
Info
rmat
ions
tech
nik
mitv
eran
twor
tlich
. . .
wie
and
ere
Inge
nieu
re u
nd W
isse
nsch
aftle
r in
ihre
n K
ompe
tenz
bere
iche
n.T
echn
isch
e U
nive
rsitä
tB
raun
schw
eig
1-52
1. G
run
db
egri
ffe
Ges
talt
un
gsr
ich
tun
g u
nd
-sp
ielr
aum
Har
d-
war
e
Men
sch
-Rec
hn
erF
unkt
ions
vert
eilu
ng
Ges
taltu
ng d
er
Arb
eits
ablä
ufe
Men
sch
-Men
sch
Fun
ktio
nsve
rtei
lung
Ein
/Au
sgab
e
Dia
log
Wer
kzeu
g
Ges
talt
un
gse
ben
enO
rgan
isat
oris
cher
B
erei
chS
oftw
are
Har
dwar
e,A
rbei
tspl
atz
und
Arb
eits
-um
gebu
ng
-G
esta
ltun
gs-
rich
tung
-G
esta
ltun
gs-
spie
lrau
m
nac
h K
och
, Rei
tere
r et
al.
1991
1.7
Ver
antw
ort
un
g d
es In
form
atik
ers
Tec
hnis
che
Uni
vers
ität
Bra
unsc
hwei
g1-
53
1. G
run
db
egri
ffe
Her
ausf
ord
eru
ng
en
Bei
spie
l Kra
nken
haus
:
„In
a re
tros
pect
ive
revi
ew o
f 14,
000
in-h
ospi
tal d
eath
s,
com
mun
icat
ion
erro
rsw
ere
foun
d to
be
the
lead
cau
se, t
wic
e
as fr
eque
nt a
s er
rors
due
to in
adeq
uate
ski
lls.“
zitie
rt a
us:
Wils
on R
M,R
unci
man
WB
,Gib
berd
RW
, Har
rison
BT
,New
byL,
H
amilt
on J
D.T
hequ
ality
inA
ustr
alia
n he
alth
car
e st
udy.
Med
ical
Jour
nal o
fAus
tral
ia19
95, 1
63(9
):45
8-47
1.
1.7
Ver
antw
ort
un
g d
es In
form
atik
ers