This work presents development of Human Resource Management System based on analysis of modern development trends as well as fundamentals of key functions and data structures of human resource management systems in organizations. Introduced general-purpose model meets the requirements of human resource management systems and fits for the organizations of any size and structure. The system, mentioned above, was designed using ICONIX, Martin-Odell, RUP, XP, UMM methodologies, tested using black and white box techniques and implemented by means of Lotus Notes/Domino SDK . Created software was installed for the trial period at the joint-stock company 'PTI Technologijos'. The conceptual part of the theses represents component interface specification technique capturing control flow rules. It describes a clear process for moving from business requirements to system specification and identifying system behavior rules conditioning interfaces of the system. Proposed model facilitates dealing with the change and substitutability of business rules, what can be achieved only if the system is properly specified. Interface specification technique was used in practice to design the interface between human resource management system and accountancy system.

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.

Šiuolaikinės graikų – romėnų imtynės sparčiai vystosi – didėja konkurencija tarp sportininkų, tobulėja sportininkų atrankos sistema. Sparčiai gerėja sportiniai rezultatai, keičiasi taisyklės, o tai skatina ieškoti moksliškai pagristų sportininkų rengimo metodų, priemonių ir treniruotės organizavimo formų. Darbe atlikta Lietuvos olimpinio sporto centro jaunųjų graikų – romėnų imtynininkų rengimo per metinį treniruočių ciklą (2005 – 2006 m.) analizė. Išanalizuota jaunųjų imtynininkų metinio rengimo struktūra, treniruočių krūvių apimtis, specifiškumas, fizinio, funkcinio imtynininkų pajėgumo, bei specialios ištvermės kaita per metinį treniruočių ciklą. Tyrimai parodė, kad imtynininkų metinio rengimo ciklo programos atskirų periodų turinys yra pernelyg vienodas. Mažai besikeičiantis santykinai bendram ir specialiam fiziniam rengimui skiriamas laiko kiekis bei mažai kintantis treniruočių intensyvumas. Tai patvirtina ir imtynininkų fizinio ir funkcinio pajėgumo rodiklių maža kaita metiniame treniruočių cikle. Darbo išvados leidžia daryti prielaidą, kad būtina tobulinti Lietuvos olimpinio sporto cento jaunųjų graikų-romėnų imtynininkų metinio treniruočių ciklo programą. / Contemporary Greco – Roman wrestling has been rapidly developing – competition among sportsmen has increased sportsmen’s selection system. Sporting results have been becoming better, the rules are changing fast and thus all these things stimulate the interest of searching for scientifically approved methods, means and forms of trainings of sportsmen preparation. The study comprises the analysis of the cycle of annual trainings (years 2005-2006) for young Greco – Roman wrestlers of the Lithuanian Olympic Sport Center. The structure of the annual preparation of sportsmen, volume of training, specification, change of physical, functional and special capacity during the annual cycle of training sessions have been analyzed. The research has shown the content of separate periods of the wrestlers’ annual preparation cycle to be too monotonous. Comparatively small amount of time spent for general and special physical preparation. This is confirmed by wrestlers’ minor change of physical and functional capacity in the cycle of annual training session. The conclusion of this study allow us to presume that the plan of annual training cycle for young Greco – Roman wresters at Lithuanian Olympic sport center must be improved.

La dérégulation de l'expression génétique est une base pathophysiologique de plusieurs maladies. On a utilisé le locus du gène β-globine humain comme modèle pour élucider le mécanisme de régulation de la transcription génétique et évaluer son expression génétique durant l'érythropoïèse. La famille des protéines 'E' est composée de facteurs de transcription qui possèdent plusieurs sites de liaison au sein de locus du gène β-globine, suggérant leur rôle potentiel dans la régulation de l’expression de ces gènes. Nous avons montré que les facteurs HEB, E2A et ETO2 interagissent d’une manière significative avec la région contrôle du Locus (LCR) et avec les promoteurs des gènes de la famille β-globine. Le recrutement de ces facteurs au locus est modifié lors de l'érythropoïèse dans les cellules souches hematopoitiques et les cellules erythroides de souris transgéniques pour le locus de la β-globine humain, ainsi que dans les cellules progénitrices hématopoïétiques humaines. De plus par cette étude, nous démontrons pour la première fois que le gène β-globine humain est dans une chromatine active et qu’il interagit avec des facteurs de transcriptions de type suppresseurs dans les cellules progénitrices lymphoïdes (voie de différentiation alternative). Cette étude a aussi été faite dans des souris ayant une génétique mutante caractérisée par l'absence des facteurs de transcription E2A ou HEB. / Aberrant gene expression is an underlying pathophysiology in many disease conditions. Lineage-specification and -commitment is tightly dependent on lineage-specific transcription factors to regulate the expression of target genes. Using human β-globin locus as a model, we investigated how the transcriptional machinery is set and regulated during erythropoiesis and how it impacts globally on gene expression. Class I bHLH proteins are important transcription factors whose binding sites are frequently clustered throughout the β-globin gene locus, suggesting their role in globin gene regulation. We showed that, in hematopoietic progenitor (HPC) and erythroid cells (EryC) of the transgenic mouse for human β-globin locus and human HPC cells (CD34+); HEB, E2A and ETO-2 significantly interact with locus control region (LCR) and promoters of globin genes, and their relative ratio is altered during erythropoiesis. For the first time, we found that in other hematopoietic lineages, human β-globin locus is in active chromatin and interacts with transcription factors involved in repression. Strikingly and consistent with the expression of globin genes, we characterized transcription factors involved in open chromatin configuration and basal level of globin gene expression in lymphoid progenitor cells. Further, with the genetic power of E2A and HEB knockout mice, our findings were clarified in mutant backgrounds.

