Russian | English |
ещё совсем недавно | in the not-so-distant past (ssn) |
ещё совсем недавно большинство разработчиков рассматривали термин формальная верификация как синоним проверки на эквивалентность | in the not-so-distant past, the term formal verification was considered synonymous with equivalency checking for the majority of design engineers (см. 'The Design Warrior's Guide to FPGAs' by Clive "Max" Maxfield 2004) |
к сожалению, структуры зависимостей только сверху вниз не совсем реалистичны. В действительности будут существовать зависимости снизу вверх, но они могут быть сделаны относительно безопасными квалифицированным проектированием и программированием. Желательный результат таков, чтобы более высокие уровни зависели от более низких уровней, в то время как более низкие уровни всё ещё могли бы связываться с более высокими уровнями, но без создания неуместных неуправляемых зависимостей | Unfortunately, the top-down only dependency structure is not quite realistic. In reality, the bottom-up dependencies will exist, but they can be made relatively harmless by skilful design and programming. A desired outcome is that higher layers depend on lower layers while lower layers can still communicate with higher layers without exerting undue unmanageable dependencies (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering) |
не совсем ясный | challenging (ssn) |
проект приложения не совсем ясен | design is challenging (ssn) |
проект приложения сложен, не совсем ясен или и то и другое | design is complex, challenging, or both (ssn) |
совсем другой вопрос | another issue altogether (ssn) |
совсем иной мощный инструментарий, используемый для управления технической разработкой крупных программных проектов | distinct and powerful tool for managing the technical development of large software projects (ssn) |