lecture 1: introduction vocabulary€¦ · lecture 1: introduction 2016-04-18...

7
– 1 – 2016-04-18 – main – Softwaretechnik / Software-Engineering Lecture 1: Introduction 2016-04-18 Prof. Dr. Andreas Podelski, Dr. Bernd Westphal Albert-Ludwigs-Universität Freiburg, Germany Content – 1 – 2016-04-18 – Scontent – 2/36 Software, Engineering, Software Engineering Successful Software Development working definition: success unsuccessful software development exists common reasons for non-success Course Content topic areas structure of topic areas emphasis: formal methods relation to other courses literature Organisation lectures tutorials exam Software, Engineering, Software Engineering – 1 – 2016-04-18 – main – 3/36 – 1 – 2016-04-18 – Sieee61012 – 4/36 Reference number ISO/IEC/IEEE 24765:2010(E) © ISO/IEC 2010 © IEEE 2010 INTERNATIONAL STANDARD ISO/IEC/ IEEE 24765 First edition 2010-12-15 Systems and software engineering — Vocabulary Ingénierie des systèmes et du logiciel — Vocabulaire – 1 – 2016-04-18 – Ssoftware – 5/36 Software — Computer programs, procedures, and possibly associated documentation and data pertaining to the operation of a computer system. See also: application software; support software; system software. Contrast with: hardware. IEEE 610.12 (1990) Software 1. all or part of the programs, procedures, rules, and associated documentation of an information processing system. [...] 2. see 610.12 3. program or set of programs used to run a computer. [...] NOTE: includes firmware, documentation, data, and execution control statements. IEEE 24765 (2010) Engineering vs. Non-Engineering – 1 – 2016-04-18 – Sengineering – 6/36 workshop (technical product) studio (artwork) Mental prerequisite the existing and available technical know-how artist’s inspiration, among others Deadlines can usually be planned with sufficient precision cannot be planned due to dependency on artist’s inspiration Price oriented on cost, thus calculable determined by market value, not by cost Norms and standards exist, are known, and are usually respected are rare and, if known, not respected Evaluation and comparison can be conducted using objective, quantified criteria is only possible subjectively, results are disputed Author remains anonymous, often lacks emotional ties to the product considers the artwork as part of him/herself Warranty and liability are clearly regulated, cannot be excluded are not defined and in practice hardly enforceable (Ludewig and Lichter, 2013)

Upload: others

Post on 22-Aug-2020

0 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Lecture 1: Introduction Vocabulary€¦ · Lecture 1: Introduction 2016-04-18 Prof.Dr.AndreasPodelski, Dr.BerndWestphal Albert-Ludwigs-UniversitätFreiburg, Germany Content –1–2016-04-18

– 1 – 2016-04-18 – main –

Softw

aretech

nik

/Softw

are-E

ngin

eering

Lectu

re1:

Intro

ductio

n

2016-0

4-1

8

Pro

f.Dr.A

nd

reas

Po

de

lski,Dr.B

ern

dW

estp

hal

Alb

ert-Lu

dw

igs-Un

iversität

Freib

urg,G

erm

any

Co

nten

t

– 1 – 2016-04-18 – Scontent –

2/

36

•S

oftw

are,E

ng

ine

erin

g,S

oftw

areE

ng

ine

erin

g

•S

ucce

ssfulS

oftw

areD

eve

lop

me

nt

•w

orkin

gd

efin

ition

:succe

ss

•u

nsu

ccessfu

lsoftw

ared

eve

lop

me

nt

exists

•co

mm

on

reaso

ns

for

no

n-su

ccess

•C

ou

rse

•C

on

ten

t

•to

pic

areas

•stru

cture

of

top

icare

as

•e

mp

hasis:fo

rmalm

eth

od

s

•re

lation

too

the

rco

urse

s

•lite

rature

•O

rganisatio

n

•le

cture

s

•tu

torials

•e

xam

So

ftwa

re,E

ng

ineerin

g,S

oftw

are

En

gin

eering

– 1 – 2016-04-18 – main –

3/

36

– 1 – 2016-04-18 – Sieee61012 –

4/

36

Auth

oriz

ed lic

ensed u

se lim

ited to

: UN

IVE

RS

ITA

ET

FR

EIB

UR

G. D

ow

nlo

aded o

n A

pril 0

3,2

015 a

t 13:4

7:3

2 U

TC

from

IEE

E X

plo

re. R

estric

tions a

pply

.

Refe

rence n

um

ber

ISO

/IEC

/IEE

E 2

4765:2

010(E

)

© IS

O/IE

C 2

010

© IE

EE

2010

INT

ER

NA

TIO

NA

L

ST

AN

DA

RD

ISO

/IEC

/IE

EE

24

76

5

Firs

t editio

n201

0-1

2-1

5

Syste

ms a

nd

so

ftware

en

gin

eerin

g —

V

ocab

ula

ry

Ingénie

rie d

es s

ystè

mes e

t du lo

gic

iel —

Vocabula

ire

Authorized licensed use lim

ited to: Michigan S

tate University. D

ownloaded on S

eptember 06,2014 at 17:36:30 U

TC

from IE

EE

Xplore. R

estrictions apply.

– 1 – 2016-04-18 – Ssoftware –

5/

36

So

ftware

—C

om

pu

ter

pro

grams,p

roce

du

res,an

dp

ossib

lyasso

ciated

