Bendrovių reorganizavimas – tai bendrovių veiklos pasibaigimo būdas be likvidavimo procedūros, kai reorganizuojamų bendrovių turtas, teisės ir pareigos pereina po reorganizavimo veiksiančioms bendrovėms. Bendrovių reorganizavimo vykdymą ir vykdymo ypatumus reglamentuoja Lietuvos Respublikos akcinių bendrovių įstatymas. Bendrovių reorganizavimo sąlygos yra pagrindinis dokumentas, kuriame atsispindi bendrovių reorganizavimo vykdymo tvarka ir ypatumai, kurie iš dalies priklauso nuo pasirinkto bendrovių reorganizavimo būdo. Tai yra pagrindinis dokumentas, kuriuo vadovaujamasi vykdant bendrovių reorganizavimą. Bendrovių reorganizavimo vykdymo ypatumus galima suskirstyti į dvi grupes: į ypatumus, susijusius su bendrovių reorganizavimo sąlygų rengimu, ir į ypatumus, susijusius su faktiniu bendrovių reorganizavimu. Rengiant bendrovių reorganizavimo sąlygas svarbiausias dėmesys turi būti atkreiptas į asmenų, kuriems bendrovių reorganizavimas turės tiesioginės įtakos, interesų apsaugą, t.y. bendrovių akcininkus ir kreditorius. Reorganizuojant bendroves turi būti atsižvelgiama į Lietuvos Respublikos akcinių bendrovių įstatyme minėtų asmenų interesų apsaugai nustatytus reikalavimus. Kadangi reorganizavimas turi tiesioginės įtakos darbo santykiams bei jų tęstinumui, vykdant bendrovių reorganizavimą turi būti atsižvelgiama ir į tinkamą darbuotojų interesų apsaugą. Faktinio bendrovių reorganizavimo vykdymo ypatumai visų pirma priklauso nuo pasirinkto bendrovių reorganizavimo būdo. Nuo... [toliau žr. visą tekstą] / Die Umgestaltung den Gesellschaften ist die Endung der Gesellschafttätigkeit ohne Liquidierungprozess. Das Gut, die Befugnisse und die Pflichten der umgestalteten Gesellschaften übergehen die Gesellschaften, die nach der Umgestaltung handeln. Die Ausfürung der Umgestaltung den Gesellschaften bestimmt das Aktiengesellschaftgesetz der litauische Republik. Die Bedingungen der Umgestaltung den Gesellschaften sind hauptsächliches Dokument, in dem die Ausführungsreihenfolge der Umgestaltung liegt. Das ist das hauptsächliches Dokument, von dem bei der Vollziehung der Umgestaltung ausgehen. Die Eigenarten der Vollziehung der Umgestaltung kann man in zwei Gruppen unterteilen: die Eigenarten, die mit der Vorbereitung der Umgestaltungbedingungen zusammenhängend sind, und die Eigenarten, die mit tatsächlicher Ausfürung der Umgestaltung zusammenhängend sind. Bei der Vorbereitung der Umgestaltungbedingungen muss das Hauptaugenmerk auf die Personen, den die Umgestaltung der Gesellschaften direkt auswirkt, gerichtet sein – auf die Aktionäre und Kreditoren. Während der Umgestaltung muss man auf die in dem das Aktiengesellschaftgesetz der litauische Republik vorgegebenen Bedingungen, die die Interesse genannten Personen schützten, berücksichtigen. Weil die Umgestaltung der Gesellschaften auch die Einflüss auf die Arbeitsverhältnisse hat, muss man auch auf die Schütztung der Interessen der Arbeiter berücksichtigen. Die Eigenarten der tatsächlicher Ausfürung der Umgestaltung abhängen zuallererst... [to full text]

Šiame dokumente aprašytas darbas susideda iš trijų pagrindinių dalių. Pirmojoje (analizės) dalyje yra apžvelgiamos programinės įrangos kokybės užtikrinimo veiklos – konkrečiai testavimo procesas. Didžiausias dėmesys yra skiriamas automatizuotam testų generavimui. Antrojoje (projektinėje) dalyje aprašomas simboliniu vykdymu grindžiamas mutacinis testų generavimo metodas. Taip pat detalizuojamas jo realizavimas kuriamoje sistemoje – aprašomi statiniai ir dinaminiai vaizdai. Trečiojoje dalyje (tyrimo ir eksperimentinėje) yra analizuojamas sukurtas metodas, vertinamos įvairiausios jo charakteristikos, metrikos ir realizuojami patobulinimai. Šie sistemos priežiūros darbai leido sumažinti ciklomatinį metodų sudėtingumą ir pagreitinti realizuoto testų generavimo metodo veikimą. Aprašytas metodas pasižymi tuo, jog jo pagalba galima sugeneruoti testus aptinkančius programinio kodo mutacijas, o testų generavimui yra naudojamas simbolinis vykdymas, o ne atsitiktinių skaičių generatorius. / This work consists of three major parts. The first (analytical) part is the review of software quality assurance activities - specifically the testing process. The main focus is on automated test generation. The second (design) part describes the mutation testing based on symbolic execution test generation method. It also specifies the implementation details of the systems under development - described in the static and dynamic perspectives. The third part (research and experimental) is devoted for analysis of developed method. Here wide range of characteristics and metrics are analyzed. Also, some improvements are implemented. This helped to reduce system’s methods cyclomatic complexity and greatly increased speeds at witch tests generation are performed. The method described is characterized by the fact that it can help generate tests that detect mutations in the software code and symbolic execution is used for test generation, rather than a random number generator.

