We try to satisfy a customer by sho

We try to satisfy a customer by showing - trying to prove - that the machine specification together with properties of the problem domain satisfy the requirement.
Machine Specification+ Domain properties ⇒ Requirement
The specification needs to take advantage of domain characteristics to satisfy the requirement. For example, in the Lights Control problem, the specification gives Rpulse and Gpulse commands; the indicative properties of the lamp - that Gpulse and Rpulse cause the lights to show Stop and Go - are needed to satisfy the requirement.

Результаты (русский) 1:

Мы стараемся удовлетворить клиента, показывая, - пытается доказать, - что спецификации машины вместе с свойствами проблемы домена удовлетворяют требования. Машина Спецификация + домена свойства ⇒ требованияСпецификация должна воспользоваться преимуществами характеристик домена для удовлетворения требования. Например индикаторы управления проблемы, спецификация дает команды Rpulse и Gpulse; Ориентировочные свойства лампы - Gpulse и Rpulse вызывают огни, чтобы показать Stop и Go - необходимы для удовлетворения требования.

Результаты (русский) 2:

Мы стараемся , чтобы удовлетворить клиента, показывая , - пытается доказать - что спецификация машина вместе со свойствами предметной области удовлетворяют требованию.
Спецификация машины + Доменные свойства ⇒ Требования
Спецификация должна воспользоваться характеристиками домена , чтобы удовлетворить требование. Например, в задаче управления огни, спецификация дает команды Rpulse и Gpulse; индикативные свойства лампы - что Gpulse и Rpulse вызывают огни , чтобы показать Stop и Go - необходимы для удовлетворения требования.

Результаты (русский) 3:

мы стараемся удовлетворить клиента, показав, - пытается доказать, что спецификации устройства вместе с свойств предметной области удовлетворить требование.спецификации устройства + доменное свойства ⇒ требованиеспецификации, нужно воспользоваться характеристик домена, чтобы удовлетворить требование.например, в свет проблема контроля, спецификации, дает rpulse и gpulse команды; примерного свойства огня - это gpulse и rpulse, потому что свет, чтобы показать пробки - необходимы для удовлетворения потребностей.