do

cum

en

tation

and

data

pe

rtainin

gto

the

op

eratio

no

fa

com

pu

ter

system

.

Se

ealso

:app

lication

softw

are;su

pp

ort

softw

are;sy

stem

softw

are.

Co

ntrast

with

:hard

ware

.IE

EE

610

.12( 19

90

)

So

ftware

1.allo

rp

arto

fth

ep

rogram

s,p

roce

du

res,

rule

s,an

dasso

ciated

do

cum

en

tation

of

anin

form

ation

pro

cessin

gsyste

m.[...]

2.se

e6

10.12

3.p

rogram

or

set

of

pro

grams

use

dto

run

aco

mp

ute

r.[...]

NO

TE

:inclu

de

sfirm

ware

,do

cum

en

tation

,data,an

de

xecu

tion

con

trolstate

me

nts.

IEE

E2

476

5(2

010

)

En

gin

eering

vs.N

on

-En

gin

eering

– 1 – 2016-04-18 – Sengineering –

6/

36

wo

rksho

p(te

chn

icalpro

du

ct)stu

dio

(artwo

rk)

Me

ntal

pre

req

uisite

the

existin

gan

davailab

lete

chn

icalkn

ow

-ho

w

artist’sin

spiratio

n,

amo

ng

oth

ers

De

adlin

es

canu

sually

be

plan

ne

dw

ithsu

fficien

tp

recisio

ncan

no

tb

ep

lann

ed

du

eto

de

pe

nd

en

cyo

nartist’s

insp

iration

Price

orie

nte

do

nco

st,th

us

calculab

led

ete

rmin

ed

by

marke

tvalu

e,n

ot

by

cost

No

rms

and

stand

ards

exist,are

kno

wn

,and

areu

sually

resp

ecte

dare

rarean

d,if

kno

wn

,n

ot

resp

ecte

d

Evalu

ation

and

com

pariso

ncan

be

con

du

cted

usin

go

bje

ctive,q

uan

tified

criteria

iso

nly

po

ssible

sub

jective

ly,re

sults

ared

ispu

ted

Au

tho

rre

main

san

on

ym

ou

s,o

ften

lackse

mo

tion

altie

sto

the

pro

du

ct

con

side

rsth

eartw

ork

asp

arto

fh

im/

he

rself

Warran

tyan

dliab

ilityare

clearly

regu

lated

,can

no

tb

ee

xclud

ed

aren

ot

de

fine

dan

din

practice

hard

lye

nfo

rceab

le

(Lud

ew

igan

dLich

ter,2

013

)

Page 2: Lecture 1: Introduction Vocabulary€¦ · Lecture 1: Introduction 2016-04-18 Prof.Dr.AndreasPodelski, Dr.BerndWestphal Albert-Ludwigs-UniversitätFreiburg, Germany Content –1–2016-04-18

So

ftwa

reE

ng

ineerin

g

– 1 – 2016-04-18 – Ssweng –

7/

36

So

ftware

En

gin

ee

ring

—(1)

Th

eap

plicatio

no

fa

system

atic,discip

line

d,q

uan

tifiable

app

roach

toth

ed

eve

lop

-m

en

t,op

eratio

n,an

dm

ainte

nan

ceo

fso

ftware

;that

is,the

app

lication

of

en

gine

erin

gto

softw

are.

(2)T

he

stud

yo

fap

pro

ache

sas

in(1).

IEE

E6

10.12

( 199

0)

So

ftware

En

gin

ee

ring

1.th

esyste

matic

app

lication

of

scien

tifican

dte

chn

olo

gicalkno

wle

dge

,me

tho

ds,an

de

xpe

rien

ceto

the

de

sign,im

ple

me

ntatio

n,te

sting,an

dd

ocu

me

ntatio

no

fso

ftware

.

2.se

eIE

EE

610

.12(1)

ISO

/IE

C/

IEE

E2

476

5( 2

010

)

So

ftware

En

gin

ee

ring

:M

ulti-p

erso

nD

eve

lop

me

nt

of

Mu

lti-versio

nP

rogram

s.

D.L.P

arnas

( 20

11)

fiff.informatik.uni-bremen.de/2001/assets/images/

So

ftware

En

gin

ee

ring

—th

ee

stablish

me

nt

and

use

of

sou

nd

en

gine

erin

gp

rincip

les

too

btain

eco

no

mically

softw

areth

atis

reliab

lean

dw

orks

effi-

cien

tlyo

nre

almach

ine

s.F.L.B

aue

r(19

71)

commons.wikimedia.org(CC-by-sa 3.0)

– 1 – 2016-04-18 – Ssweng –

8/

36

So

ftware

En

gin

ee

ring

—(1)

Th

eap

plicatio

no

fa

system

atic,d

is-cip

line

d,

qu

antifiab

leap

pro

achto

the

de

velo

pm

en

t,o

pe

ration

,an

dm

ainte

nan

ceo

fsoftw

are;th

atis,the

app

lication

ofe

ngin

ee

r-in

gto

softw

are.

(2)T

he

stud

yo

fap

pro

ache

sas

in(1).

IEE

E6

10.12

(199

0)

So

ftware

En

gin

ee

ring

—1.th

esyste

matic

app

lication

of

scien

tifican

dte

chn

olo

gicalkn

ow

led

ge,

me

tho

ds,

and

exp

erie

nce

toth

ed

esign