Šio magistrinio darbo tikslas yra atskleisti bendrosios jungtinės nuosavybės padalijimo instituto esmę, išanalizuoti jo teorines ir praktines problemas, nurodyti galimus problemų sprendimo variantus. Magistriniame darbe be bendrosios jungtinės nuosavybės padalijimo būdo, kai sutuoktinių bendras turtas yra padalijamas teismo sprendimu, analizuojamas naujajame CK įtvirtintas bendrosios jungtinės nuosavybės padalijimo būdas, kai bendras sutuoktinių turtas padalijamas sutuoktinių susitarimu. Bendrosios jungtinės nuosavybės padalijimo tvarka atskirai neanalizuojama, bet pateikiama, analizuojant bendrosios jungtinės nuosavybės padalijimo principus. Magistriniame darbe išskirti ir analizuojami bendrosios jungtinės nuosavybės padalijimo principai: turto balanso sudarymo, kompensacijų sudarymo, sutuoktinių bendrų prievolių tenkinimo, sutuoktinių turto idealiosios dalies nustatymo, turto padalijimo natūra principai, lygių dalių principas ir šio principo taikymo išimtys. Šių principų turinio atskleidimui pagrindinis šaltinis yra teismų praktika. Ypatingas dėmesys darbe skiriamas probleminiams klausimams, kurie kyla praktikoje, taikant nagrinėjamo instituto normas. Probleminiai bendrosios jungtines nuosavybes padalijimo instituto aspektai yra bendro ir asmeninio sutuoktinų turto nustatymas, bendrų sutuoktinių prievolių kreditoriams vykdymas, lygių dalių principo taikymo išimtys, turto padalijimo natūra principo taikymas. / The purpose of this master thesis is to provide an analysis of Lithuanian legislation and judicial practice of partitioning of common joint property, identify theoretical and practical problems and come to the decisions. Besides the mode of partitioning of common joint property when the property of spouses is divided by a court judgement, the new mode implemented only in new Civil Code of the Republic of Lithuania is analysed when the common joint property is divided by spouse’s mutual agreement. The procedure of division of common joint property is disclosed by examination of appropriate principles of the partitioning of common joint property. The following principles of the partitioning of common joint property were determined and examined in this master thesis: principle of composition of property balance, principle of composition of compensation balance, principle of performance of common obligations, principle of determination of part from spouses property, principle of equal parts and exceptions of its application, and principle of partitioning of property in kind. The judicial practice is a main source of subject disclosing content of identified principles. The basic attention is paid to the problematic aspects arising in judicial practice on application the norms of partitioning of common joint property. The main practical questions are determination of common and the respective individual property of spouses, performance of obligations to the common creditors, the... [to full text]

