What is the translation of " FORMAL METHODS " in Hungarian?

• formális módszerek
• formális módszereket

Examples of using Formal methods in English and their translations into Hungarian

Current Formal Methods(MSc).
Aktuális Formális módszerek(MSc).

Formal methods and verification.
Formális módszerek és verifikáció.

Software Development Based on Formal Methods.
Formális módszereken alapuló rendszerfejlesztés.

Formal Methods- Segédanyagok.
Formális módszerek házi feladatok kiadása.

Understand and apply various formal methods;
Megismernek és alkalmazni tudnak különböző formális módszereket.

Apply formal methods for scheduling real-time systems.
Formális módszerek valós idejű rendszerek tervezésére.

Understand and apply various formal methods;
Ismernek és alkalmazni tudnak különböző formális módszereket és technológiákat.

Formal methods, by contrast, can use data models to verify all software running paths.
A formális módszerek ezzel szemben adatmodelleket használhatnak az összes szoftver futási útvonalának ellenőrzésére.

Research research area programming languages; formal methods; program analyses and transformations;
Kutatás kutatási terület programozási nyelvek; formális módszerek; programelemzés és -transzformáció;

In contrast, formal methods can use the data model to validate all software execution paths.
A formális módszerek ezzel szemben adatmodelleket használhatnak az összes szoftver futási útvonalának ellenőrzésére.

His research field is the model-driven development and verification of component-based reactive systems using formal methods.
Kutatási területe a komponens alapú reaktív rendszerek modellvezérelt fejlesztése és ellenőrzése formális módszerek alkalmazásával.

Formal methods usually begin with a problem statement but- fixing the problem too early tends to hide problems.
Formális módszerek általában kezdődik a probléma nyilatkozatot, de- a probléma megoldását túl korán hajlamos elrejteni problémákat.

Of course, comrade Shklovsky, who ironically analyzed this bullshit using formal methods, is excluded from this rule.
Természetesen Sklovszkij et., aki a formális módszer segítségével finoman ironizál ezen az egész ostobaságon, kivételt jelent e szabály alól.

Software development based on formal methods Software tool support based on some mathematical formalism includes model checking, process algebras, and Petri nets.
Szoftverfejlesztés formális módszereken Néhány matematikai formalizmuson alapuló szoftver eszköz támogatása magában foglalja a modell ellenőrzését, a folyamat algebrai és a Petri hálókat.

For most people who have obesity, the condition is long term and requires a lifetime of attention even after formal methods to treat the obesity end.
A legtöbb ember számára, akik az elhízás, az állapot hosszú távon, és megköveteli egy életre a figyelmet után is formális módszerekkel kezelni a elhízás végén.

However, the model-driven approach can also provide means to apply formal methods that allows the discovery of both design and behavioral errors in an early stage of development.
Azonban a modellvezérelt megközelítés közvetlenül lehetőséget nyújt formális módszerek alkalmazására is, melyekkel a hibák a fejlesztés korai fázisában felfedezhetőek.

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.
Szemeszter: Lesz megismerjék programozás C/ C++, a különböző operációs rendszerek és adatbázisok, valamint a formális módszerek számítástechnika és elemzés.

Through his use of different aspects of his own awareness, or through formal methods based on these dimensions of awareness, he is able to encounter these different realities in a direct and knowable fashion.
Saját tudata különböző aspektusainak használata- vagy a tudata e dimenzióira alapozott formális módszerek- révén képes közvetlen és megismerhető módon találkozni ezekkel a különböző valóságokkal.

Formal methods are often used to verify critical systems, which- as opposed to traditional verification methods(such as testing)- is not only able to show the presence of errors, but also to prove their absence.
Kritikus szoftverek ellenőrzésére gyakran alkalmaznak formális módszereket, melyekkel- ellentétben a hagyományos ellnőrzési módszerekkel(pl. tesztelés)- nemcsak hibák jelenléte mutatható ki, hanem akár a rendszer helyessége is bizonyítható.