,imp

lem

en

tation

,testin

g,and

do

cum

en

tation

ofso

ftware

.

2.se

e6

10.12

(1).IS

O/

IEC

/IE

EE

24

765

( 20

10)

So

ftware

En

gin

ee

ring

:M

ulti-p

erso

nD

eve

lop

me

nt

of

Mu

lti-ve

rsion

Pro

grams.

D.L.P

arnas

( 20

11)

So

ftware

En

gin

ee

ring

—th

ee

stablish

me

nt

and

use

of

sou

nd

en

-gin

ee

ring

prin

ciple

sto

ob

taine

con

om

icallyso

ftware

that

isre

li-ab

lean

dw

orks

efficie

ntly

on

realm

achin

es.

F.L.Bau

er

( 197

1)

00

18

-91

62

/01

/$1

0.0

0 ©

20

01

IEE

EC

om

pu

ter

Software

Engineering inthe Academ

y

Th

ere is no

un

iversa

lly a

ccepted

defin

ition

of so

ftware en

gin

eering.

For so

me, so

ftware en

gin

eering is ju

st a g

lorifi

ed n

am

e for p

rogra

m-

min

g. If y

ou a

re a p

rogra

mm

er, you m

ight p

ut “

softw

are en

gin

eer”on y

our b

usin

ess card

but n

ever “

pro

gra

mm

er.” O

thers h

ave h

igher

expectatio

ns. A

textb

ook d

efinitio

n o

f the term

migh

t read so

meth

ing

like th

is: “th

e body o

f meth

ods, to

ols, an

d tech

niq

ues in

tended

to p

roduce q

ual-

ity so

ftware.”

Rath

er than

just em

ph

asizin

g q

uality, w

e cou

ld d

istingu

ish so

ftware en

gi-

neerin

g from

pro

gramm

ing b

y its industrial n

ature, lead

ing to

anoth

er defi

nitio

n:

“th

e develo

pm

ent o

f possib

ly large systems in

tended

for u

se in p

roductio

n en

vi-ro

nm

ents, o

ver a possib

ly long p

eriod, w

ork

ed o

n b

y possib

ly man

y peo

ple, an

dpossib

ly undergo

ing m

any ch

anges,”

where “

develo

pm

ent”

inclu

des m

anage-

men

t, main

tenan

ce, validatio

n, d

ocu

men

tation, an

d so

forth

.D

avid P

arnas, 1

a pio

neer in

the fi

eld, em

phasizes th

e “en

gineerin

g” p

art and

advoca

tes a so

ftware en

gin

eering ed

uca

tion fi

rmly

rooted

in tra

ditio

nal en

gi-

neerin

g—in

cludin

g courses o

n m

aterials and th

e like—

and sp

lit from

com

puter

science th

e way electrical en

gineerin

g is separate fro

m p

hysics.

Becau

se this article p

resents a b

road

persp

ective on so

ftware ed

ucatio

n, I w

on’t

settle on a

ny o

f these d

efinitio

ns; ra

ther, I’d

like to

accep

t that th

ey a

re all in

som

e way valid

and retain

all the view

s of so

ftware th

ey enco

mpass. In

fact, Iam

not ju

st focu

sing o

n th

e “so

ftware en

gineerin

g courses”

traditio

nally o

fferedin

man

y universities b

ut m

ore gen

erally on h

ow

to in

still softw

are engin

eering

concern

s into

an en

tire softw

are curricu

lum

.If n

ot ev

eryo

ne a

grees o

n th

e defin

ition

of th

e discip

line, few

qu

estion

itsim

porta

nce. W

e mig

ht h

ave w

ished

for less em

barra

ssing testim

onia

ls of o

ur

work

’s societal relevan

ce than

the Y

2K

scare, but it is still fresh

enough

in every-

one’s m

ind to

remin

d u

s how

much

the w

orld

has co

me to

rely on so

ftware sys-

tems. T

he in

stitutio

ns th

at teach so

ftware—

either as p

art of co

mputer scien

ceor in

a specifi

c softw

are engin

eering p

rogram

—are resp

onsib

le for p

roducin

gso

ftware p

rofessio

nals w

ho w

ill build

and m

aintain

these system

s to th

e satis-factio

n o

f their b

enefi

ciaries.

SO

FT

WA

RE

PR

OF

ES

SIO

NA

LS

Judgin

g by th

e emplo

ymen

t situatio

n, cu

rrent an

d fu

ture grad

uates can

be h

appy

with

their stu

dies. T

he In

form

ation T

echnolo

gy Asso

ciation o

f Am

erica estimated

in A

pril 2

000

2th

at 850,0

00 IT

jobs w

ould

go u

nfilled

in th

e nex

t 12 m

onth

s. The

dearth

of q

ualifi

ed p

ersonnel is ju

st as percep

tible in

Euro

pe an

d A

ustralia. Salaries

are excellen

t. Pro

ject leaders w

ake u

p at n

ight w

orryin

g about h

eadhunters h

ir-in

g away so

me o

f their b

est develo

pers—

or p

onderin

g the latest o

ffers they received

them

selves.

Institu

tions th

at teach

softw

are are responsib

le

for p

roducin

g

pro

fessionals w

ho w

ill

build

and m

aintain

systems to

the

satisfaction o

f their

ben

eficiaries. T

his

article presen

ts som

e

ideas o

n h

ow

best to

honor th

is

