Keresés
4 találatból megjelenítve: 1-4
Cím: Verification and Application of Program Transformations
Szerző:
Dátum: 2018
Feltöltve: 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 ...
Cím: Erlang programok transzformációja bonyolultsági mérőszámok alapján
Szerző:
Dátum: 2013
Feltöltve: 2018-12-07
(2013)
Cím: Erlang programok statikus elemzése és szeletelése
Szerző:
Dátum: 2018
Feltöltve: 2019-03-06
(2018)
A funkcionális programozási nyelvek terjedésének velejárója, hogy felmerül az igény olyan eszközökre, amelyek a fejlesztési folyamatot támogatják. Ezek lehetnek futási idejű eszközök, vagy olyanok, melyek csupán a forráskód ...
Cím: Adat és kiértékelési függőségi elemzés funkcionális nyelvekre - Erlang programok statikus elemzése
Szerző:
Dátum: 2018
Feltöltve: 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 ...