5.1.     185

(,  ), ,     -
 .    ,       -
  .     , ,  ,
   .    ,  , -
      ,     
   ,     -
.     ,    -
,        .

       -
 .     "-", -
    4. ""    
"",      .   
 .   (   )  
(  )    , 
      .

5.1.    

,         ,   .
     .   , -
       .    -
 . ,      ,   -
 ,     .    , -
     ,    
.  ,  ,   -
 ,         
,   ,    (postcondition), -
. ,    (precondition),   -
        . 
      .   
     ,  
      . UML-
       . 5.1.

     ,    -
 "" ,   .    
         .

5.1.1.   


       
            -
: - (), - (), - ()  -
().         -
     . UML-   
      . 5.2.