responsib

ility.

Bertra

nd

Mey

erIn

teractiv

e So

ftware E

ngin

eering

Th

eco

urse’s

wo

rking

defi

nitio

no

fS

oftw

are

En

gin

eering

– 1 – 2016-04-18 – Ssweng –

9/

36

So

ftware

En

gin

ee

ring

(1)Th

eap

plicatio

no

fa

system

atic,discip

line

d,q

uan

tifiable

app

roach

toth

ed

eve

lop

me

nt,o

pe

ration

,and

main

ten

ance

of

softw

are;th

atis,th

eap

plica-

tion

of

en

gine

erin

gto

softw

are.

(2)T

he

stud

yo

fap

pro

ache

sas

in(1).

IEE

E6

10.12

( 199

0)

So

ftware

En

gin

ee

ring

—th

ee

stablish

me

nt

and

use

of

sou

nd

en

gine

erin

gp

rincip

les

too

btain

eco

no

mically

softw

areth

atis

reliab

lean

dw

orks

effi-

cien

tlyo

nre

almach

ine

s.F.L.B

aue

r( 19

71)

scop

e,

qu

ality

cost,

time

cost

time

“so

ftwa

reth

at

isrelia

ble

an

dw

orks

efficien

tly”(B

au

er,1

97

1)

– 1 – 2016-04-18 – Ssweng –

10/

36

Mo

rege

ne

ral:softw

areo

f(go

od

)q

uality

(cf.ISO

/IE

C9

126

-1:20

00

(20

00

))

softw

arere

lated

qu

ality

pro

cess

qu

ality...

pro

du

ctq

uality

fun

ction

ality

suitab

ilityaccu

racy

inte

rop

erab

ility

secu

rity

reliab

ility

matu

rity

fault

tole

rance

reco

verab

ility

usab

ility

un

de

rstand

ability

learn

ability

op

erab

ility

attractiven

ess

efficie

ncy

time

be

havio

ur

reso

urce

utilisatio

n

main

tainab

ility

analy

sability

chan

geab

ility

stability

testab

ility

po

rtability

adap

tability

installab

ility

co-e

xisten

ce

rep

laceab

ility

6.1

Fun

ction

alityT

he

capab

ilityo

fth

eso

ftware

pro

du

ctto

pro

vide

fun

ction

sw

hich

me

et

stated

and

imp

lied

ne

ed

sw

he

nth

eso

ftware

isu

sed

un

de

rsp

ecifie

dco

nd

ition

s.

6.1.1

Su

itability

Th

ecap

ability

of

the

softw

arep

rod

uct

top

rovid

ean

app

rop

riatese

to

ffu

nctio

ns

for

spe

cified

tasksan

du

ser

ob

jective

s.

“so

ftwa

reth

at

isrelia

ble

an

dw

orks

efficien

tly”(B

au

er,1

97

1)

– 1 – 2016-04-18 – Ssweng –

10/

36

Mo

rege

ne

ral:softw

areo

f(go

od

)q

uality

(cf.ISO

/IE

C9

126

-1:20

00

(20

00

))

softw

arere

lated

qu

ality

pro

cess

qu

ality...

pro

du

ctq

uality

fun

ction

ality

suitab

ilityaccu

racy

inte

rop

erab

ility

secu

rity

reliab

ility

matu

rity

fault

tole

rance

reco

verab

ility

usab

ility

un

de

rstand

ability

learn

ability

op

erab

ility

attractiven

ess

efficie

ncy

time

be

havio

ur

reso

urce

utilisatio

n

main

tainab

ility

analy

sability

chan

geab

ility

stability

testab

ility

po

rtability

adap

tability

installab

ility

co-e

xisten

ce

rep

laceab

ility

Page 3: Lecture 1: Introduction Vocabulary€¦ · Lecture 1: Introduction 2016-04-18 Prof.Dr.AndreasPodelski, Dr.BerndWestphal Albert-Ludwigs-UniversitätFreiburg, Germany Content –1–2016-04-18

Su

ccessful

So

ftwa

reD

evelop

men

t

– 1 – 2016-04-18 – main –

11/3

6

Wh

enis

So

ftwa

reD

evelop

men

tS

uccessfu

l?

– 1 – 2016-04-18 – Sallhappy –

12/

36

De

velo

pe

rC

usto

me

rU

ser

Aso

ftware

de

velo

pm

en

tp

roje

ctis

succe

ssful

ifan

do

nly

if

de

velo

pe

r,custo

me

r,and

use

rare

hap

py

with

the

resu

ltat

the

en

do

fth

ep

roje

ct.

IsS

oftw

are

Develo

pm

ent

Alw

ays

Su

ccessful?

– 1 – 2016-04-18 – Ssuccess –

13/

36

Erfo

lgs-

und

Misse

rfolg

sfakto

ren

beider

Durc

hfu

hru

ng

von

Hard

-und

Softw

are

entw

icklu

ngsp

roje

kte

n

inD

eutsc

hla

nd

2006

Auto

ren:

Ralf

Busch

ermoh

leH

eikeEekh

offBern

hard

Josko

Report:

VSEK

/55/DVersio

n:

1.1D

atu

m:

28.09.2006

So

me

Em

pirica

lF

ind

ing

s(B

usch

ermö

hle

eta

l.(2

00

6))

– 1 – 2016-04-18 – Ssuccess –

14/

36

3.17

30

