Search
Now showing items 11-20 of 82
Title: An implementation and analysis of the ECPP algorithm
Author:
Date: 2016-08-26
Submitted: 2018-02-13
(2016-08-26)
Title: Szemantikus adatok lekérdezése federált és osztott rendszereken
Author:
Date: 2018
Submitted: 2019-01-16
(2018)
Az értekezés a szemantikus webnél felmerülő problémákkal foglalkozott. A szemantikus web egy olyan elgondolás, ahol az Interneten az információkat úgy tároljuk, hogy azok összekapcsolhatóak legyenek. Ezáltal egy nagy ...
Title: De La Vallée Poussin Type Approximation Methods
Author:
Date: 2016
Submitted: 2017-05-29
(2016)
Title: Adat és kiértékelési függőségi elemzés funkcionális nyelvekre-Erlang programok statikus elemzése
Author:
Date: 2018
Submitted: 2019-03-06
(2018)
A szoftverfejlesztést támogató eszközök jelentősége rohamosan nő az utóbbi évtizedekben. A forráskódok mérete akkorára nő, hogy humán erővel átlátni szinte lehetetlen, de legalábbis nehézkes és időigényes folyamat. Így ...
Title: Verification and Application of Program Transformations
Author:
Date: 2018
Submitted: 2019-03-06
(2018)
A programtranszformáció és a refaktorálás alapvető elemei a szoftverfejlesztési folyamatnak. A refaktorálást a kezdetektől próbálják szoftvereszközökkel támogatni, amelyek megbízhatóan és hatékonyan valósítják meg a ...
Title: Verification of Computer-Based Software with Model Checking
Author:
Date: 2012
Submitted: 2018-12-07
(2012)
Title: Practical Application of program Slicing and its Use in Software Testing and Maintenance
Author:
Date: 2012
Submitted: 2018-12-07
(2012)