Šiame magistro darbe analizuojamos ir lyginamos terminuotos darbo sutartys Lietuvos ir užsienio valstybių - Lenkijos Respublikos ir Rusijos Federacijos – teisėje. Lyginant įvairius pasirinktų valstybių teisės šaltinius, siekiama kuo išsamiau išnagrinėti ir atskleisti temą. Magistro darbą sudaro trys pagrindinės dalys. Pirmoje dalyje nagrinėjama terminuota darbo sutartis kaip viena iš darbo sutarčių rūšių. Šioje dalyje pateikiamos minėtųjų valstybių darbo sutarčių sampratos, darbo sutarčių rūšys ir supažindinama su terminuotųjų darbo sutarčių rūšimis. Antroji magistro darbo dalis skirta terminuotos darbo sutarties sudarymo ir vykdymo analizei. Atsižvelgiant į tai, kad terminuotai darbo sutarčiai sudaryti nepakanka vien darbo sutarties šalių valios, nagrinėjamos terminuotos darbo sutarties sudarymo prielaidos, itin akcentuojant objektyvias aplinkybes ir jų būtinybę sudarant terminuotą darbo sutartį, termino nustatymo klausimai, akcentuojant maksimalią terminuotų darbo sutarčių trukmę ir termino nustatymo būdus, bei trumpai apžvelgiamas terminuotos darbo sutarties vykdymas, kuris nėra itin išskirtinis, lyginant su kitomis darbo sutarčių rūšimis. Trečiojoje magistro darbo dalyje nagrinėjamas terminuotos darbo sutarties pasibaigimas. Šioje dalyje, visų pirma, analizuojamos termino pasibaigimo pasekmės ir vėliau trumpai aptariami terminuotos darbo sutarties pasibaigimo iki jos termino pabaigos pagrindai, pabrėžiant, kad toks darbo sutarties pasibaigimas nėra išimtinai būdingas... [toliau žr. visą tekstą] / This thesis contains the analysis and comparison of fixed-term employment contracts in the law of Lithuania and foreign countries - namely Republic of Poland and Russian Federation - from a legal point of view. Regarding the fact that the percentage of fixed-term employment contracts in European Union is rising, but the regulations of these job contracts in member states is quite diverse and differs even more from the non-member states, the selection of these two countries serves as an illiustration of the difference of regulations of fixed-term employment contracts not only inside the European Union, but Russian Federation as well. By comparing legal sources of the chosen countries, one tries to give in-depth analysis of the topic. Thesis consists of three main parts. The first one contains the analysis of fixed-term employment contracts as a type of employment contract. It gives the concepts and types of employment contracts in selected countries, and introduces the sorts of fixed-term employment contracts. The second part contains the analysis of formation and execution of fixed-term employment contract. Reffering to the fact, that the will of contract parties is not enough to form a fixed-term employment contract, it also studies the preconditions, paying special attention to objective circumstances and their necessity for forming the contract. By analysing the longest term of employment contract and ways to set it, this part also facilitates the analysis of problems of... [to full text]

Programinės įrangos testavimas ir kokybės užtikrinimas yra svarbus programų sistemų inžinerijos kūrimo uždavinys, siekiant sukurti tinkamą naudojimui produktą. Yra daug skirtingų metodikų kuriamai programinei įrangai testuoti, tačiau vieningos sistemos, kuri būtų universali – nėra. Įvairūs tyrimai vykdomi programinės įrangos testavimo srityje duoda skirtingus rezultatus. Testavimo procesas taip pat svarbus ir praktikoje – be jo negali išsiversti nei vienas organizacija susijusi su programinės įrangos kūrimu ir plėtojimu. Šis darbas remiasi modeliu paremto testavimo paradigma ir simboliniu vykdymo metodika. Darbe apžvelgiamos teorinės simbolinio vykdymo galimybės, jo pritaikymas .Net platformoje ir papildomos priemonės, kurios reikalingos įgyvendinti tokią sistemą. Taip pat trumpai pristatomas magistro projektinis darbas, aprašomi sukurti inžinerinio produkto svarbiausi aspektai. Pagal teorinę medžiaga sukurtas simbolinio vykdymo variklis – Symex. Darbe nagrinėjamas praktinis tokio įrankio pritaikymas generuojant vienetų testus iš išeities kodo – eksperimentiškai tiriamos ir lyginamos simbolinio vykdymo ir atsitiktinių įėjimų vienetų testų kūrimo galimybės .Net platformoje. / Testing complex safety critical software always was difficult task. Development of automated techniques for error detection is even more difficult. Well known techniques for checking software are model checking static analysis and testing. Symbolic execution is a technique that is being used to improve security, to find bugs, and to help in debugging. A symbolic execution engine is basically an interpreter that figures out how to follow all paths in a program. It is a static code analysis technique. This work presents symbolic execution background, current state, analysis the possibilities of implementation on the .Net framework and platform. The work describes the master project – bug tracking software “Crunchbug” and the tool – Symex (symbolic execution engine) for .Net platform. Symex is white box model based automatic unit test generator and it is evaluated against two other tools – Microsoft Pex and framework that generates unit test inputs random. Detailed experiments made to cover symbolic execution possibilities with proprietary benchmarks and real code from the master project.

