Sta znaci na Engleskom ФОРМАЛНЕ МЕТОДЕ - prevod na Енглеском

• formal methods
• formal techniques

Примери коришћења Формалне методе на Српском и њихови преводи на Енглески

Формалне методе могу се применити на различитим тачкама у развојном процесу.
Formal methods can be applied at various points through the development process.

Овај предмет разматра напредне теме у дизајну програмског језика са нагласком на формалне методе и апстракцијске механизме.
This course considers advanced topics in programming language design with emphasis on formal methods and abstraction mechanisms.

Формалне методе, за разлику од тога, могу користити моделе података да провере све софтверске стазе.
Formal methods, by contrast, can use data models to verify all software running paths.

Као алтернатива, предложене су различите лагане формалне методе, које наглашавају делимичну спецификацију и фокусирану апликацију.
As an alternative, various lightweight formal methods, which emphasize partial specification and focused application, have been proposed.

Формалне методе се могу користити да дају опис системима да се развијају, на било којем нивоу жељеног детаља.
Formal methods may be used to give a description of the system to be developed, at whatever level(s) of detail desired.

Слично томе, IBM је користио формалне методе у верификацији моћи капије, регистри, и функционална верификација IBM Power7 микропроцесора.
Similarly, IBM has used formal methods in the verification of power gates, registers, and functional verification of the IBM Power7 microprocessor.

Формалне методе се највероватније примењују за безбедност критичног софтвера и система, као што је авионика софтвера.
Formal methods are most likely to be applied to safety-critical or security-critical software and systems, such as avionics software.

Стандардна безбедност софтвера, као што је DO-178B, DO-178C, и опште критеријумима захтевају формалне методе у највишим нивоима категоризације.
Software safety assurance standards, such as DO-178B, DO-178C, and Common Criteria demand formal methods at the highest levels of categorization.

Формалне методе су математички приступи решавању софтверских( и хардвера) проблема у захтевима, ниво спецификација и дизајна.
Formal methods are mathematical approaches to solving software(and hardware) problems at the requirements, specification, and design levels.

Дизајн микро-канала Хармони ОС користи формалне методе верификације да преобликује сигурност и поузданост из темеља у окружењу поузданог извршења( ТЕЕ).
Harmony OS's microkernel design uses formal verification methods to reshape security and trustworthiness from the ground up in a Trusted Execution Environment(TEE).

Формалне методе су математички приступи решавању софтверских( и хардвера) проблема у захтевима, ниво спецификација и дизајна.
Formal methods are mathematical approaches to fixing software program(and hardware) problems at the requirements, specification, and design levels.

Посебно софтверском инжењерству и хардверском инжењерству, формалне методе су посебна врста математички заснованих техника за спецификацију, развој и верификацију софтвера и хардвера система.
Formal methods are a particular kind of mathematically based technique for the specification, development and verification of software and hardware systems.

Формалне методе су математички приступи решавању софтверских( и хардвера) проблема у захтевима, ниво спецификација и дизајна.
Formal techniques are mathematical approaches to solving software(and hardware) issues at the requirements, specification, and design and style levels.

Стандардна безбедност софтвера, као што је DO-178B, DO-178C, и опште критеријумима захтевају формалне методе у највишим нивоима категоризације.
Software safety assurance standards, such as DO-178C allows the usage of formal methods through supplementation, and Common Criteria mandats formal methods at the highest levels of categorization.

Формалне методе су математички приступи решавању софтверских( и хардвера) проблема у захтевима, ниво спецификација и дизајна.
Formal techniques are mathematical approaches to solving software program(and hardware) issues at the specifications, specification, and design levels.

У рачунарству, посебно софтверском инжењерству и хардверском инжењерству, формалне методе су посебна врста математички заснованих техника за спецификацију, развој и верификацију софтвера и хардвера система.
In computer science, specifically software engineering and hardware engineering, formal methods are a particular kind of mathematically based technique for the specification, development and verification of software and hardware systems.

Dansk Datamatik Center користи формалне методе у 1980 да развије преводилац систем за Ада програмски језик који је отишао да постане дуговечни комерцијални производ.[ 12][ 13].
Dansk Datamatik Center used formal methods in the 1980s to develop a compiler system for the Ada programming language that went on to become a long-lived commercial product.[12][13].

