[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 |