18 eredmény a kulcsszóra: 'formal model driven software development'
Finally, we contribute to the education of industrial practitioners by conveying to them the advantages of using formal modelling and model-driven software development
N/A
A szöveg korábbi kutatásban vitatott koherenciájának megteremtése ugyanakkor a befogadó feladata: a disszerens filológiailag elmélyült vizsgálatai eredményeképpen
N/A
Research areas: model-driven software development, model transformation, graph transformation (GT in re- lational databases, adaptive and incremental GT engines, GT benchmarks,
N/A
Since defect removal and its efficiency is one of the top expenses in any software project and it greatly affects schedules, static validation techniques and quality management
N/A
The chapter introduces a method for assuring the quality of software development projects with applying model-driven techniques and model-based tools, provides a method for
N/A
According to MDA, model-driven software development begins with a thorough modeling phase where first (i) a platform independent model (PIM) of the business logic is constructed
N/A
More options to build tools with simulation and code generation Superior support for executable models and dynamic behavior Improved diagram interchange between tools.
N/A
A dolgozat tudományos szempontból egyik legjelentősebb része a jelöltnek az anyai perifériás vérmintából izolált anyai és magzati eredetű szabad DNS
N/A
Fore limb, loin and hind limb cuts of California and New Zealand white rabbits (both sexes) of a marketable age (2 and 3 months) were used to study the
N/A
Based on archival and press sources, and drawing in particular on the faculty council minutes of the Faculties of Medicine and Humanities at Budapest University, this article
N/A
Az 1620-as évek- ben született Pogarasi, Igaz és Sikó viszont már együtt végezték tanulmányaikat és később együtt is küzdöttek, dolgoztak Apáczai- val és a
N/A
Mint kimutatták a cukorbetegség szövődményeinek kialakulásában Szerepet játszlk a nitrozativ StreSSz, illetve a re|atív No hiány.. Így aztjavasolták, hogy az No
N/A
Vállaltan idealista ember vagyok, minden rosszban igyekszem megkeresni a jót, és a mostani zűrös-zajos világban is próbálom megtalálni azt, ami egyszerűen szép és
N/A
In computer science, formal methods refers to mathematically based techniques for the specification, development and verification of software and hardware systems!.
N/A
EGB ESÉ Elektronikus Adatteidolgozási munka- csoportjának soros ülésére, melyen Straub Elek, a Központi Statisztikai Hivatal elnökhelyettese és Alföldi István, a
N/A
Az édesvíz és a társadalom közötti szoros kapcsolatrendszerb ő l kiindulva, egyes fegyveres konfliktusok vízpolitikai szempontból történ ő elemzésével
N/A