Wol
fgan
g P
ree
Uni
vers
ität S
alzb
urg
ww
w.S
oftw
areR
esea
rch.
net
Sof
twar
e-T
echn
olog
ie:
Sta
nd d
er K
unst
und
Her
ausf
orde
rung
enU
niv
ersi
tät
Sal
zbu
rg
© 2
003,
W. P
ree
2U
niv
ersi
tät
Sal
zbu
rg
Kon
text
�D
as P
hän
omen
Sof
twar
e
�W
ie k
ann
Sof
twar
e in
geni
eurm
äßig
entw
icke
lt w
erde
n?
�S
oftw
aret
echn
ik –
Quo
vad
is?
© 2
003,
W. P
ree
3U
niv
ersi
tät
Sal
zbu
rg
Das
Phä
nom
enS
oftw
are
© 2
003,
W. P
ree
4U
niv
ersi
tät
Sal
zbu
rg
Die
Uni
vers
alm
asch
ine
Com
pute
r m
acht
Sof
twar
e al
lgeg
enw
ärtig
ca. 7
0 P
roze
ssor
enim
Aut
o
Sat
ellit
en-,
Flu
gzeu
gste
ueru
ngen
© 2
003,
W. P
ree
5U
niv
ersi
tät
Sal
zbu
rg
Qua
lität
ist w
esen
tlich
sch
lech
ter
als
bei
ande
ren
Pro
dukt
en
�S
oft
war
efeh
ler/
-män
gel
mit
dras
tisch
en A
usw
irkun
gen:
�Y
2K, €
-Um
stel
lung
�fe
hler
hafte
Fin
anzt
rans
aktio
nen
�A
bstü
rze
(zB
Aria
ne: $
800
Mio
.)
�. .
.
© 2
003,
W. P
ree
6U
niv
ersi
tät
Sal
zbu
rg
Was
ist b
eson
ders
an S
oftw
are?
© 2
003,
W. P
ree
7U
niv
ersi
tät
Sal
zbu
rg
Die
Pro
blem
e be
i der
Her
stel
lung
von
Sof
twar
e re
sulti
eren
aus
der
Kom
plex
ität d
er z
u re
alis
iere
nden
Pro
dukt
e
�S
pez
ifik
atio
n d
er A
nfo
rder
un
gen
�B
eher
rsch
un
g d
er K
om
ple
xitä
t
�W
ied
erve
rwen
du
ng
/Hal
bfa
bri
kate
,Ä
nd
erb
arke
it u
nd
Erw
eite
rbar
keit
�A
uto
mat
isie
run
g im
Her
stel
lun
gsp
roze
ß
�P
ort
abili
tät
�D
okum
enta
tion
�P
rod
ukt
erg
on
om
ie (
Men
sch
-Co
mp
ute
r-S
chn
itts
telle
)
�P
roje
ktor
gani
satio
n u.
-ko
ntro
lle�
Qua
lität
ssic
heru
ng u
nd -
bew
ertu
ng�
Per
sone
nuna
bhän
gigk
eit
�K
oste
nabs
chät
zung
Pro
toty
ping
Pro
gram
mie
rmod
elle
Ent
wur
fsm
uste
rF
ram
ewor
ks
Psy
chol
ogie
(zB
Pia
get)
© 2
003,
W. P
ree
8U
niv
ersi
tät
Sal
zbu
rg
Bei
spie
l:P
robl
em d
er e
xakt
enS
pezi
fikat
ion
© 2
003,
W. P
ree
9U
niv
ersi
tät
Sal
zbu
rg
Ein
e ex
akte
Spe
zifik
atio
n is
t oft
unpr
aktik
abel
geg.
:n ≥
3,
L: N
n →
N
ges.
:Ein
Pro
gram
m P
, sod
ass
a: N
3 →
Nn
, sod
ass
L(a i
) ≥
L(a
J)1
≤ i ≤
3
j
ε N
n \
U {
ak }
1 ≤
k ≤
j
inj
© 2
003,
W. P
ree
10
Un
iver
sitä
tS
alzb
urg
... im
Ver
glei
ch z
ur n
icht
exa
kten
ver
bale
n S
pezi
fikat
ion
Geg
eben
ist e
ine
List
e m
it m
inde
sten
s dr
eipo
sitiv
en Z
ahle
n.
Ges
ucht
ist e
in P
rogr
amm
P, d
as d
ie In
dize
s de
rdr
ei g
röß
ten
Ele
men
te d
er L
iste
lief
ert.
© 2
003,
W. P
ree
11
Un
iver
sitä
tS
alzb
urg
Mei
ster
ung
der
Kom
plex
ität
© 2
003,
W. P
ree
12
Un
iver
sitä
tS
alzb
urg
Bei
kla
ssis
chen
Inge
nieu
rdis
zipl
inen
gilt
:
�S
chle
chte
Qua
lität
läß
t sic
h ka
umve
rber
gen
�T
ür z
u ei
nem
Rau
m g
eht n
icht
gut
auf
�un
nötig
e S
chn
örks
el fa
llen
auf
→→→→ „5
. Rad
am
Wag
en“
�D
ie R
esso
urce
n si
nd b
esch
ränk
t�
inge
nieu
rmäß
iges
Her
ange
hen
bede
utet
, unt
er d
en g
egeb
enen
Rah
men
bedi
ngun
gen
zu o
ptim
iere
n
© 2
003,
W. P
ree
13
Un
iver
sitä
tS
alzb
urg
Bei
Sof
twar
e hi
ngeg
en is
t sch
lech
te Q
ualit
ätni
cht u
nmitt
elba
r si
chtb
ar
�sc
hlec
hte
Str
uktu
rieru
ng�
„Spa
ghet
ti“-P
rogr
amm
code
:R
adw
echs
el =
> M
otor
funk
tioni
ert
nich
t meh
r�
repl
izie
rter
Pro
gram
mco
de
�ka
um W
iede
rver
wen
dung
�da
s R
ad w
ird im
mer
neu
erf
unde
n
© 2
003,
W. P
ree
14
Un
iver
sitä
tS
alzb
urg
Inge
nieu
rmäß
iges
Vor
gehe
n sc
hein
t sic
h ni
cht
ausz
uzah
len
�H
ardw
are-
Res
sour
cen
wer
den
nach
Moo
re‘s
Law
pot
ente
r; d
er g
edan
kenl
ose
Um
gang
dam
itfü
hrt z
u
�un
nötig
er K
ompl
exitä
t
�ni
cht m
ehr
vers
tehb
aren
Art
efak
ten
Win
dow
s X
P:
20,0
00.0
00 (
!!) Z
eile
n P
rogr
amm
code
27,5 m
Obe
ronO
S (
ET
H Z
H)
30.0
00 Z
eile
nP
rogr
amm
code
4,1 cm
© 2
003,
W. P
ree
15
Un
iver
sitä
tS
alzb
urg
Wie
kan
n S
oftw
are
inge
nieu
rmäß
igen
twic
kelt
wer
den?
© 2
003,
W. P
ree
16
Un
iver
sitä
tS
alzb
urg
Exk
urs:
Was
mac
ht S
oftw
are?
Ein
gab
eA
usg
abe
Ver
arb
eitu
ng
Arb
eits
spei
cher
schn
ell z
ugre
ifbar
eD
aten
+ P
rogr
amm
e
Pro
zess
or (
CP
U)
Ste
uers
igna
le
Dat
en
Tas
tatu
rM
aus
CD
Dig
italk
amer
a...
Bild
schi
rmD
ruck
erD
isk
Laut
spre
cher
...
© 2
003,
W. P
ree
17
Un
iver
sitä
tS
alzb
urg
Fot
o vo
n di
gita
ler
Kam
era
bear
beite
n
90 °
Far
ben
weg
© 2
003,
W. P
ree
18
Un
iver
sitä
tS
alzb
urg
wei
tere
Bei
spie
le
AB
S im
Au
to
�E
ing
abe:
Um
dreh
ungs
gesc
hwin
digk
eite
n (U
) de
rR
äder
�V
erar
bei
tun
g:
Prü
fung
, ob
bei b
etät
igte
r B
rem
seU
=0
�A
usg
abe:
ent
spre
chen
de S
teue
rung
der
Bre
msk
raft
Ban
küb
erw
eisu
ng
�E
ing
abe:
Übe
rwei
sung
sdat
en (
Ein
zahl
er,
Em
pfän
ger,
Bet
rag)
�V
erar
bei
tun
g:
Gül
tigke
itspr
üfun
gen
�A
usg
abe:
Buc
hung
szei
len
auf K
onte
n
© 2
003,
W. P
ree
19
Un
iver
sitä
tS
alzb
urg
Pro
gram
mie
rspr
ache
n-ko
nstr
ukte
als
Bas
is v
onS
oftw
are-
Arc
hite
ktur
© 2
003,
W. P
ree
20
Un
iver
sitä
tS
alzb
urg
von
Ein
zelte
ilen
zu K
ompo
nent
en
50er
Jah
re�
Mas
chin
en-/
Ass
embl
er-P
rogr
amm
e: a
uf b
estim
mte
nP
roze
ssor
zug
esch
nitte
n60
er/7
0er
Jah
re�
höh
ere
Pro
gram
mie
rspr
ache
n (w
ie P
asca
l, C
)�
An
wei
sun
gen
kö
nn
en z
u F
un
ktio
nen
/Pro
zed
ure
nzu
sam
men
gef
asst
wer
den
→→→→ E
inze
lteile
, Sch
raub
en, e
tc.
80er
/90e
r Ja
hre
�F
un
ktio
nen
/Pro
zed
ure
n w
erd
en z
u M
od
ule
nzu
sam
men
gef
asst
(M
odul
a, O
bero
n, C
++
, Jav
a, C
#) →→→→
Sof
twar
e-K
ompo
nent
en
© 2
003,
W. P
ree
21
Un
iver
sitä
tS
alzb
urg
Bei
spie
l: K
ompo
nent
e F
ile-H
andl
er
vers
teck
te Im
ple
men
tier
un
gsd
etai
ls:
Zug
riff a
uf F
estp
latte
Auf
split
ten
des
Inha
lts e
ines
File
s
etc.
File
lese
n
File
sch
reib
en
. . .
einfache Schnittstelle
© 2
003,
W. P
ree
22
Un
iver
sitä
tS
alzb
urg
Arc
hite
ktur
-Pat
tern
s
Sof
twar
e-P
atte
rns
© 2
003,
W. P
ree
23
Un
iver
sitä
tS
alzb
urg
The
Tim
eles
s W
ay o
f Bui
ldin
g
Ch
rist
op
her
Ale
xan
der
, Pro
fess
or o
fA
rchi
tect
ure,
Uni
v. o
f Cal
iforn
ia, B
erke
ley:
1979
ers
chie
nene
Büc
her:
Th
e T
imel
ess
Way
of
Bu
ildin
gA
Pat
tter
n L
ang
uag
e (
253
Pat
tern
s)
Qu
alit
y w
ith
ou
t a
nam
e
1991
von
der
Sof
twar
e-C
omm
unity
entd
eckt
© 2
003,
W. P
ree
24
Un
iver
sitä
tS
alzb
urg
Bei
spie
l: W
indo
ws
Ove
rlook
ing
Life
© 2
003,
W. P
ree
25
Un
iver
sitä
tS
alzb
urg
Bei
spie
le fü
rS
oftw
are
Pat
tern
s
© 2
003,
W. P
ree
26
Un
iver
sitä
tS
alzb
urg
Wie
kön
nen
SW
-Hal
bfer
tigfa
brik
ate
gesc
haffe
nw
erde
n?
Bes
chri
eben
in A
rch
itek
tur-
Han
db
üch
ern
(19
95):
�E
. Gam
ma,
R. H
elm
, R. J
ohns
on, J
. Vlis
side
s:D
esig
n P
atte
rns:
Ele
men
ts o
f Reu
sabl
e S
oftw
are
�W
. Pre
e:D
esig
n P
atte
rns
for
Obj
ect-
Orie
nted
Sof
twar
eD
evel
opm
ent
© 2
003,
W. P
ree
27
Un
iver
sitä
tS
alzb
urg
Was
sin
d H
albf
ertig
fabr
ikat
e?
�K
üche
nmas
chin
e: d
urch
Ein
stec
ken
eine
r K
ompo
nent
e w
ird d
asvo
rhan
dene
„H
alb
fert
igfa
bri
kat“
zum
fert
igen
Mix
er o
der
Fle
isch
wol
f
�ne
ue A
utom
odel
le g
leic
hen
mei
st „
imK
ern
“ (C
hass
is, G
etrie
be,
Mot
orpa
lette
) de
nV
org
änge
rmod
elle
n
© 2
003,
W. P
ree
28
Un
iver
sitä
tS
alzb
urg
SW
-Bei
spie
le
�E
inw
egso
ftwar
e:�
Hot
elre
serv
ieru
ngss
yste
m�
Aut
over
mie
tung
ssys
tem
�S
chiv
erle
ihsy
stem
�M
otor
radv
erle
ihsy
stem
�et
c.�
Hal
bfer
tigfa
brik
at:
�R
eser
vier
ungs
syst
em(M
ietg
egen
stan
d)
© 2
003,
W. P
ree
29
Un
iver
sitä
tS
alzb
urg
Ein
weg
softw
are
Ab
hän
gig
keit
zw
isch
en d
en K
om
po
nen
ten
ist
im
Pro
gra
mm
qu
ellt
ext:
Ko
pp
lun
g m
it e
iner
an
der
en K
om
po
nen
te e
rfo
rder
t Ä
nd
eru
ng
en:
Hot
elzi
mm
er
Aut
o
© 2
003,
W. P
ree
30
Un
iver
sitä
tS
alzb
urg
Pat
tern
: Hal
bfer
tigfa
brik
ate
erfo
rder
n di
eD
efin
ition
von
„S
teck
ern
“
Ste
cker
„M
ietg
egen
stan
d“
Ste
cker
-kom
patib
le
Kom
pone
nten
© 2
003,
W. P
ree
31
Un
iver
sitä
tS
alzb
urg
soge
nann
te d
ynam
isch
e B
indu
ng v
on A
ufru
fen
mac
htÄ
nder
unge
n im
Sou
rce-
Cod
e ob
sole
t
m1(
)
m1(
)
m1(
)
call
m1
© 2
003,
W. P
ree
32
Un
iver
sitä
tS
alzb
urg
„Ste
cker
“ M
ietg
egen
stan
d
Def
inie
rt a
llgem
ein
e, a
bst
rakt
e E
igen
sch
afte
n:
�is
tFre
i(Zei
trau
m)
�re
serv
iere
(Zei
trau
m)
�be
rech
neP
reis
(Zei
trau
m)
�et
c.
© 2
003,
W. P
ree
33
Un
iver
sitä
tS
alzb
urg
segm
ents
Flig
htS
egm
ent
flyIt(
)
1..N h
for
each
sgm
t in
segm
ents
:
sgm
t.fly
It()
calc
Leng
th()
calc
Req
Tim
e(sp
eed)
getA
ctua
lLen
gth(
)ge
tAct
ualT
ime(
)
h h
calc
Nex
tPos
(act
Pos
, spe
ed,
s
tepS
ize)
: Pos
ition
Lin
e
calc
Leng
th()
calc
Req
Tim
e(sp
eed)
calc
Nex
tPos
(act
Pos
, spe
ed,
s
tepS
ize)
: Pos
ition
setL
ine(
l: V
ecto
r)
Cir
cle
Flig
htP
atte
rn
flyIt(
)t
calc
Leng
th()
calc
Req
Tim
e(sp
eed)
t t
addS
eg(.
..)re
mov
eSeg
(...)
isV
alid
Pat
tern
(...)
: boo
lse
tSta
rtP
os(p
os: P
ositi
on)
star
tPos
: Pos
ition
line:
3D
Vec
tor
...//
inst
ance
var
iabl
es fo
r//
sto
ring
the
plan
e an
d//
circ
le-s
peci
fic d
ata
calc
Leng
th()
calc
Req
Tim
e(sp
eed)
calc
Nex
tPos
(act
Pos
, spe
ed,
s
tepS
ize)
: Pos
ition
setD
irect
ion(
...)
...//
met
hods
for
defin
ing
// t
he p
lane
in w
hich
the
// c
ircle
is lo
cate
d, a
nd//
the
rad
ius
of th
e ci
rcle
Nav
igat
ion
1..N
Arc
arcL
engt
h: fl
oat
isV
alid
Pat
tern
(...)
: boo
lh
t
pare
ntP
atte
rn: F
light
Pat
tern
isV
alid
Pat
tern
(...)
: boo
l
isV
alid
Pat
tern
(...)
: boo
l
calc
Leng
th()
calc
Req
Tim
e(sp
eed)
calc
Nex
tPos
(act
Pos
, spe
ed,
s
tepS
ize)
: Pos
ition
setL
engt
h(le
n: fl
oat)
isV
alid
Pat
tern
(...)
: boo
l
setS
tart
Pos
(pos
: Pos
ition
)h
t
1
navi
gatio
n
cont
rol
1C
on
tro
l
mov
eByV
ec(v
ec: 3
DV
ecto
r). .
.
:Lin
e
:Circ
le:C
ircle
:Flig
htPa
ttern
:Arc
:Circ
le:C
ircle
:Flig
htPa
ttern
:Flig
htPa
ttern
© 2
003,
W. P
ree
34
Un
iver
sitä
tS
alzb
urg
Hal
bfer
tigfa
brik
at fü
r S
atel
liten
steu
erun
gen
in K
oope
ratio
n m
it de
r E
urop
ean
Spa
ce A
genc
y(E
SA
): 1
998
– 20
02
© 2
003,
W. P
ree
35
Un
iver
sitä
tS
alzb
urg
Aut
omat
isch
e G
ener
ieru
ngvo
n S
oftw
are
aus
„Bau
plän
en“
(Mod
elle
n)
© 2
003,
W. P
ree
36
Un
iver
sitä
tS
alzb
urg
Com
pile
r: D
IE E
rfol
gsge
schi
chte
der
Sof
twar
etec
hnik
�P
rogr
amm
text
(P
asca
l, C
#, x
UM
L) →→→→
aus
führ
bare
s (M
asch
inen
-)P
rogr
amm
�fü
r da
s Z
eitv
erha
lten
von
Em
bedd
edS
yste
ms
noch
aus
stän
dig
�fü
r an
dere
Anw
endu
ngsb
erei
che
denk
bar?
a+b
als
Mas
chin
enpr
ogra
mm
: 0
10 1
00
hole
die
Zah
l vom
Spe
iche
rpla
tz 1
00(a
) in
ein
en P
uffe
r
015
101
addi
ere
dazu
den
Inha
lt vo
n S
peic
herp
latz
101
(b)
011
102
spei
cher
e da
s E
rgeb
nis
in Z
elle
102
(a+
b)
© 2
003,
W. P
ree
37
Un
iver
sitä
tS
alzb
urg
Bei
spie
l: H
elic
opte
r C
ontr
ol S
yste
m (
I)
Hen
zing
er, K
irsch
, Pre
e, S
anvi
do (
UC
Ber
kele
y)
Sch
aufe
lber
ger,
Wirt
h (E
TH
Zür
ich)
© 2
003,
W. P
ree
38
Un
iver
sitä
tS
alzb
urg
Bei
spie
l: H
elic
opte
r C
ontr
ol S
yste
m (
II)
© 2
003,
W. P
ree
39
Un
iver
sitä
tS
alzb
urg
Gio
tto a
ls „
höhe
re P
rogr
amm
iers
prac
he“
=B
aupl
an =
Mod
ell f
ür Z
eita
spek
te
Mod
e 1
Mod
e 4
Mod
e 3
Mod
e 2
Tas
k S
40
0 H
z
Tas
k C
20
0 H
z
Tas
k A
1
kHz
Tas
k S
40
0 H
z
Tas
k C
20
0 H
z
Tas
k A
’ 1
kH
z
Tas
k C
’ 1
00 H
z
Tas
k A
1
kHz
Tas
k S
40
0 H
z
Tas
k C
20
0 H
z
Tas
k A
2
kHz
Tas
k A
” 1
kH
z
Con
ditio
n 1.
2
Con
ditio
n 2.
1
=>
sp
ezif
. HW
-Pla
ttfo
rm w
ird
irre
leva
nt
© 2
003,
W. P
ree
40
Un
iver
sitä
tS
alzb
urg
Gen
erie
rung
der
Sof
twar
e +
der
en V
erte
ilung
auf
Pro
zess
oren
erf
olgt
aut
omat
isch
Tas
k
Driv
er
Inpu
tpo
rts
load
ed.
Out
put p
orts
read
.
Sen
sor
Tim
e t
Tim
e t
Tim
et+
dT
ime
t+d
d
Tas
k on
CP
U.
Act
uato
r
© 2
003,
W. P
ree
41
Un
iver
sitä
tS
alzb
urg
Sof
twar
etec
hnik
–Q
uo v
adis
?
© 2
003,
W. P
ree
42
Un
iver
sitä
tS
alzb
urg
�ko
sten
inte
nsiv
e W
artu
ng v
onS
oftw
are,
die
20-
30 J
ahre
alt
ist
�in
geni
eurm
äßig
e H
eran
gehe
nsw
eise
wird
sic
h zu
min
dest
in T
eilb
erei
chen
etab
liere
n, z
B b
eisi
cher
heits
kriti
sche
n S
yste
men
© 2
003,
W. P
ree
43
Un
iver
sitä
tS
alzb
urg
�si
mpl
e, m
echa
nisc
he W
elts
icht
sch
wer
skal
ierb
ar
�V
orbi
ld b
iolo
gisc
he S
yste
me
→→→→ In
tern
et w
uchs
um
den
Fak
tor
100
Mio
.
© 2
003,
W. P
ree
44
Un
iver
sitä
tS
alzb
urg
Sof
twar
etec
hnik
–Q
uo v
adis
?
© 2
003,
W. P
ree
45
Un
iver
sitä
tS
alzb
urg
The
End
Vie
len
Dan
k fü
r Ih
reA
ufm
erks
amke
it!