Progr. |
если мы достигнем этой цели, то разработка отдельных модулей может осуществляться различными людьми независимо друг от друга, без необходимости общения друг с другом, при этом все эти объединённые вместе модули будут функционировать правильно (см. "Abstraction and Specification in Program Development" by Barbara Liskov & John Guttag 1986 ssn) |