Naredna: Specifikacija Gore: Verifikacija programa Prethodna: Prevođenje u C program   Sadržaj

Celobrojno deljenje

Zadatak: Napisati program koji izračunava rezultat celobrojnog deljenja nenegativnog celog broja x sa pozitivnim celim brojem y i smešta ga u promenljivu q a ostatak koji se pri tome dobija smešta u promenljivu r.

• Specifikacija
• Pseudokod programa
• Testiranje programa
• Invarijanta petlje
• Dokaz parcijalne korektnosti programa
• Dokaz zaustavljanja programa
• Prevođenje u C program

Naredna: Specifikacija Gore: Verifikacija programa Prethodna: Prevođenje u C program   Sadržaj