Serwis Infona wykorzystuje pliki cookies (ciasteczka). Są to wartości tekstowe, zapamiętywane przez przeglądarkę na urządzeniu użytkownika. Nasz serwis ma dostęp do tych wartości oraz wykorzystuje je do zapamiętania danych dotyczących użytkownika, takich jak np. ustawienia (typu widok ekranu, wybór języka interfejsu), zapamiętanie zalogowania. Korzystanie z serwisu Infona oznacza zgodę na zapis informacji i ich wykorzystanie dla celów korzytania z serwisu. Więcej informacji można znaleźć w Polityce prywatności oraz Regulaminie serwisu. Zamknięcie tego okienka potwierdza zapoznanie się z informacją o plikach cookies, akceptację polityki prywatności i regulaminu oraz sposobu wykorzystywania plików cookies w serwisie. Możesz zmienić ustawienia obsługi cookies w swojej przeglądarce.
The value of a software product diminishes due to emerging new requirements and gradual changes in system usage patterns over its lifespan, including other direct or indirect impacts from the surrounding environment. Often new requirements or changes cannot be addressed instantly; therefore, the system becomes less effective with incompatible or unused features, gradually degrading the overall value...
Automatically generating unit tests is a powerful approach to exercise complex software. Unfortunately, current techniques often fail to provide relevant input values, such as strings that bypass domain-specific sanity checks. As a result, state-of-the-art techniques are effective for generic classes, such as collections, but less successful for domain-specific software. This paper presents TestMiner,...
Based on study of risk assessment models on domestic and foreign countries' software projects, this paper adopted Fuzzy Analytic Hierarchy Process to establish the risk assessment model for software projects, so as to realize the effective risk assessment on software projects.
This paper presents a conceptual framework for co-design (by multidisciplinary team) Location-based Mobile Learning Applications. Four stages are identified related with this kind of applications: conceptual design, development cycle, put into practice and evaluation. This paper is focus on the first stage, the conceptual design. For this stage, relevant features are described. In particular, good...
We present a systematic mapping, also called science mapping, to identify major areas of research activities concerning Learning Technology and the evolution from one area to another. The purpose of this work is to compare international tendencies with the LACLO community. The systematic mapping is primarily guided by author's keywords co-occurrence in the dataset selected. The scope of the data is...
Automatic loop-invariant generation is important in program analysis and verification. In this paper, we propose to generate loop-invariants automatically through learning and verification. Given a Hoare triple of a program containing a loop, we start with randomly testing the program, collect program states at run-time and categorize them based on whether they satisfy the invariant to be discovered...
We propose a language definition to specify exercises with embedded variability. Using this language it is possible to process exercise specifications on a computer with the benefits of allowing an efficient retrieval and automatically generating different test versions for each of the different available platforms. These exercises, defined according to the previous specifications, should be ideally...
This article contains a new alternative to the nondestructive hyperspectral analysis of the fermentation process of the cocoa bean. The study focuses on the chemical changes of the bean, measured along the eight days of fermentation in the wood boxes, and relating it to a new hyperspectral index. The study compares several beans looking for a new index, obtaining, for each index, a variety of curves...
University admission exams belong to so-called high-stakes tests, i. e. tests with important consequences for the exam taker. Given the importance of the admission process for the applicant and the institution, routine evaluation of the admission tests and their items is desirable. In this work, we introduce a quick and efficient methodology and on-line tool for semi-real-time evaluation of admission...
The main purpose of this study is to present solution approaches for the challenges during developing software projects. Besides, process models, design principles and technical approaches are submitted through personal experiences.
The basic indicators of the life cycle of technology were analyzed and the generalized system for the evaluation of the life cycle phase is allocated. Indicators are considered as properties that technology must have to fit a certain stage of its existence. The existing approaches of technology development analysis were studied. The generalized classification, which is a list of indexes for the proper...
Companies deal with different problems that must be solved. Operations Research offers a methodology (SSM) that helps to identify their solutions. This project consisted in analyzing components of a real supermarket process in order to identify process improvements. SSM helped to find feasible improvements which were analyzed applying Agile Requirements.
Survivability of optical networks is considered among the most critical problems that telecommunications operators need to solve at a reasonable cost. Survivability can be enhanced by increasing the amount of network links and its spare capacity, nevertheless this deploys more resources on the network that will be used only under failure scenarios. In other words, these spare resources do not generate...
Typologies of college graduates of the Faculty of Exact, Physical and Natural Sciences (FCEFN) of the National University of San Juan, which have relevance in their academic performance and in the academic quality of the faculty were established. For that purpose we worked with college graduates of year 2014, by applying two data analysis approaches: the classical and the symbolic one. For the first...
Link prediction has become an important research topic in the field of complex networks. The purpose of link prediction is to find the missing links or predict the emergence of new links that do not present currently in a complex networks. Considering that the local centrality of common neighbor nodes have an important effect on the similarity-based algorithm, but every centrality measure has its...
With the rapid development of educational information, the market demand for early childhood education software is increasing. But the evaluations of early childhood education softwares have fallen behind the development of software products. In this paper, we take the United States Haugland / Shade as evaluation criteria to evaluate those Apps with great download amount and with better feedbacks...
This paper presents ionospheric scintillation data recorded at SANAE in Antarctica during a moderate geomagnetic storm on 20–21 January 2016 which gives evidence of the advantages of the new generation of instrumentation for monitoring ionospheric scintillation. The data was collected as part of the DemoGRAPE project aimed at the demonstration of cutting edge technology for the empirical assessment...
Identification of runoff generation areas and erosion prone zones of a watershed are important for the efficient and effective implementation of the greatest management practices for preserving the natural resources. In the present study, an effort is completed to recognize the critical erosion-prone zones of the study area by using the spatially distributed parameters liable for hazards of erosion...
Particulate matters (PM) have substantial influences on environmental system, climate change and public health. Ground based PM2.5 concentration measurement is insufficient in many circumstances. In this study, we using satellite retrieved AOD and other meteorological parameters such as the planetary boundary layer height (PBLH), temperature (TEMP), relative humidity (RH), U wind component (U), V...
A new radiometry and design framework has been introduced in the latest Digital Imaging and Remote Sensing Image Generation model (DIRSIG5) that allows for faster simulations while streamlining the generation of high-fidelity radiometric data. The same framework that allows for improved computational performance has also modularized simulation components to allow for extensive interchangeability based...
Podaj zakres dat dla filtrowania wyświetlonych wyników. Możesz podać datę początkową, końcową lub obie daty. Daty możesz wpisać ręcznie lub wybrać za pomocą kalendarza.