Darbo tikslas yra sukurti reikalavimų specifikavimo integralumą užtikrinantį metodą. Šiam tikslui įgyvendinti sukurtas procesų modelis, kurį sudaro trys pagrindiniai uždaviniai: reikalavimų identifikavimas, specifikavimas ir komponavimas. Pirmi du uždaviniai padeda identifikuoti besikertančius reikalavimus taip sumažinamas reikalavimų išsibarstymas specifikacijoje, nustatomos priklausomybės ir būtini reikalavimai. Komponavimo etapo tikslas yra sukomponuoti reikalavimus ir suteikti kūrėjams visą sistemos vaizdą bei nustatyti ir valdyti konfliktus tarp reikalavimų. Reikalavimų integralumas užtikrinamas visus reikalavimus, laikant vienoje formoje. Darbe išnagrinėti reikalavimų specifikavimo šablonai, klasifikavimo standartų bei reikalavimų valdymo įrankiai. Analizuojami besikertančių reikalavimų identifikavimo ir išgavimo strategijos. Atlikta funkcinių ir nefunkcinių reikalavimų integralumo metodų ir būdų analizė. Sukurtas šablonas reikalavimams specifikuoti, kuris apima funkcinius ir nefunkcinius reikalavimus, funkcinius ir nefunkcinius besikertančius reikalavimus. Reikalavimų valdymui sudarytas šablonas RequisitePro aplinkoje. Sukurtas MagicDraw paketo profilis, siekiant pateikti kūrėjams pilną sistemos vaizdą, atvaizduojant reikalavimų rinkinius panaudos atvejų diagramomis. Metodas patikrintas sudarant ATM sistemos reikalavimų specifikaciją, reikalavimai specifikuojami apimant funkcinius ir nefunkcinius reikalavimus, būtinus reikalavimus, funkcinius ir... [toliau žr. visą tekstą] / The aim of this work is to create A method for integrity support of requirements specification. For this purpose a process model is developed, which consists of three main tasks: the identification of requirements, specification and composition. The first two tasks helps to identify the crosscutting requirements of the following reduction the requirements dispersal in requirements specification, also identify responsibilities of requirements and identify required requirements. The goal of composition task is to compose the requirements to give the developer a view of the whole system and to identify and manage conflicts between requirements. Integrity of requirements are ensured keeping all requirements in a unique form. The paper analyzes the identification of crosscutting requirements and gathering strategies. The templates of requirements specification, standards of requirements classification and requirements management tools were analyzed. The methods and techniques of functional and non-functional requirements for the integrity were analyzed. The unique template for requirements specification was created, which includes functional and non-functional requirements, functional and non-functional crosscutting requirements. The template for requirements management was consisted in RequisitePro environment. The MagicDraw profile package was created, which provide the developer a view of the whole system, representing set of requirements for use case diagrams. The method... [to full text]

