1[1] описывает четыре уровня контрактов: 1. синтаксический контракт (система типов); 2. поведенческий контракт (инварианты, предусловия и постусловия); 3. контракты синхронизации; 4. контракты качества услуг

Hosted by uCoz