1 ( 3 Intro, motivation, overview, admin Intro, motivation, - - PowerPoint PPT Presentation

Intro, motivation, overview, admin

CISC836, Winter 2017 1

• !!

"#$%

#& '(

• ()

A B C D *+

• ,
• )!

.! ! "!#$%&& %&

$ $$'

2

Intro, motivation, overview, admin

CISC836, Winter 2017 3

/

( )'$!* ( '+&, ( - *').!/.!0&' !1234

(

Intro, motivation, overview, admin

CISC836, Winter 2017 4

01

• 2 5&,
• 2

1 3

(

Intro, motivation, overview, admin

CISC836, Winter 2017 5

!+

( !)..

° * ° &, ° ' ° .

( 6.) ( ! ( !, ( ( . ( 7

• (!-89
• 49
• 5"##67 !!9
• 89 !!9
• (' !!
• ,!%%8 !!
• 8:6!;8 !!
• /!2: !!
• 8)4 !!
• *!5<$67

( !!:;$!* ( *<<''';,..6; <'=$>?@6/%

• A:
• : !!
• 8 !!
• 0'

(

• ?;0AA4;: !!

( A:

° !! ° B*& C

( A !! ( D04: !! ( E04: !! ( '8 !!

• ( F))04: !!

( F))0488 !! ( E.!.04: !!

• '=>!?: !!
• 9:3

, >/? 9+13 9+/'

• [McCandless, www.informationisbeautiful.net/visualizations/million-lines-of-code]

!"#$ %& "'($ 6

Intro, motivation, overview, admin

CISC836, Winter 2017

!-

( *)G.) **&$6!$!. ( ;&;>HG>,>I>8)!&>.2>JKB

( )6!)

)+!

( L$&!&8;6!!0A4*6!$!.

)

• ( ϕ

) 6!04; ϕ

0@ +1

• 9:3

9+@

7

Intro, motivation, overview, admin

CISC836, Winter 2017

Intro, motivation, overview, admin

CISC836, Winter 2017 8

8!

( +

° A9%22:"! F6@,*6.&+6!@.+8 "M.6.&+A!*, 7 ° ) ° !')?)!.0;4 ° 5&?*N)!.

9+ 5B7

[US National Inst.

• f Standards &

Technology]

O6!!

[ZDNet12] http://www.zdnet.com/article/worldwide-cost-of-it-failure-revisited-3-trillion/

O6!!

[ZDNet12]

:08P4)8?*N!!

[BCS08] McManus, Wood-Harper. A study in project failure. British Computer Society CS. 2008 [BCS08]

Intro, motivation, overview, admin

CISC836, Winter 2017 9

8!

( + (

° ?:7 ° -. +CCD4D! ° $;!)&Q!! *..&;E&@-' R@AA;

9+ 5B7

Intro, motivation, overview, admin

CISC836, Winter 2017 10

A9A((65 $EE7

FL.8AA. 2:!.6,%2 G*!8)!)#)) F)$!* &O6!!! S@&$!.O: !!, ''&=

( .)) 28 ( ).!#! ( &*

Intro, motivation, overview, admin

CISC836, Winter 2017 11

A9A((65 $EE75B7

%G *!)'.

( )!&!, 04 @) 28 ( 5I!$!, .&)2: ( *$*. ( F#6 *.0F4*)!& ( 7 ( 9.!)#.

%G *!)'$).!#!

( 6@.*!.6@.*!)!

%G *!)'

( .G*'+$,

S)

( J!AKDDDCFCCD

Intro, motivation, overview, admin

CISC836, Winter 2017 12

A9G((') 5$EEE7

*& '@%&! . . $) %&! )& ): !*6 * 6:@ 08 !46$" O"! S)

( CCD;DD!CEC )C

Intro, motivation, overview, admin

CISC836, Winter 2017 13

A9G((-8

• 9. 68AA

2)',)!&"N. $@6& &! .&+

• ) +

'!'*,@! ./.6,&*,@ S)

http://research.microsoft.com/en-us/um/ people/mbj/mars_pathfinder/ Authoritative_Account.html

Intro, motivation, overview, admin

CISC836, Winter 2017 14

A94+

Intro, motivation, overview, admin

CISC836, Winter 2017 15

A9,4,!

:"!!**!'<!, 6!@.-2 , .S! , 0T9)4

<snip> <snip>

• 9+

( 9 !U !C *.I ( ").C*6! ( 9#!U & 6.., ( ";2;1,)'& '!3;L2.&;

!+!

16

Intro, motivation, overview, admin

CISC836, Winter 2017

A9 (

• Intro, motivation, overview, admin

CISC836, Winter 2017 17

(

Intro, motivation, overview, admin

CISC836, Winter 2017

!!9F % :6. !C)' # AP)$ # 8P) )

• ),

., " ).!, " & 7

18

>A9?>G-?

• !"#$ %"&'
• (

) ) *++$ (

• "%F",

":

!,, ; ) ),- L.,:

Intro, motivation, overview, admin

CISC836, Winter 2017 19

A9(

20

Intro, motivation, overview, admin

CISC836, Winter 2017

Intro, motivation, overview, admin

CISC836, Winter 2017 21

A9++

$

( SG, !!!)

5!

( 590D%D!4

° )G& & & )!!)

%&,

( 1 #&3*N

?* .) "!, .

804!(A

S6!!&"2%+:*:

Intro, motivation, overview, admin

CISC836, Winter 2017 22

,(GA9

Intro, motivation, overview, admin

CISC836, Winter 2017 23

(*)-1

*!G,*6! !$&&,J?AK

Problem Solution

benefit++; complexity++

Intro, motivation, overview, admin

CISC836, Winter 2017

J?AKL;2;?; *!G,*6! !$&.6!;S;IF;&.L; "I#2!&'%!2**!)%!&!% ;!AA;

24

*!+

./ 01 2 3

..*)'$!* ))..; *.:04

4%'

• @F6 ",AA

Intro, motivation, overview, admin

CISC836, Winter 2017 25

!

26

) H @ H 9+ H

• 1

8 1

2:G*! L.8AA

Intro, motivation, overview, admin

CISC836, Winter 2017

Intro, motivation, overview, admin

CISC836, Winter 2017 27

001

* *!G,

( 6 ( . ( !, ( * ( .

key ingredients to MDE (and engineering in general)

!!9F % :6. !C)' # AP)$ # 8P) )

• ),

., " ).!, " & 7

GG

"!&*! 26,) *.&

28

Intro, motivation, overview, admin

CISC836, Winter 2017

"!&!G*%&

!

G

&*&G&* 01@'%&&34

A!!

.!&)'**01'%&&34

A

&' !!,'.!6 *6!

29

Intro, motivation, overview, admin

CISC836, Winter 2017 30

!5B7

)'%&&!!!&',&7

; 6.!0 !4 ! ; !,I !&.!, ; ) ! 8; 6.!) :; !!& ; 0) !4 !& ; 6.!) ; 0) !4. 8; !)&

A!! A!!

• ( E,&.

( 1)#!3 ( I( "!&C!,

( "!,) !

( 16@#!3 ( I( ?&0)B:P) !$!* ))4

• Intro, motivation, overview, admin

CISC836, Winter 2017

()& 2+ !

#*& #*

?.&M.$-. VA8

*!&#!$!!&.&

5**@.VA:

!!&.&.

& @,VA:

? &

",A:

E.!" ,

& AQ!6.!A&A

) &$ .!I *.!)

5!VA

31

) 1)!.! *.3

Intro, motivation, overview, admin

CISC836, Winter 2017 32

####8

• .!

!, #* . * '!!#. 1' )*3 1' )N,3

Intro, motivation, overview, admin

CISC836, Winter 2017

Intro, motivation, overview, admin

33

()&2+!

“The system shall do this, that, and the other thing”

• *

?, F !!,

[B. Selic]

CISC836, Winter 2017

7, WL$E XX2 ".!# !!!@#

• !&9<

296! 92!&!

• 2 6!

"

• 34

()&2+!5B7

()

( . &#!$! * *& &!&.& ( %G *!

° $6!6,* ° 6,*064 ° ).*.0*.!64 ° 6N ° *!@

(

( . !!, *!&#!$!* G.6!

6.' @'@*

26 2.

Intro, motivation, overview, admin

CISC836, Winter 2017

0+>!!+:? 5+JJKJ$7

Intro, motivation, overview, admin

CISC836, Winter 2017 35

Intro, motivation, overview, admin

CISC836, Winter 2017 36

G0(4!() >,-!!/!!?

%;&;

scratch.mit.edu projectfortress.sun.com golang.org

) & 6.!+'**)'' + G'!!7

37

Intro, motivation, overview, admin

CISC836, Winter 2017

!

"!& ) 6.A

; ) #$''& ; "*) '& !6.#*))

38

Intro, motivation, overview, admin

CISC836, Winter 2017

!5B7

A95$E%L "##7

( B'& ( !&.&.&6 *!, ( '@6.G$6.&

39

Intro, motivation, overview, admin

CISC836, Winter 2017

!5B7

• "!& ) 6.A2<2"

; '&'< *.024 ; '& *.. !!,&*& $ !!&- 02"4 .6!,*6!*.$, (C(@! 2 2"

• 40

Intro, motivation, overview, admin

CISC836, Winter 2017

41

:57

++)+ 9+)+

&!$!))

( .&.) !

!$&&

( ;&;$&) !

*$&+ *6!

( ;&;.&G.6! !

K()J(J(+

Intro, motivation, overview, admin

CISC836, Winter 2017

• M$
• $
• )

) !,I

• )
• M"

"

) !,I ) ) ) ) ) )

M

• !,I

) &

D D D D D D

) )

S.*6! .6,* . %! !. *G *. "!&.!!, $!$, !&Y

Intro, motivation, overview, admin

CISC836, Winter 2017 42

Intro, motivation, overview, admin

CISC836, Winter 2017 43

( @,*!6)!!&)! &! ( ):0"4*.!

)

( *)) %&; ( /.) ) !&!&.&)+ ) ) ! ( G *!0"9"9#S?4.!0*,.DGD4

(!

( )' !& ( + $!$&.)!, ) ) !))'

• !

( 9. ( F!0B:,4'0H:,4 ( ?,*

9'. IC/.** *$,. .@!!

Intro, motivation, overview, admin

CISC836, Winter 2017 44

J&.%G!!;Z.+$,;:K

Intro, motivation, overview, admin

CISC836, Winter 2017 45

• $/547

( )' ,&).**! !** ( !'!!6 $!6! ( & "9#S?*,.#S?

• "M&5N47

( 6.)&'@064!!) ( %.

° * !!. 6)**0 4 ° $' !!. 6)**

( 6..*!)'@!)**

DDDCF!CO0$%

!)**,.+!@*6,) L.,

Intro, motivation, overview, admin

CISC836, Winter 2017 46

5B7

• $/
• "M&

( "G)!!1 !3**'**

• -;

( &.*)#. ( '!!*$.&& ( !$6!

° *N**!0."4 ° *0'@)2*!#4 ° )!*02*!4

Intro, motivation, overview, admin

CISC836, Winter 2017 47

A

(! #P

6P

"6P

$#P

• ;

#P

Intro, motivation, overview, admin

CISC836, Winter 2017 48

• $D 01

° )@,*G *!

"D !!

° F6$G *!*.*"

D /!!

° "9"9#S?

ND Q/:M-+:M

° 2&

6D !!5/7

° %!*"!& '@0%"4 ° 26C,G !& ° ?!DG9&.&D ° 2&

Intro, motivation, overview, admin

CISC836, Winter 2017 49

A9,4!

• !!

( 6N#

Intro, motivation, overview, admin

CISC836, Winter 2017 50

• /

( !!6*

M)

( .DDDCF!CO0$%

( !!! ( 6.*.6!+) Z.+.

Intro, motivation, overview, admin

CISC836, Winter 2017 51

0! 3

. ,.*'

Intro, motivation, overview, admin

CISC836, Winter 2017 52

(4!

!)

( Q80L;5!))";',4 ( ?;S.,0?'4 ( L;2!0!4 ( %;0Z.+4 ( ;Q.&04 ( L;I$0-4