In the early stage of building a new informational system requirement engineering involves all the processes related to the requirement system and research of problems emerged during this process. In this stage the requirements specification of corresponding information system are built. Many different notations serve for this purpose, selection of which is dependant on available resources and project goals. Requirements specification must be of good quality. It is evaluated by characteristics of quality. Specifications could be analyzed and improved by using various tools including CASE tools. The specification is developed and its quality is improved by making analysis of requirements. Well done specification is basis for creating high leveled functionality system.

Darbo tikslas – atlikti literatūroje pateikiamų reikalavimų surinkimo ir specifikavimo metodų analizę. Pasirinkti ir pritaikyti juos CRM sistemos kūrimo procese. Pateikti kaip vyko CRM sistemos kūrimo procesas, naudojant pasirinktus metodus. Apibendrinti kaip pasirinkti metodai įtakojo sistemos funkcionalumą ir galutinius reikalavimus. Darbo pradžioje iškelta ir aprašyta problema susidariusi įmonėje, kuriančioje informacines sistemas. Pateikta, kodėl buvo priimtas sprendimas kurti naują produktą. Remiantis statistiniais duomenimis ir atliktais tyrimais aprašyta, kodėl tinkamas reikalavimų specifikavimas prisideda prie sėkmingo projekto įgyvendinimo. Literatūroje apžvelgti ir praktikoje pritaikyti reikalavimų surinkimo ir specifikavimo metodai. Aprašyti CRM sistemos kūrimo proceso etapai. Pateikta kokie metodai, kokiems funkcionalumams specifikuoti buvo naudoti projekto eigoje. Pateikta CRM sistemos reikalavimų kitimo statistika. / The aim of this work – to review the techniques of the requirements gathering and specification methods presented in the literature, to choose and adapt them to the development process of the CRM system. To show how the development process was implemented by using the selected methods and how it affected the functionality of the CRM system. At the beginning of this work there was described and analyzed the problem that arises in the company which creates information systems. It is represented a decision why a new product is chosen to establish. According to the statistical data and studies, it is described why right requirements specification contributes to the successful implementation of the project. The development process stages of the CRM system are described. Furthermore, the methods, which have been used during the project, are described in this work. The requirements change statistics of the CRM system are represented.

Darbe nagrinėjamas realiojo laiko sistemų, specifikuotų agregatiniu metodu, verifikavimo uždavinys. Sprendžiant šį uždavinį, naudojama pasiekiamų būsenų grafo sudarymo metodika, leidžianti įvertinti laiko intervalus, kuriais įvyksta sistemoje apibrėžti įvykiai. Darbe nagrinėjami pasiekiamų būsenų grafo sudarymo algoritmai ir pateikta prototipinėse programose naudojama duomenų struktūra. Suformuluoti ir įrodyti teiginiai apie pasiekiamų būsenų grafo sudarymo algoritmo sudėtingumą (maksimalaus vienos būsenos galimų perėjimų skaičiaus; grafo viršūnių skaičiaus augimo priklausomybės nuo įvykių skaičiaus; maksimalaus įvykių skaičiaus elgsenoje laiko intervale; maksimalaus viršūnių skaičiaus laiko intervale.) Pateikta trijų testinių sistemų grafų automatizuoto sudarymo analizė. Parodyta, kad Simplekso optimizavimo procedūra laiko momentų palyginimui gali būti naudojama tik atskirais atvejais. / The work deals with a verification task of real time system specified by aggregate method. While solving the task, a technique for creation a reachable state graph is used. The technique permits to evaluate intervals of time when the defined system events occur. Reachable state graph creation algorithms are analysed in the work. A data structure used in prototype software is presented in the work too. Assertions about a complexity of algorithm for reachable state graph creation are formulated and proved. These assertions concern maximum number of transitions from single state, dependency of number of graph verteles growth on a number of events, maximum number of events in a behaviour during time interval, and maximum number of vertexes during time interval. Analysis of automated creation of graphs for three test systems is presented. It is shown that Simplex optimisation procedure for comparison of time intervals can be used only in certain cases.