.16

6.8

8

5.0

3

25

.66

29

.1

1-9,9

99

10,0

00

-99

,99

9

100

,00

0-4

99

,99

9

50

0,0

00

-99

9,9

99

≥1,0

00

,00

0

no

tsp

ecifie

d

bu

dge

tine

(37

8re

spo

nse

s)

33

.07

2.9

1

10.0

5

22

.49

25

.13

≤3

>3

-6

>6

-12

>12

-24

>2

4

plan

ne

dd

uratio

nin

mo

nth

s(3

78

resp

on

ses)

0%

10%

20

%

30

%

40

%

50

%

60

%

70%

bu

sine

sscritical

missio

ncritical

safety

critical

Criticality

(37

8re

spo

nse

s,30

’no

tsp

ec.’)

97.3

52

.65

com

ple

ted

cance

lled

pro

ject

com

ple

tion

(37

8re

spo

nse

s)

72

.01

24

.73

2.4

5

kep

t

early

late

de

adlin

e(3

68

resp

on

ses)

0.2

7

82

.61

4.8

9 4.8

9 5.16

1.92

5-4

9%

50

-74%

75

-89

%

90

-94

%

95

-99

%

100

%

main

fun

ction

alityre

alised

(36

8re

spo

nse

s)

81.5

2

11.14 3.2

6

kep

t

be

low

abo

ve

bu

dge

t(3

68

resp

on

ses)

29

.67

15.3

8

5.4

9

9.8

9

20

.88

<2

0%

20

-49

%

50

-99

%

100

-199

%

≥2

00

%

de

adlin

em

issed

by

(91

resp

on

ses)

4.8

9

57.6

1

8.15

7.61

13.0

4

4.8

9

2.9

9

<2

5%

25

-49

%

50

-74%

75

-89

%

90

-94

%

95

-99

%

100

%

seco

nd

aryfu

nctio

nality

realise

d(3

68

resp

on

ses)

Page 4: Lecture 1: Introduction Vocabulary€¦ · Lecture 1: Introduction 2016-04-18 Prof.Dr.AndreasPodelski, Dr.BerndWestphal Albert-Ludwigs-UniversitätFreiburg, Germany Content –1–2016-04-18

Co

urse:

Co

nten

t

– 1 – 2016-04-18 – main –

17/

36

Co

urse

Co

nten

t

– 1 – 2016-04-18 – Sccontent –

18/

36

...

CapturingRequirements

Design

Implementation

Code QualityAssurance

...

So

ftware

Pro

ject

Man

agem

en

t

Intro

du

ction

L1:

18.4

.,Mo

n

L2

:2

1.4.,

Th

uS

cales,M

etrics,

Co

stsL

3:

25

.4.,M

on

T1:

28

.4.,

Th

u

De

velo

pm

en

tL

4:

2.5

.,Mo

n

-5

.5.,

Th

u

Pro

cess

L5

:9

.5.,M

on

L6

:12

.5.,

Th

u

-16

.5.,M

on

-19

.5.,

Th

u

T2

:2

3.5

.,Mo

n

-2

6.5

.,T

hu

L7:

30

.5.,M

on

L8

:2

.6.,

Th

uR

eq

uire

me

nts

En

gine

erin

gL

9:

6.6

.,Mo

n

T3

:9

.6.,

Th

u

L10:

13.6

.,Mo

n

L11:

16.6

.,T

hu

Arch

itectu

re&

De

signL

12:

20

.6.,M

on

T4

:2

3.6

.,T

hu

L13

:2

7.6.,M

on

So

ftware

Mo

nd

ellin

gL

14:

30

.6.,

Th

u

L15

:4

.7.,Mo

n

T5

:7.7.,

Th

u

L16

:11.7.,M

on

L17:

14.7.,

Th

uQ

uality

Assu

rance

(Testin

g,Form

alV

erificatio

n)

L18

:18

.7.,Mo

nW

rap-U

pL

19:

21.7.,

Th

u

Stru

cture

of

To

pic

Area

s

– 1 – 2016-04-18 – Sccontent –

19/

36

Exam

ple

:Re

qu

irem

en

tsE

ngin

ee

ringVo

cabu

larye

.g.con

sisten

t,co

mp

lete

,tacit,etc.

Tech

niq

ue

s

info

rmal

sem

i-form

al

form

al

Excu

rsion

:In

form

al

vs.F

orm

al

Tech

niq

ues

– 1 – 2016-04-18 – Sccontent –

20

/3

6

Exam

ple

:Re

qu

irem

en

tsE

ngin

ee

ring,A

irbag

Co

ntro

ller

DaimlerChryslerAG, CC BY-SA 3.0

Re

qu

irem

en

t:Wh

en

eve

ra

crashis

de

tecte

d,th

eairb

agh

asto

be

fired

with

in300ms(±

ε).

De

velo

pe

rA

‘with

in’me

ans

‘≤’;so

100ms

iso

kay,too

De

velo

pe

rB

‘with

in’me

ans

be

twe

en300−

ε

and300+

ε

vs.

•F

ixo

bse

rvable

s:crash

de

tecte

d:Tim

e→

{0,1

}an

dfire

airbag

:Tim

e→

{0,1

}

•Fo

rmalise

req

uire

me

nt:

∀t,t′∈

Tim

e•

crashd

ete

cted(t)

∧airb

agfire

d(t′)

=⇒

