rigorous

Russian translation: строгий

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.

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:строгий
Explanation:
методы строгого математического доказательства
Selected response from:

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



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


  

Answers


6 mins   confidence: Answerer confidence 4/5Answerer confidence 4/5 peer agreement (net): +6
строгий


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

sas_proz
Russian Federation
Local time: 08:10
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)



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

English

Select a language

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