The teaching and research of the department focuses on the mathematical foundations of computer science, the understanding of the very nature of computation that find many applications in the analysis and design of efficient algorithms and developing formal methods for designing and verifying reliable hardware and software systems.
A tanszék oktatási és kutatási tevékenysége az informatika matematikai alapjai köré csoportosul és a számítások alapvető természetének megértésére irányul, mely számos alkalmazáshoz vezet a hatékony algoritmusok elemzésében és tervezésében, valamit a megbízható hardver- és szoftverrendszerek tervezésére és ellenőrzésére szolgáló formális módszerek fejlesztésében.

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.
A formális ellenőrzési módszerek hatékony matematikai megközelítés a rendszer helyességének a forrásból történő validálására, míg a hagyományos ellenőrzési módszerek, például a funkcionális ellenőrzés és a támadás szimulációja korlátozott forgatókönyvekre korlátozódik.

One of the most widely applied formal method is model checking, which constitutes traversing the state space of the software to prove or disprove formal requirements against the system.
Az egyik legelterjedtebben alkalmazott formális módszer a modellellenőrzés, ahol a szoftver állapotterének bejárásával próbáljuk a vele szemben megfogalmazott formális követelmények teljesülését bizonyítani, vagy éppen cáfolni.

K: Arrhythmia and Formal Method are even better known names, please talk about these in a few sentences.
K: Az Arrhythmia és a Formal Method már ismertebb nevek, néhány mondatban beszéljetek ezekről.

K: As Arrhythmia and as Formal Method you have many releases, and on Audioexit has also released a fresh AM/ FM track.
K: Mint Arrhythmia és mint Formal Method számos megjelenésetek van, illetve az Audioexiten megjelent egy friss AM/FM is.

The Structured Dialogue- which is an elaborate and formal method of consultation with young people- has become a vibrant and integral part of youth policy-making.
A strukturált párbeszéd- amely a fiatalokkal folytatott konzultáció kidolgozott és hivatalos módszere- az ifjúságpolitikai döntéshozatal dinamikus és nélkülözhetetlen részévé vált.

The paradigm of graph transformations offers an intuitive, well designable and as well precise formal method to specify model transformations.
A gráftranszformációk paradigmája egy intuitív, jól tervezhető, és egyben precíz formális módszert ad a modelltranszformáció megvalósításához.

The paradigm of graph transformations offers an intuitive, well designable and as well precise formal method to specify model transformations.
A gráftranszformációk paradigmája egy intuitív és egyben precíz formális módszert ad e modelltranszformációk specifikációjára.

Linguistics, for its part, was also interested in the formal method in that what was discovered by comparing poetic and practical language could be studied as a purely linguistic problem, as part of the general phenomena of language.
Másrészt a nyelvészek is érdeklődni kezdtek a formális módszer iránt, mivel így a költői nyelvnek a gyakorlati nyelvvel való egybevetése során feltárult tényeket mint általában vett nyelvi tényeket a tisztán nyelvi problémák szférájában lehetett vizsgálni.

R: Formal Method isnt my first alterego, this project started around 2013, or to be correct I switched to this then, because it was a kind of musical turn as well, focusing even more on acid and industrial, opposed to darktechno.
R: Formal Method nem az első alteregom, ez a projekt kb. 2013-ban kezdődött, illetve akkor váltottam erre, elsősorban azért, mert egyfajta zenei váltás is volt talán, még jobban fókuszálva az acid és industrial irányra a darktechnoval szemben.

According to the digital tome of truth- Wikipedia- the term“design thinking” was first coined in the 1960s and probably went mainstream in 2005 when it was integrated into Stanford's d. school as a formal method.
Az igazság digitális formája- Wikipedia- szerint a„tervezés-gondolkodás” kifejezést először az 1960-as években hozták létre, és valószínűleg 2005-ben vált általánosává, amikor formális módszerként beillesztették a Stanford d. iskolába.