רוסית ⇄ אנגלית

спецификация инвариантов מתח
.תִכנו	specification of invariants (см. Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools by Jack Greenfield, Keith Short, Steve Cook, Stuart Kent, John Crupi 2004 ssn)