CATALOGS, PLANCK (Artificial satellite), MODEL validation, and NAVIGATION
OCL is widely used by model-driven engineering tools with different purposes like writing integrity constraints for meta-models, as a navigation language in model transformation languages or to define transformation specifications. Another scenario is the automatic generation of OCL code by a repair system. These generated expressions tend to be complex and unreadable due to the nature of the generative process. However, to be useful this code should be simple and resemble manually written code as much as possible when a developer must manually maintain it. There exists refactorings approaches for manually written OCL code, but there is no tool targeted to the optimisation of OCL expressions which have been automatically synthesised. Moreover, there is no available catalogue of OCL refactorings which can be integrated seamlessly into a tool. In this work, we contribute a set of refactorings intended to optimise OCL expressions, notably covering cases likely to arise in generated OCL code. We also contribute the implementation of these refactorings, built as a generic transformation catalogue using bentō, a transformation reuse tool for ATL. This makes it possible to specialise the catalogue for any OCL variant based on Ecore. Moreover, we propose a method to verify the correctness of the implemented catalogue based on translation validation and model finding. We describe the design and implementation of the catalogue and evaluate it by optimising a large amount of OCL expressions and proving the correctness of each optimisation execution. We also derive working implementations of the catalogue for ATL, EMF/OCL and SimpleOCL made available in a tool called BeautyOCL. [ABSTRACT FROM AUTHOR]
Due to the lack of studies on the history of librarianship in the Border Guard Special Corps (BGSC), this article considers for the first time the history of creation and development of the library at its headquarters. The purpose of the article is the reconstruction of the library stocks, first of all its quantitative indices and thematic content, basing on "The Library Catalogue of the Headquarters of the Border Guard Special Corps" of 1906. The author widely used the method of comparative analysis, which allowed to reveal the catalogue shortcomings, common to pre-revolutionary libraries, and specific features of catalogue compilation, to identify similarities and differences in the subject matter of the available publications and their distribution between Military Department divisions with similar book collections (using the example of "Systematic Catalogue of books of the Library of Headquarters of the Moscow Military District, published in the same 1906, and three additions to it). The core of the source base of the study were the library catalogues and orders of the chiefs of the Border Guard. This study allowed the author to establish the date of creation of the library, which should be considered January 30, 1895, as on that day the Corps Headquarters Order No. 12 recorded the first receipt of books and quantitative indices of the stock, which included 33 authors (names) in 110 volumes. According to the catalogue, by 1906 the library included 454 authors (names) of publications in 1396 volumes. The article revealed the existence of one more library at the headquarters of the BGSC, arranged and operated at Corps Museum. The results show that organising and development of libraries at the headquarters of BGSC and its structural units went in one course with the establishment and further existence of libraries of the Military Department. They had similar departments, same sources of accession, including from the General Staff, depended on the attitude of higher administration and the initiative of the officers themselves. [ABSTRACT FROM AUTHOR]
LIBRARY catalogs, VOCABULARY education, LIBRARIANS, and LIBRARY administrators
This study provides analysis of a large online survey that was distributed to the cataloging community in 2018. The survey aimed to answer a number of important research questions to gain a general sense of the current state of Library of Congress Genre/Form Terms (LCGFT) usage. Findings include an overall broad acceptance of LCGFT, suggesting that the LCGFT project has been successfully embraced as a new controlled vocabulary; however, the adoption of the vocabulary remains uneven, especially between different types of institutions and different areas of the LCGFT vocabulary. Additionally, training points to a much-needed area for improvement as the survey found that the vast majority of non-users of LCGFT had never received vocabulary training. Survey results also suggest that retrospective LCGFT application, particularly using automated means, presents forthcoming challenges for librarians and library IT staff. Despite these limitations and challenges, survey results make it clear that LCGFT has become a widely accepted part of the bibliographic universe that helps to make genre and form information explicitly accessible to library users. [ABSTRACT FROM AUTHOR]
Journal of Management & Social Sciences. 2020, Vol. 9 Issue 1, p802-815. 14p.
Academic librarians, Library catalogs, Personality questionnaires, Academic libraries, and Personality
This study investigated the personality variables of age, gender, experience, and subject background as determinants the cataloguing performance of librarians in Nigerian universities. A descriptive survey method was adopted in the study with the use of Cataloguers' Personality Variables Questionnaire (CPVQ) and Cataloguers' Practical Cataloguing Test (CPCT) designed by the researcher to collect data from 304 librarians in eighteen (18) university libraries from the six (6) geo-political zones of Nigeria. Descriptive statistic method was used to analyse data, answer research questions and test the hypotheses. The study revealed that each of the personal variables significantly influenced the cataloguing performance of librarians. The study, therefore, recommended, among other things, that library authorities should deploy librarians to the cataloguing section of the library based on the appropriate personal variables that are most suitable for achieving cataloguing efficiency among cataloguing librarians. [ABSTRACT FROM AUTHOR]
INTELLIGENT personal assistants, ONLINE library catalogs, ACADEMIC libraries, INTEGRATED library systems (Computer systems), and UNIVERSITIES & colleges
The article focuses on the world increasingly powered by machine learning, library and education environments alike share an emerging focus on artificial intelligence (AI). Topics include the AI literacy and leveraging the twenty-first-century boom of voice assistant technology, and educational applications have emerged, and the span all phases of education from early learning through higher education institutions and beyond.