Magistro darbo objektas – vaikų knygų leidyba Lietuvoje 2000–2005 metais. Darbo tikslas – atskleisti 2000–2005 m. laikotarpio Lietuvos vaikų knygų leidybos visumos vaizdą, aptarti pagrindinius leidėjus, nustatyti vaikų knygos leidybos tendencijas, atlikti leidinių statistinę analizę. Pagrindiniai darbo uždaviniai: išanalizuoti 2000–2005 m. išleistų vaikų knygų srauto temas, jų kiekybines charakteristikas, atlikti išsamią vaikų knygų platinimo sistemos analizę. Naudojantis bendramoksliniu dokumentų analizės metodika, apibendrinimo, statistiniu, teminiu, bibliografiniu, anketiniu tyrimo metodais, bei kiekybine vaikų knygų srauto analize prieita prie išvados, kad vaikų knygų leidyba Lietuvoje 2000–2005 metais nuosekliai vystėsi tiek kiekybiniu, tiek ir kokybiniu aspektu. Aptariamu laikotarpiu išaugo ne tik bendras išleidžiamų vaikų knygų skaičius, tačiau padidėjo ir originalių lietuvių autorių darbų skaičius. Dabartinę leidėjų situaciją Lietuvoje apibrėžia knygų rinkos sąlygos: arši konkurencija, nedidelė potencialių skaitytojų auditorija ir kintantys visuomeniniai skaitymo poreikiai. „Lietuvos spaudos statistikos“ duomenimis, sparčiai keičiantis Lietuvos politiniam, ekonominiam ir kultūriniam gyvenimui, knygų (ir brošiūrų) leidyba patyrė esminių pokyčių: knygų pavadinimų skaičius padvigubėjo, o tiražas sumažėjo bent kelis kartus. Taigi galima teigti, kad Lietuvos knygų rinka yra per maža dideliems tiražams, leidėjų per daug, o skaitytojų per mažai. Vaikų knygų leidyba dominuoja... [toliau žr. visą tekstą] / We can maintain that children’s books are the most important books in the world. Because reading the book from his young days, child is expanding his horizons, developing his personality and gaining valuable information that eases his integration into human society. Children’s book is very specific kind of publication, it is limited by the age and unique needs of young ones. It can be specially written for children, or picked from pre-digested adults book. The object of this paper is to reveal the entirety of children’s books publishing situation in Lithuania during the years 2000-2005. The main goals of this research are: to analyze the topics of the children’s books stream; to estimate quantitative characteristics of the published children’s books; to survey the situation of children’s books distribution; define the location of children’s books in diverse assortments of bookstores; and determine the tendencies of depicting children’s books in the book market’s information system. By the means of common scientific analysis, systematic, observational and interviewing methods of research and the quantitative analysis of the published children’s books stream, conclusions were reached. It was concluded, that during years 2000-2005 publishing of children’s books in Lithuania developed consistently in its quantitative and qualitative facets. During this period had increased the number of published children’s books, as well as the number of original writings made by Lithuanian... [to full text]

This work presents business process analysis methodology which consists of presentation of the business processes created on the ground of the Resource Event Agent model by means of Piece–Linear Aggregate approach. The aggregate specification is analyzing using first order predicate logic while checking correctness by resolution method using logic programming based language Prolog. The work is concluded with concrete example of analysis of Resource Event Agent model based business process using the aggregate approach. The novelty of this work PLA (Piece-Linear Aggregate) model and the software tools, created on the ground of PLA (Piece-Linear Aggregate), are used the first time for business processes analysis that is defined using REA formalism. The use of such integrated models allows performing the automated analysis of general and individual properties (completeness, deadlock freeness, termination or cyclic behavior, boundedness) of defined business processes. The main results are achieved: • The methodology, that consists of presentation of the business processes created on the ground of the Resource Event Agent model by means of Piece–Linear Aggregate approach. • Verification and validation of general and individual properties by using PLA and PROLOG language approach designed system that executes the analysis of aggregate specification. • Implementing internal accounting controls as constraints in relational algebra, SQL and PROLOG language. • Concrete... [to full text]

Naujuose programiniuose produktuose plačiai taikoma mobilioji įranga (mobilieji telefonai, delniniai kompiuteriai). Programinės įrangos kūrimo procese svarbią vietą užima testavimas. Dabartinių mobiliųjų įranginių apribojimai (darbo sparta, atminties kiekis, energija, ekrano dydis, platformų įvairumas) kelia naujas problemas programinės įrangos kūrimo procesui, tame tarpe ir testavimui. Testavimo proceso automatizavimas leidžia sumažinti bandymų trukmę, padidinti testavimo darbų apimtį. Programinės įrangos testavime mobiliems įrenginiams svarbu išskirti grafinės vartotojo sąsajos testavimą. Svarbi testavimo dalis – testavimas pagal specifikaciją. Šiame darbe nagrinėjamas grafinės vartotojo sąsajos automatizuotas testavimas mobiliai įrangai, nustatomi tikslai, galimi keliai jiems pasiekti bei galimas testavimo aplinkos praplėtimas testų generavimui pagal specifikaciją. / Mobile devices such as cell phones and personal digital assistance are widely used in new software products. Testing takes important place in software development process. Constraints of mobile devices (speed, amount of memory, energy, small screen, wide range of platforms) raise new problems for software development process including testing phase. Automated approach of software testing reduces testing time and increases testing range. It is important to distinguish graphic user interface as a special part of testing. The important part of testing is specification based testing. The aim of these master theses is to analyze automated testing of GUI for mobile devices, define testing tasks and enhance mobile device testing framework by providing means for test case generation from specification.