-

Java

() Verification

: (, ) ()

Polya

(outlining, , flowcharts)

; ;

(1/4) ; / ; ;

; ;

(;)

(2/4) ; ; ; , ;

; , .

(3/4) ;

(.. )

(4/4) ; .

; ; ;

(1/2) . : (

) ( ). (0 .) (1 ) (

)

(2/2) , , / ( , , ). () --

(

) .

() ().

, . .

, .. . , , ( /).

(Machine Language) (Binary Coded)

Assembly (mnemonics). ..

=+, C++Assembly Machine CodeLDA 9C2, A 00100110ADD A,9C# 00011010STO A,9C4 10000101

English-like (Compiler/interpreter) C, C++, Java, Pascal, Fortran, VB, COBOL, Ada .

()

(Java)

(1/2) (Compilation or Syntax

Errors) compiler

(Linker Errors) (header files)

(2/2) E (Execution or Runtime Errors) ( 0, ) /, ,

,

(Logic Errors)

Java : , - T /

( )

.

, , /, .

, , /, .

/ .

/ /;

, ,

/ bytes. byte 8 (bits) 2 .

/ () bytes, .

( byte) /.

, , .

, .. 3, . , .

( ).

, ..:

s, : s=1+2+3++n;

s = 0;s = s + 1 s = n;s = s + 2 s = s * (n+1); s = s / 2;s = s + n

=

+=n

i

nni1 2

)1(

/ (http://www.it.teithe.gr/~adamidis/Prog_I.html) Polya (1/4) (2/4) (3/4) (4/4) (1/2) (2/2) () (Java) (1/2) (2/2) Java :