This thesis consists of four research papers. The main focus is on building the multivariate Conditional Correlation (CC-) GARCH models. In particular, emphasis lies on considering an extension of CC-GARCH models that allow for interactions or causality in conditional variances. In the first three chapters, misspecification testing and parameter restrictions in these models are discussed. In the final chapter, a computer package for building major variants of the CC-GARCH models is presented. The first chapter contains a brief introduction to the CC-GARCH models as well as a summary of each research paper. The second chapter proposes a misspecification test for modelling of the conditional variance part of the Extended Constant CC-GARCH model. The test is designed for testing the hypothesis of no interactions in the conditional variances. If the null hypothesis is true, then the conditional variances may be described by the standard CCC-GARCH model. The test is constructed on the Lagrange Multiplier (LM) principle that only requires the estimation of the null model. Although the test is derived under the assumption of the constant conditional correlation, the simulation experiments suggest that the test is also applicable to building CC-GARCH models with changing conditional correlations. There is no asymptotic theory available for these models, which is why simulation of the test statistic in this situation has been necessary. The third chapter provides yet another misspecification test for modelling of the conditional variance component of the CC-GARCH models, whose parameters are often estimated in two steps. The estimator obtained through these two steps is a two-stage quasi-maximum likelihood estimator (2SQMLE). Taking advantage of the asymptotic results for 2SQMLE, the test considered in this chapter is formulated using the LM principle, which requires only the estimation of univariate GARCH models. It is also shown that the test statistic may be computed by using an auxiliary regression. A robust version of the new test is available through another auxiliary regression. All of this amounts to a substantial simplification in computations compared with the test proposed in the second chapter. The simulation experiments show that, under both under both Gaussian and leptokurtic innovations, as well as under changing conditional correlations, the new test has reasonable size and power properties. When modelling the conditional variance, it is necessary to keep the sequence of conditional covariance matrices positive definite almost surely for any time horizon. In the fourth chapter it is demonstrated that under certain conditions some of the parameters of the model can take negative values while the conditional covariance matrix remains positive definite almost surely. It is also shown that even in the simplest first-order vector GARCH representation, the relevant parameter space can contain negative values for some parameters, which is not possible in the univariate model. This finding makes it possible to incorporate negative volatility spillovers into the CC-GARCH framework. Many new GARCH models and misspecification testing procedures have been recently proposed in the literature. When it comes to applying these models or tests, however, there do not seem to exist many options for the users to choose from other than creating their own computer programmes. This is especially the case when one wants to apply a multivariate GARCH model. The last chapter of the thesis offers a remedy to this situation by providing a workable environment for building CC-GARCH models. The package is open source, freely available on the Internet, and designed for use in the open source statistical environment R. With this package can estimate major variants of CC-GARCH models as well as simulate data from the CC-GARCH data generating processes with multivariate normal or Student's t innovations. In addition, the package is equipped with the necessary functions for conducting diagnostic tests such as those discussed in the third chapter of this thesis. / <p>Diss. Stockholm : Handelshögskolan, 2010. Sammanfattning jämte 4 uppsatser.</p>

Avec l'avènement des systèmes intégrés complexes, la vérification par assertions(Assertion Based Verification ou ABV) s'est imposée comme une solution pour la vérification semi-formelle des circuits. L'ABV permet de valider qu'un circuit satisfait ou non une propriété(ou assertion). Des travaux antérieurs ont montré qu'il était possible de synthétiser ces propriétés sous la forme de moniteurs matériels. Ces derniers peuvent ainsi être embarqués à demeure sur un circuit afin qu'ils assurent une tâche de monitoring. Avec un objectif de surveillance et de sûreté, l'utilisation de tels moniteurs est un plus. Néanmoins, ces derniers sont aussi sensibles que les circuits surveillés à une dégradation environnementale(tension, température, vieillissement, ...). Afin de réduire le risque de dysfonctionnement des moniteurs, initialement conçus comme des circuits synchrones, une variante asynchrone(quasi-insensible aux délais) est proposée dans cette thèse. Ces travaux s'inscrivent dans le cadre du projet ANR SFINCS(Thalès, Dolphin Integration, TIMA) et ont mené à la définition d'une méthode de synthèse de moniteurs asynchrones matériels tirant parti de la robustesse et de la modularité des implémentations asynchrones. Les études menées se focalisent en premier lieu sur la conception d'une bibliothèque de moniteurs élémentaires asynchrones et sur une méthode d'interconnexion ad hoc permettant de constituer des moniteurs complexes. Afin de garantir les bonnes propriétés de robustesse de ces moniteurs, une étude a été menée à l'aide de l'outil de vérification formelle RAT. Il a notamment été prouvé que la connexion d'un moniteur asynchrone avec un circuit synchrone(à surveiller) était un point particulièrement délicat car les hypothèses du circuit synchrone contraignent le moniteur asynchrone. Il a donc été proposé d'introduire un dispositif de contrôle de l'horloge du circuit synchrone, appelé " clock stretching ", afin de relaxer les hypothèses temporelles synchrones qui sont appliquées à la partie asynchrone.

No description available.

