Russian | English |
Нашей целью при декомпозиции программы является создание модулей, которые в свою очередь представляют собой небольшие программы, взаимодействующие друг с другом по хорошо определённым и простым правилам | our goal in decomposing a program is to create modules that are themselves small programs that interact with one another in simple, well-defined ways (см. "Abstraction and Specification in Program Development" by Barbara Liskov & John Guttag 1986) |
небольшие преимущества по сравнению с простым хранением информации в массиве | little benefit over simply keeping the information in an array (ssn) |
небольшие программы, взаимодействующие друг с другом по хорошо определённым и простым правилам | small programs that interact with one another in simple, well-defined ways (ssn) |
обзор предложений по разработке простых программ | review of suggestions for developing simple programs (ssn) |
предложения по разработке простых программ | suggestions for developing simple programs (ssn) |
простая аутентификация по паролю | simple password authentication (ssn) |
Простой и эффективный способ, позволяющий верифицировать свойства с ограничениями по времени, состоит в том, чтобы внести эти ограничения в темпоральные операторы CTL | A simple and effective way to allow the verification of time bounded properties is to introduce bounds in the CTL temporal operators (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |