Index P

[SYMBOL] [A] [B] [C] [D] [E] [F] [G] [H] [I] [J] [L] [M] [N] [O] [P] [Q] [R] [S] [T] [U] [V]

parameter: actual
       parameter:formal  
PIM   2nd  
Platform Independent Model  
platform independent model  
Platform Specific Model  
portability  
postcondition   2nd   3rd   4th   5th  
       in use case   2nd  
postcondition:checking
       checking postconditions  
postcondition:inheritance of
       inheritance:postcondition, of  
pre keyword
       @pre  
precondition   2nd   3rd   4th  
       in use case  
precondition time value  
precondition:checking
       checking preconditions  
precondition:inheritance of
       inheritance:precondition, of  
prepend  
previous values in postconditions  
productivity  
profiles  
PSM   2nd  
PSM language  
PSM-to-code transformation