This thesis represents an attempt to improve the state of the art in our ability tounderstand and check object protocols, with a particular emphasis on concurrent pro-grams. Object protocols are the patterns of use imposed on clients of APIs in object-oriented programs. We show through an empirical study of open-source object-oriented programs that object protocols are quite common. We then present “Sync-or-Swim,” a methodology and suite of accompanying tools for checking at compile-time that object protocols are used and implemented correctly. This methodology isbased upon the existing access permissions method of alias control, which is hereextended to be sound in the face of shared-memory concurrency. The analysis isformalized as a type system for an object-oriented calculus, and then proven to befree from false-negatives using a proof of type safety. The type system is extendedwith parametric polymorphism, or “generics,” in order to increase its ability to checkcommonly occurring patterns. An implementation of the approach, a static analysisfor programs written in the Java programming language, is presented. This imple-mentation was used to perform a series of case studies whose goal was to evaluatethe ease of use, expressiveness and ability to verify commonly occurring patterns.These case studies are presented. Next, an approach and an associated tool for in-ferring access permission annotations is presented. This inference tool can reducethe burden of using our protocol-checking approach by automatically inferring therequired typing annotations. This inference is built upon a system of probabilisticconstraints, which allows the easy encoding of heuristics. Finally, an optimization ofsoftware transactional memory runtimes is presented. This optimization is enabledby the typing annotations required to use the concurrent protocol checker and canremove some of the overhead typically associated with transactional memory sys-tems. As a result of the work presented in this thesis, it is possible to guarantee theabsence of certain API usage errors even in concurrent programs, and to do so witha low burden on programmers. By adhering to such an approach, programmers canproduce more reliable software.

In this thesis the structure of the nominal group in Black South African English (BSAfE) is investigated by means of a comparison of data from the Tswana Learner English Corpus (TLEC) and the Louvain Corpus of Native English Essays (LOCNESS). Both corpora consist of student essays and are sub-corpora of the International Corpus of Learner English (ICLE). The TLEC represents a non-native variety of English, namely BSAfE, while LOCNESS represents native English from the United States and the United Kingdom. In the existing literature there are observations about and examples of (non-standard) characterizing features of BSAfE pertaining to nouns, determiners and quantifiers (e.g. Gough 1996), but until now, no in-depth study of the grammar of the nominal group in BSAfE has been undertaken. This study is an attempt to fill that gap. I present a description of the grammatical features of BSAfE observed in the corpus data in terms of linguistic functions and without assuming that they are errors or evidence of deficiencies. Though the approach is comparative (in the sense that a control corpus is used), it is primarily descriptive and non-normative, and as such, function-based. This study is conducted within the theoretical framework of functional linguistics, drawing on systemic functional linguistics as well as other functional and cognitive approaches to language. The specifying functions that the nominal group and its elements may fulfill form the basis of the descriptive framework. These functions are (1) the type-specifying function of the noun, (2) the (referent-)specifying function of the determiner, (3) quantification and (4) quality specification by modifiers and complements. The type-specifying function of the noun is particularly relevant in Chapter 4, which deals with the grammatical patterns of the noun people, although it also informs analyses in Chapters 5 and 6 which deal with determiners and quantification respectively. Quality specification is especially relevant in the description of the grammatical patterns of the noun people. The noun people is the most frequent noun in each of the corpora, but is at the same time a positive keyword in the TLEC, which means that it occurs much more frequently in the TLEC than in LOCNESS. Analysis of the full corpus concordances of this noun provides much evidence of anti-deletion in BSAfE (as first postulated by Mesthrie, 2006) and also sheds some light on left dislocation patterns involving the noun people (cf. Mesthrie, 1997). This analysis also reveals unique uses of the definite article and certain quantifying constructions in the TLEC data, which are investigated in the next two analysis chapters. A comparison of concordance samples of the articles indicates that the definite/indefinite distinction is made in both corpora and that there is not enough corpus evidence to postulate that there is a different system underlying the choice of article in BSAfE, such as a system based principally on the specific/non-specific distinction, as postulated by Platt, Weber and Ho (1984) for New Englishes in general. Analysis of the concordances of demonstrative and possessive determiners indicate that these determiners are used proportionally more frequently in the TLEC than in LOCNESS. Concordances of the words that are normally classified as quantifiers indicate that there are many more partitive-of quantifying constructions in the TLEC than in LOCNESS. The words some and most are positive keywords in the TLEC. After analyses of their concordances, it is concluded that their relative frequency can be attributed to the fact that some is often used merely as an indefinite marker and that most is often used as a synonym for many. The study shows that BSAfE largely shares its general grammar of the nominal group with other (including native) varieties of English, but at a finer level of analysis, some characteristic constructions and uses are detected. The corpus data indicate that the unique constructions in the TLEC data are mostly functionally motivated. These constructions represent conventionalized innovations in the sense used by Van Rooy (2010), rather than mere language learning errors. / Thesis (PhD (Linguistics and Literary Theory))--North-West University, Potchefstroom Campus, 2012