SANTRAUKA Magistro darbo tema: „Darbo sutarties vykdymas“. Šiame darbe, vadovaujantis naujuoju Lietuvos Respublikos darbo kodeksu, įsigaliojusiu 2003 m. sausio 1 d., ir kitais darbo santykius reglamentuojančiais teisės aktais, apibūdinama darbo teisių ir pareigų įgyvendinimo samprata, darbo sutarties vykdymo ir keitimo samprata, analizuojami darbo sutarties sąlygų pakeitimo, laikino darbo sąlygų pakeitimo ypatingais atvejais, perkėlimo į kitą darbą prastovos atveju, nušalinimo nuo darbo pagrindai, sąlygos ir tvarka, bendrai aptariami su darbo sutarties vykdymu susiję individualių darbo ginčų nagrinėjimo ypatumai. Temos aktualumas ir naujumas pasireiškia tuo, kad naujasis Lietuvos Respublikos darbo kodeksas yra labiau pritaikytas prie dabartinių ekonominio gyvenimo reikalavimų. Baigiamajame darbe yra remtasi įvairiais literatūros šaltiniais: teisės norminiais aktais, specialiąja literatūra, Lietuvos Aukščiausiojo Teismo senato nutarimuose pateiktais išaiškinimais dėl Darbo kodekso normų taikymo, Lietuvos Aukščiausiojo Teismo Civilinių bylų teisėjų priimtomis nutartimis. Darbe naudoti metodai: analizės, sisteminis, loginis, istorinis, precedentinis, teleologinis. Darbo teisių ir pareigų įgyvendinimas – tai teisės normų įgyvendinimas esant faktiniams darbo santykiams. Kai individualiais ar kolektyviniais veiksmais įgyvendinti savo teisių ir pareigų nebeįmanoma, reikia trečiųjų asmenų, t.y. kompetetingų institucijų pagalbos. Pagrindiniai subjektai, ginantys darbo teises, yra... [toliau žr. visą tekstą] / SUMMARY The subject of the master’s paper: “Implementation of the Employment Contract”. Following the new Work Code of the Republic of Lithuania, dated January 1, 2003, and other employment relations legislation, this paper defines the conception of the execution of employment rights and duties and the conception of contract execution and amendments, analyses the basics, the conditions and the procedure of modifications to employment contract provisions, temporary modification to provisions under specific circumstances, in cases of lay-off and suspension, as well as discusses the peculiarities of dealing with individual employment disputes. The relevance and the novelty of the subject lies in the fact that the new Work Code of the Republic of Lithuania is in a greater agreement with the contemporary requirements of economic life. The final paper was written with reference to different literature sources: regulatory legislation, special literature, explanations on the application of Work Code rules presented by the Senate of the Lithuanian Supreme Court and order established by civil case judges of the Lithuanian Supreme Court. Methods used in writing the paper: analysis, systematic, logical, historical, precedent, teleological. The execution of rights and duties is the execution of legal rules in factual employment relations. When it is impossible to carry out one’s rights and duties individually or collectively, the help of the third party, i.e. the competent authorities, is... [to full text]

Tradicinės x86 architektūros spartinimui artėjant prie galimybių ribos, kompanija Intel pradėjo kurti naują IA-64 architektūrą, paremtą EPIC – išreikštinai lygiagrečiai vykdomomis instrukcijomis vieno takto metu. Ši pagrindinė savybė leidžia vykdyti iki šešių instrukcijų per vieną taktą. Taipogi architektūra pasižymi tokiomis savybėmis, kurios leido efektyviai spręsti su kodo optimizavimu susijusias problemas tradicinėse architektūrose. Tačiau kompiliatorių optimizavimo algoritmai ilgą laiką buvo tobulinami tradicinėse architektūrose, todėl norint išnaudoti naująją architektūrą, reikia ieškoti būdų tobulinti esamus kompiliatorius. Vienas iš būdų – kompiliatoriaus vidinių parametrų atsakingų už optimizacijas reikšmių pritaikymas IA-64. Būtent toks yra šio darbo tikslas, kuriam pasiekti reikia išnagrinėti IA-64 savybes, jas vėliau eksperimentiškai taikyti realaus kodo pavyzdžiuose bei įvertinti jų įtaką kodo vykdymo spartai. Pagal gautus rezultatus nagrinėjami kompiliatoriaus vidiniai parametrai ir su specialia kompiliatorių testavimo programa randamas geriausias reikšmių rinkinys šiai architektūrai. Vėliau šis rinkinys išbandomas su taikomosiomis programomis. Gauto parametrų rinkinio reikšmės turėtų leisti generuoti efektyvesnį kodą IA-64 architektūrai. / After performance optimization of traditional architectures began to reach their limits, Intel corporation started to develop new architecture based on EPIC – Explicitly Parallel Instruction Counting. This main feature allowed up to six instructions to be executed in single CPU cycle. Also this architecture includes more features, which allowed efficient solution of traditional architectures code optimization problems. However for long time code optimization algorithms have been improved for traditional architectures only, as a result those algorithms should be adopted to new architecture. One of the ways to do that – exploration of internal compilers parameters, which are responsible for code optimizations. That is the primary target of this work and in order to reach it the features of the IA-64 architecture and impact to execution performance must be explored using real-life code examples. Tests results may be used later for internal parameters selection and further exploration of these parameters values by using special compiler performance testing benchmarks. The set of those new values could be tested with real life applications in order to prove efficiency of IA-64 architecture features.