| по этой причине я полагаю, что в будущем спецификации будут состоять как из формальных, так и из текстовых описаний | for these reasons, I think we will see future specifications to consist of both a formal definition and a prose definition (см. Frederic P. Brooks, Jr. THE MYTHICAL MAN-MONTH Essays on Software Engineering) |
