•
Rig o ro us De sig n me nja d i b a sis d a la m me ra wa t inte g rita s d a la m
p e ng e mb a ng a n p e ra ng ka t luna k
Pe m ro g ra m a n Te rstuktur d a n Pe ra nc a ng a n ya ng b a ik
•
Pe mro g ra ma n Te rstruktur d itulis untuk o ra ng la in ya ng me mb a c a d a n untuk d ime ng e rti.
•
Pe ra nc a ng a n ya ng b a ik b e ra rti p e ne mua n so lusi ya ng b a ik p a d a se b ua h p e rma sa la ha n ya ng se ring te rd e finisika n
•
La ng ka h-la ng ka h ya ng d ila kuka n 1.
De finisika n sua tu p e rma sa la h ya ng b e na r 2.
Te muka n so lusi ya ng b a ik
•
Sua tu p e mo g ra ma n te rstruktur tid a k me nja min p e ra nc a ng a n ya ng b a ik, me la inka n ha nya me mb e rika n sua tu ke mung kina n te rha d a p
p e ra nc a na n ya ng b a ik
•
Sua tu p e ra c a ng a n ya ng b a ik d id a sa rka n a ta s d a la mnya ke se d e rha na a n p a d a sua tu tug a s lo g ika ya ng ko mp le ks
1.2.4
Pe rb e d a a n a nta ra Pe nd e ta ila n d a n Pe ra nc a ng a n
•
Sua tu p ro g ra m ko mp ute r tid a k me mb utuhka n ra nc a ng a n, te ta p i “ c o d e ” , d ima na a p a b ila ko d e b e na r ma ka ko mp ute r a ka n me ng ha silka n
se sua tu ya ng b e na r
•
Te rd a p a t sa tu ke suka ra n d e ng a n p e rnya ta a n d i a ta s; wa la up un lo g ika ya ng d ib e rika n “ b e na r” te ta p i musta hil se se o ra ng d a p a t me mb a ng un
sua tu p ro g ra m ya ng ko mp le ks d a n b e sa r ta mp a te rja d i sua tu b e ntuk ma sa la h
•
Pa d a ke nya ta a nnya istila h p e ra nc a ng a n d ig una ka n d a la m p e mo g ra ma n, te ta p i istila h p e nd e ta ila n a d a la h le b ih c o c o k
•
Pe ra nc a ng a n me ng ha silka n De ta il-d e ta il, te ta p i p e nd e ta ila n tid a k me ng ha silka n ra nc a ng a n
1.2.5 Va lid a si Pe ra nc a ng a n d e ng a n Pe ng e m b a ng a n To p - Do wn
•
Ya ng p e nting d a ri p e ng e mb a ng a n To p -Do wn p a d a so ftwa re ya ng b e sa r a d a la h b e ra sa l d a ri p e ng a la ma n p a hit d ima na p e ng e mb a ng a n
To p -Do wn d i-ikuti o le h p e ng e mb a ng a n Bo tto m-Up
•
Pa d a Pe ng e mb a g a n Bo tto m-Up d ima na “ Lo w Le ve l c o d e ” d itulis te rle b ih d a hulu d a la m p e ng inte g ra sia n d ila kuka n ke mud ia n.
•
Ra nc a ng a n ya ng kura ng b a ik a ka n te rliha t p a d a sa a t d ila kukka nnya p e ng inte g ra sia n
•
Se b a liknya , p a d a p e ng e mb a ng a n To p -Do wn, p ro g ra m-p ro g ra m ko ntro l ya ng me ng inte g ra sika n se c a ra fung sio na l d a ri ko d e , d itulis d a n d i
te st te rle b ih d a hulu, d a n func tio na l c o d e d ita mb a hka n d e ng a n b e rg e ra k ma ju.
•
Pa d a Siste m So ftwa re , p e ng e mb a ng a n To p -Do wn d imula i d e ng a n ra nc a ng a n se c a ra lo g ika untuk me nye la ra ska n ko o p e ra si d a ri b e b e ra p a
p ro g ra m me la lui a kse s te rha d a p b e b e ra p a himp una n “ sha re d d a ta ”
•
Pe rma sa la ha n ya ng ya ng a d a p a d a p e mng e mb a ng a n To p -Do wn a d a la h tid a k ha nya b a g a ima na b e ntuk a khir d a ri siste m , te ta p i jug a
b a g a ima na b e ntuk d a ri siste m se la ma p e ng e mb a ng a n
1.2.6 Da sa r d a ri “So ftwa re Re lia b lility” a d a la h p a d a p e ra nc a ng a n b uka n
p a d a uji c o b a
•
De ng a n te sting tid a k mung kin so fttwa re d a p a t d ib ua t re lia b le
•
Ra nc a ng a n d a p a t 1.
me ng ura ng i ukura n d a ri siste m 2.
me ng ura ng i inte rko ne ksi 3.
me ng ura ng i ko mp le ksita s sp e sifika si p ro g ra m
•
Se o ra ng p e ra nc a ng me miliki ke se mp a ta n untuk me ng g una ka n ra nc a ng a n To p -Do wn d a n d isip lin p e ng e mb a ng a n p e mo g ra ma n
te rstruktur, untuk te ta p me mp e rlua s ra nc a ng a n d ib a wa h p e ng a wa sa n p e ng e ta hua n ya ng b a ik untuk me ne muka n ke se d e rha na a n ya ng
te rd a la m ya ng mung kin munc ul p a d a se tia p le ve l, la ng ka h d e mi la ng ka h
BA B II ELEMEN- ELEMEN EKSPRESI LO G IKA
1. O ve rvie w
•
Pe mo g ra ma n a d a la h sua tu b e ntuk khusus d a ri kre a tifita s p e ra nc a ng a n
•
Pa d a a wa lnya p ro g ra m d ib ua t ha nya untuk d ime ng e rti o le h me sin, p a nd a ng a n te rse b ut sa a t ini b e rub a h, b a hwa sua tu p ro g ra m d ib ua t
a d a la h jug a untuk d ime ng e rti o le h ma nusia
•
Da sa r d a la m me mb e ntuk sua tu b e ntuk p e mo g ra ma n ya ng b a ik me nc a kup e le me n ya itu Eng lish Ba ha sa , ma te ma tika , b e ntuk-b e ntuk
e ksp re si lo g ika
2.
Ba ha sa ya ng b a ik
•
Be ntuk b a ha sa ya ng b a ik d a la m me nd e srip sika n sua tu p e mo g ra ma n a d a la h d e ng a n me mb e ntuk b a ha sa ya ng te rstruktur
•
Pse ud o c o d e a d a la h sa la h sa tu b e ntuk b a ha sa ya ng te rstruktur Eng lish Struc ture
3. Fo rm a l Lo g ic
3.1 Lo g ic a l Pro p o sitio ns