t′∈

[t+

300−

ε,t+

300+

ε]

→n

om

ore

misu

nd

erstan

din

gs,som

etim

es

too

lscan

ob

jective

lyd

ecid

e:re

qu

irem

en

tsatisfie

dye

s/n

o.

Stru

cture

of

To

pic

Area

s

– 1 – 2016-04-18 – Sccontent –

22

/3

6

Exam

ple

:Re

qu

irem

en

tsE

ngin

ee

ringVo

cabu

larye

.g.con

sisten

t,co

mp

lete

,tacit,etc.

Tech

niq

ue

s

info

rmal

sem

i-form

al

form

al

Inth

eco

urse

:

e.g.“W

he

ne

ver

acrash

...”

e.g.“A

lways,if

〈crash〉

att...”

e.g.“∀

t,t′∈

Tim

e•

...”

Use

Case

s

Patte

rnLan

gu

age

De

cision

Tab

les

LiveS

eq

ue

nce

Ch

arts

Page 5: Lecture 1: Introduction Vocabulary€¦ · Lecture 1: Introduction 2016-04-18 Prof.Dr.AndreasPodelski, Dr.BerndWestphal Albert-Ludwigs-UniversitätFreiburg, Germany Content –1–2016-04-18

Co

nten

t

– 1 – 2016-04-18 – Scontent –

23

/3

6

•S

oftw

are,E

ng

ine

erin

g,S

oftw

areE

ng

ine

erin

g

•S

ucce

ssfulS

oftw

areD

eve

lop

me

nt

•w

orkin

gd

efin

ition

:succe

ss

•u

nsu

ccessfu

lsoftw

ared

eve

lop

me

nt

exists

•co

mm

on

reaso

ns

for

no

n-su

ccess

•C

ou

rse

•C

on

ten

t

•to

pic

areas

•stru

cture

of

top

icare

as

•e

mp

hasis:fo

rmalm

eth

od

s

•re

lation

too

the

rco

urse

s

•lite

rature

•O

rganisatio

n

•le

cture

s

•tu

torials

•e

xam

Co

urse

So

ftwa

re-En

gin

eering

vs.S

oftw

arep

raktiku

m

– 1 – 2016-04-18 – Srel –

25

/3

6

On

po

pu

lard

em

and

,th

ech

airfo

rso

ftware

en

gine

erin

gag

ree

do

n:stro

ng(e

r)co

up

ling

be

twe

en

bo

thco

urse

s.

Intro

du

ction

L1:

18.4

.,Mo

n

L2

:2

1.4.,

Th

uS

cales,M

etrics,

Co

stsL

3:

25

.4.,M

on

T1:

28

.4.,

Th

u

De

velo

pm

en

tL

4:

2.5

.,Mo

n

-5

.5.,

Th

u

Pro

cess

L5

:9

.5.,M

on

L6

:12

.5.,

Th

u

-16

.5.,M

on

-19

.5.,

Th

u

T2

:2

3.5

.,Mo

n

-2

6.5

.,T

hu

L7:

30

.5.,M

on

L8

:2

.6.,

Th

uR

eq

uire

me

nts

En

gine

erin

gL

9:

6.6

.,Mo

n

T3

:9

.6.,

Th

u

L10:

13.6

.,Mo

n

L11:

16.6

.,T

hu

Arch

itectu

re&

De

signL

12:

20

.6.,M

on

T4

:2

3.6

.,T

hu

L13

:2

7.6.,M

on

So

ftware

Mo

nd

ellin

gL

14:

30

.6.,

Th

u

L15

:4

.7.,Mo

n

T5

:7.7.,

Th

u

L16

:11.7.,M

on

L17:

14.7.,

Th

uQ

uality

Assu

rance

(Testin

g,Form

alV

erificatio

n)

L18

:18

.7.,Mo

nW

rap-U

pL

19:

21.7.,

Th

u

Litera

ture

– 1 – 2016-04-18 – Slit –

26

/3

6

Pro

ject

Man

agem

en

t

Vo

cabu

lary

Tech

niq

ue

s

info

rmal

form

al

Re

qu

irem

en

tsE

ngin

ee

ring

Vo

cabu

lary

Tech

niq

ue

s

info

rmal

form

al

De

sign,S

WM

od

ellin

g

Vo

cabu

lary

Tech

niq

ue

s

info

rmal

form

al

Qu

alityA

ssuran

ce

Vo

cabu

lary

Tech

niq

ue

s

info

rmal

form

al

...mo

reo

nth

eco

urse

ho

me

page

.

An

yQ

uestio

ns

So

Fa

r?

– 1 – 2016-04-18 – main –

27

/3

6

Co

urse:

Org

an

isatio

n

– 1 – 2016-04-18 – main –

28

/3

6

Page 6: Lecture 1: Introduction Vocabulary€¦ · Lecture 1: Introduction 2016-04-18 Prof.Dr.AndreasPodelski, Dr.BerndWestphal Albert-Ludwigs-UniversitätFreiburg, Germany Content –1–2016-04-18

Org

an

isatio

n:

Lectu

res

– 1 – 2016-04-18 – Sorgalec –

29

/3

6

•H

om

ep

age:

http://swt.informatik.uni-freiburg.de/teaching/SS2016/swtvl

•C

ou

rselan

gu

age:

En

glish

(since

we

arein

ane

ven

year)

•S

cript/

Me

dia:

•slid

es

with

ou

tan

no

tation

so

nh

om

ep

agew

ithb

egin

nin

go

fle

cture

the

latest

•slid

es

with

ann

otatio

ns

on

ho

me

page

typ

icallyso

on

after

the

lectu

re

•re

cord

ing

on

ILIAS

(stream

and

do

wn

load

)with

max.2

day

sd

elay

(cf.link

on

ho

me

page

)

•S

che

du

le:

top

icare

asà

thre

e9

0m

in.le

cture

s,on

e9

0m

in.tu

torial(w

ithe

xcep

tion

s)

•In

teractio

n:ab

sen

ceo

ften

mo

ane

d;b

ut

ittake

stw

o,so

ple

aseask/co

mm

en

tim

me

diate

ly.

•Q

ue

stion

s/co

mm

en

ts:

•“o

nlin

e”:askim

me

diate

lyo

rin

the

bre

ak

•“o

ffline”:

(i)try

toso

lveyo

urse

lf(ii)

discu

ssw

ithco

lleagu

es

(iii)a)

Exe

rcises:ILIA

S(gro

up

)foru

m,co

ntact

tuto

rb

)E

very

thin

ge

lse:co

ntact

lectu

rer

(cf.ho

me

page)

or

just

dro

pb

y:B

uild

ing

52

,Ro

om

00

-02

0

•B

reak:

we’llh

avea

5-10

min

.bre

akin

the

mid

dle

of

each

lectu

re(fro

mn

ow

on

),u

nle

ssa

majo

rityo

bje

ctsn

ow

14:15

15:0

0

15:4

5

vs.·

14:15

15:0

015

:10 15:5

5

Org

an

isatio

n:

Exercises

&T

uto

rials

– 1 – 2016-04-18 – Sorgatut –

30

/3

6

•S

che

du

le/

Su

bm

ission

:

•e

xercise

so

nlin

e(h

om

ep

agean

dILIA

S)w

ithfirst

lectu

reo

fa

blo

ck,

•e

arlysu

bm

ission

24

hb

efo

retu

torial

(usu

allyW

ed

ne

sday,12

:00

,localtim

e),

•re

gular

sub

missio

nrigh

tb

efo

retu

torial

(usu

allyT

hu

rsday,12

:00

,localtim

e).

•p

lease

sub

mit

ele

ctron

icallyvia

ILIAS

;pap

er

sub

missio

ns

areto

lerate

d

•sh

ou

ldw

ork

inte

ams

of

app

rox.3

,clearly

given

ame

so

nsu

bm

ission

•G

radin

gsy

stem

:“m

ost

com

plicate

dg

radin

gsy

stem

eve

r”

•A

dm

ission

po

ints

(goo

d-w

illrating,u

pp

er

bo

un

d)

(“reaso

nab

legrad

ing

given

stud

en

t’skn

ow

led

geb

efo

retu

torial”)

•E

xam-like

po

ints

(evilratin

g,low

er

bo

un

d)

(“reaso

nab

legrad

ing

given

stud

en

t’skn

ow

led

geafte

rtu

torial”)

10%

bo

nu

sfo

re

arlysu

bm

ission

.

•Tu

torial:T

hre

eg

rou

ps

(cen

tralassignm

en

t),ho

sted

by

tuto

r.

•S

tarting

from

discu

ssion

of

the

early

sub

missio

ns

(ano

ny

mo

us),

de

velo

po

ne

goo

dp

rop

osalto

geth

er,

•tu

torialn

ote

sp

rovid

ed

viaILIA

S.

Intro

du

ction

L1:

18.4

.,Mo

n

L2

:2

1.4.,

Th

uS

cales,M

etrics,

Co

stsL

3:

25

.4.,M

on

T1:

28

.4.,

Th

u

De

velo

pm

en

tL

4:

2.5

.,Mo

n

-5

.5.,

Th

u

Pro

cess

L5

:9

.5.,M

on

L6

:12

.5.,

Th

u

-16

.5.,M

on

-19

.5.,

Th

u

T2

:2

3.5

.,Mo

n

-2

6.5

.,T

hu

L7:

30

.5.,M

on

L8

:2

.6.,

Th

uR

eq

uire

me

nts

En

gine

erin

gL

9:

6.6

.,Mo

n

T3

:9

.6.,

Th

u

L10:

13.6

.,Mo

n

L11:

16.6

.,T

hu

Arch

itectu

re&

De

signL

12:

20

.6.,M

on

T4

:2

3.6

.,T

hu

L13

:2

7.6.,M

on

So

ftware

Mo

nd

ellin

gL

14:

30

.6.,

Th

u

L15

:4

.7.,Mo

n

T5

:7.7.,

Th

u

L16

:11.7.,M

on

L17:

14.7.,

Th

uQ

uality

Assu

rance

(Testin

g,Form

alV

erificatio

n)

L18

:18

.7.,Mo

nW

rap-U

pL

19:

21.7.,

Th

u

Org

an

isatio

n:

Exa

m

– 1 – 2016-04-18 – Sorgaexam –

31/

36

•E

xamA

dm

ission

:

Ach

ievin

g5

0%

of

the

reg

ular

adm

ission

po

ints

into

talis

sufficie

nt

for

adm

ission

toe

xam.

20

regu

larad

missio

np

oin

tso

ne

xercise

she

ets

1–6

,and

10re

gular

adm

