• Nem Talált Eredményt

18 eredmény a kulcsszóra: 'formal model driven software development'

Case studies in certified 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

Protected

N/A

4
0
0
2022
Darab Ágnes elmélyült, korszerű szempontokat is érvényesítő, narratológiai és komparatív elemzése sikeresen bizonyítja az 1

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

Protected

N/A

1
0
0
2022
Gergely Varró

Research areas: model-driven software development, model transformation, graph transformation (GT in re- lational databases, adaptive and incremental GT engines, GT benchmarks,

Protected

N/A

2
0
0
2022
Quality Driven Software Development

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

Protected

N/A

1
0
0
2022
ALIDATING AND PPLYING ODEL RANSFORMATIONS V A M T

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

Protected

N/A

130
0
0
2022
associateprofessorBudapest,March2011 Dr.DánielVarró,PhD MScinTechnicalInformaticsSupervisor: IstvánRáth PhDThesis V cModelingLanguages Event-drivenModelTransformationsinDomain-speci BudapestUniversityofTechnologyandEconomicsDepartmentofMeasurementandInfor

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

Protected

N/A

239
0
0
2023
UML2 and Model-Driven Development

More options to build tools with simulation and code generation Superior support for executable models and dynamic behavior Improved diagram interchange between tools.

Protected

N/A

1
0
0
2022
Opponensi Vélemény

 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

Protected

N/A

5
0
0
2022
EFFECT  OF  CERTAIN  PROCESSING  METHODS  ON  PHOSPHOLIPID  COMPONENTS IN  RABBIT  MEAT

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

Protected

N/A

7
0
0
2022
“Put a Stop to the Excessive Influx”: The Rhetoric of Restriction Regarding Female and Jewish Students at Budapest University, 1900–1930

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

Protected

N/A

31
0
0
2022
Lapvég

[r]

Protected

N/A

1
0
0
2022
[Bevezetés - Apáczai iskolái, tanárai, elődei]

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

Protected

N/A

2
0
0
2022
Dr. Lacza Zsombor,,Iszkémiás

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

Protected

N/A

3
0
0
2022
BÄCHER ANNA MUNKÁI TABLÓKBA RENDEZVE

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

Protected

N/A

6
0
0
2022
Formal Methods in Software Engineering

In computer science, formal methods refers to mathematically based techniques for the specification, development and verification of software and hardware systems!.

Protected

N/A

98
0
0
2022
Kish, L.: Többcélú mintavételi tervek

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

Protected

N/A

2
0
0
2022
Doktori (PhD) értekezésének szerzi ismertetése K -K A , -S A DOKTORI ISKOLA NEMZETI KÖZSZOLGÁLATI EGYETEM HADTUDOMÁNYI S

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

Protected

N/A

14
0
0
2022
Lehetőségeink az ipari tartalékok feltárásában

jövedelem gyorsabban nő, mint a korábbi években. Azt is feltételeztük, hogy az ipari exportból származó devizatöbbletnek nagyobbik része ered a struktúra. az import-

Protected

N/A

11
0
0
2022

Töltsön fel további dokumentumokat, és töltse le azonnal az anyagtanulmányokat!