Russian translation: строгий

12:34 Dec 27, 2016
English to Russian translations [PRO]
Tech/Engineering - Computers: Software / validation and verificati
English term or phrase: rigorous
Добрый день!
Помогите, пожалуйста, перевести rigorous в следующем контексте:

Formal analysis uses rigorous mathematical proof techniques to analyze the algorithms or properties of the software. It can provide a strong conclusion regarding certain properties of an approach, but it is limited by the dif culty of its application and the general scarcity of automated support. Formal techniques generally require both a formal speci cation and a formal implementation. For example, the correctness of a natural, English-language requirement could not be proven. Certain assertions could be drawn from the requirement though, and proved to satisfy a set of conditions, thereby increasing the con dence that could be placed in the requirements for those conditions. Formal analysis is frequently used to verify sections of a speci cation that handle security requirements.

Заранее спасибо!
Den Wankmüller
Russian Federation
Russian translation:строгий
методы строгого математического доказательства
Selected response from:

Russian Federation
Local time: 11:41
Grading comment
Selected automatically based on peer agreement.
4 KudoZ points were awarded for this answer

Summary of answers provided
4 +6строгий



6 mins   confidence: Answerer confidence 4/5Answerer confidence 4/5 peer agreement (net): +6

методы строгого математического доказательства

Russian Federation
Local time: 11:41
Specializes in field
Native speaker of: Russian
PRO pts in category: 532
Grading comment
Selected automatically based on peer agreement.
Notes to answerer
Asker: Спасибо!

Peer comments on this answer (and responses from the answerer)
agree  Natalie
2 hrs
  -> Спасибо!

agree  Oleg Nenashev
3 hrs
  -> Спасибо!

agree  Erzsébet Czopyk
4 hrs
  -> Спасибо!

agree  Mikhail Kropotov
6 hrs
  -> Спасибо!

agree  Alexandra Telegina
13 hrs
  -> Спасибо!

agree  FreEditor
15 hrs
  -> Спасибо!
Login to enter a peer comment (or grade)

Login or register (free and only takes a few minutes) to participate in this question.

You will also have access to many other tools and opportunities designed for those who have language-related jobs (or are passionate about them). Participation is free and the site has a strict confidentiality policy.

KudoZ™ translation help

The KudoZ network provides a framework for translators and others to assist each other with translations or explanations of terms and short phrases.

See also:

Your current localization setting


Select a language

Term search
  • All of ProZ.com
  • Term search
  • Jobs
  • Forums
  • Multiple search