MALPAS Software Static Analysis Toolset је индустријски снажни модел провере који се користи за формални доказ о сигурности критичних система UPPAAL Резиме интерпретација Аутоматско доказивање теорема Дизајн по уговору Формалне методе људи Формална спецификација Формална верификација Формални систем Провера модела Софтверско инжењерство Спецификација језика R. W. Butler 6.
MALPAS Software Static Analysis Toolset is an industrial strength model checker used for formal proof of safety-critical systems UPPAAL ESBMC Abstract interpretation Automated theorem proving Design by contract Formal methods people Formal specification Formal verification Formal system Model checking Software engineering Specification language R. W. Butler(2001-08-06).

Формалне методе верификације су ефикасан математички приступ за потврђивање исправности система из извора, док су традиционални методи верификације, попут функционалне верификације и симулације напада, ограничени на ограничене сценарије.
Formal verification methods are effective mathematical approaches to verify the system from the source, while traditional verification methods- such as functional verification and attack simulation- are limited to limited scenarios.

Формалне методе верификације су ефикасан математички приступ за потврђивање исправности система из извора, док су традиционални методи верификације, попут функционалне верификације и симулације напада, ограничени на ограничене сценарије.
Formal methods are an effective mathematical approach to verifying the correctness of a system from sources, but traditional verification methods such as functional verification and attack simulation have been limited to limited scenarios.

Формалне методе верификације су ефикасан математички приступ за потврђивање исправности система из извора, док су традиционални методи верификације, попут функционалне верификације и симулације напада, ограничени на ограничене сценарије.
Formal verification methods are an effective mathematical approach to validate system correctness from the source, while traditional verification methods, such as functional verification and attack simulation,“are confined to limited scenarios.

Формалне методе, као што су„ незадовољене потребе пацијента“( ПУН) и евиденције о„ образовним потребама“( ДЕН) доктора, индивидуалне ревизије и планови личног развоја( ПДП), су све испробане методе за добијање доказа погодних за спољну ревизију.
More formal methods, such as the'patient's unmet needs'(PUNs) and a'doctor's educational needs'(DENs) logs, individual audits and personal development plans(PDPs), are all tried and tested methods of gaining evidence suitable for external review.

Формалне методе се најбоље описују као примена прилично широког спектра теоријских основа информатике, посебно логике рачунања, формалн ог језика, теорије аутомата, и програмске семантике, али такође типове система и алгебарске структуре података за проблеме у софтверској и хардверској спецификацији и верификацији.
Formal methods are best described as the application of a fairly broad variety of theoretical computer science fundamentals, in particular logic calculi, formal languages, automata theory, and program semantics, but also type systems and algebraic data types to problems in software and hardware specification and verification.

Формалне методе се најбоље описују као примена прилично широког спектра теоријских основа информатике, посебно логике рачунања, формалн ог језика, теорије аутомата, и програмске семантике, али такође типове система и алгебарске структуре података за проблеме у софтверској и хардверској спецификацији и верификацији.
Formal strategies are finest described as the appliance of a fairly broad variety of theoretical pc science fundamentals, in particular logic calculi, formal languages, automata theory, and program semantics, but in addition type techniques and algebraic knowledge varieties to issues in software program and hardware specification and verification.

Поред тога, дипломци могу да идентификују могућности и ограничења формалних метода и модела.
In addition, graduates can identify the opportunities and limits of formal methods and models.

Неки стручњаци верују да је заједница формалних метода занемарила пуну формализацију спецификације или дизајна.
Some practitioners believe that the formal methods community has overemphasized full formalization of a specification or design.

Ово је у супротности са теоријом субрекурзивне хијерархије, формалних метода и формалних језика који је уобичајен у истраживању теорије израчунљивости у рачунарству.
This contrasts with the theory of subrecursive hierarchies, formal methods and formal languages that is common in the study of computability theory in computer science.

Семестар 2: Ви ћете се упознати са програмирањем у Ц/ Ц++, различитим оперативним и база података система, као и формалних метода компјутерске науке и анализе.
Semester 2: You will be familiarized with programming in C/ C++, various operating and database systems as well as the formal methods of computer science and analysis.

Као и код семантике програмских језика, стилови формалних метода могу се грубо класификовати на следећи начин.
As with programming language semantics, styles of formal methods may be roughly classified as follows.

За секвенцијални софтвер, примери формалних метода укључују B-метод, језике који се користе у спецификацијама аутоматизованог доказивања теорема, RAISE, и Z запис.
For sequential software, examples of formal methods include the B-Method, the specification languages used in automated theorem proving, RAISE, and the Z notation.