ission

po

ints

on

she

ets

0an

d7

→12

0re

gu

larad

missio

np

oin

tsfo

r10

0%

.

•E

xamFo

rm:

•w

ritten

exam

•d

ate,tim

e,p

lace:tb

a

•p

erm

itted

exam

aids:o

ne

A4

pap

er

(max.2

1x

29

.7x

1m

m)o

fn

ote

s,max.tw

osid

es

inscrib

ed

•sco

res

from

the

exe

rcises

do

no

tco

ntrib

ute

toth

efin

algrade

.

•e

xamp

lee

xamavailab

leo

nILIA

S

On

eL

ast

Wo

rdo

nT

he

Exercises...

– 1 – 2016-04-18 – Sbadcop –

32

/3

6

qu

alityo

fsu

bm

ission

goo

d-w

illrating

Ihave

imp

rove

dm

yskills

inscie

ntific

pro

ble

mso

lving.

totally

agree◦◦◦◦◦

stron

glyd

isagree

Ihave

imp

rove

dm

yskills

inscie

ntific

pro

ble

mso

lving.

totally

agree◦◦◦◦◦

stron

glyd

isagree

•E

very

exe

rcisetask

isa

tiny

littlescie

ntific

wo

rk!

•B

asicru

lefo

rh

ighq

uality

sub

missio

ns:

•re

ph

raseth

etask

inyo

ur

ow

nw

ord

s,

•state

you

rso

lutio

n,

•co

nvin

ceyo

ur

tuto

ro

f(at

be

st:pro

ve)the

corre

ctne

sso

fyo

ur

solu

tion

.

Tell

Th

emW

ha

tYo

u’ve

To

ldT

hem

...

– 1 – 2016-04-18 – Sttwytt –

33

/3

6

•B

asicvo

cabu

lary:

•so

ftware

,en

gine

erin

g,softw

aree

ngin

ee

ring,

•cu

stom

er,d

eve

lop

er,u

ser,

•su

ccessfu

lsoftw

ared

eve

lop

me

nt

→n

ote

:inm

any

cases,d

efin

ition

sare

ne

ithe

rfo

rmaln

or

un

iversally

agree

d

•(Fu

n)

fact:softw

ared

eve

lop

me

nt

isn

ot

always

succe

ssful

•B

asicactivitie

so

fso

ftware

en

gin

ee

ring

:

•gath

er

req

uire

me

nts,

•d

esign

,

•im

ple

me

ntatio

n,

•q

uality

assuran

ce,

•p

roje

ctm

anage

me

nt

→m

otivate

sco

nte

nt

of

the

cou

rse

•Fo

rmal(vs.in

form

al)m

eth

od

s

•avo

idm

isun

de

rstand

ings,

•e

nab

leo

bje

ctive,to

ol-b

ased

assessm

en

t

→n

ote

:hu

man

sare

atth

eh

eart

of

softw

aree

ngin

ee

ring.

•C

ou

rseco

nte

nt

and

org

anisatio

n

An

y(M

ore)

Qu

estion

s?

– 1 – 2016-04-18 – main –

34

/3

6

Page 7: Lecture 1: Introduction Vocabulary€¦ · Lecture 1: Introduction 2016-04-18 Prof.Dr.AndreasPodelski, Dr.BerndWestphal Albert-Ludwigs-UniversitätFreiburg, Germany Content –1–2016-04-18

Referen

ces

– 1 – 2016-04-18 – main –

35

/3

6

Referen

ces

– 1 – 2016-04-18 – main –

36

/3

6

Bau

er,F.L

.(197

1).S

oftw

aree

ngin

ee

ring.

InIFIP

Co

ngress

(1),page

s5

30

–5

38

.

Bu

sche

rmö

hle

,R.,E

ekh

off,H

.,and

Josko

,B.(2

00

6).

succe

ss–

Erfo

lgs-u

nd

Misse

rfolgsfakto

ren

be

ide

rD

urch

füh

run

gvo

nH

ard-

un

dS

oftw

aree

ntw

icklun

gspro

jekte

nin

De

utsch

land

.Te

chn

icalRe

po

rtV

SE

K/

55

/D

.

IEE

E(19

90

).IE

EE

Sta

nd

ard

Glo

ssary

of

So

ftwa

reE

ngin

eering

Termin

olo

gy.S

td6

10.12

-199

0.

ISO

/IE

CF

DIS

(20

00

).In

form

atio

ntech

no

logy

–S

oftw

are

pro

duct

qua

lity–

Pa

rt1:Q

uality

mo

del.

912

6-1:2

00

0(E

).

ISO

/IE

C/

IEE

E(2

010

).S

ystems

an

dso

ftwa

reen

gineerin

g–

Vo

cab

ulary.

24

765

:20

10(E

).

Lud

ew

ig,J.and

Lich

ter,H

.(20

13).

So

ftwa

reE

ngin

eering.

dp

un

kt.verlag,3

.ed

ition

.

Parn

as,D.L

.(20

11).S

oftw

aree

ngin

ee

ring:M

ulti-p

erso

nd

eve

lop

me

nt

of

mu

lti-versio

np

rogram

s.In

Jon

es,C

.B.

et

al.,ed

itors,D

epen

da

ble

an

dH

istoric

Co

mp

uting,vo

lum

e6

87

5o

fLN

CS

,page

s4

13–

42

7.Sp

ringe

r.