The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Regression testing is an important part of software development, but it can be very time consuming. Regression test selection (RTS) aims to speed up regression testing by running only impacted tests—the subset of tests that can change behavior due to code changes. We present STARTS, a tool for STAtic Regression Test Selection. Unlike dynamic RTS, STARTS requires no code instrumentation or runtime...
Soft skills are increasingly important to the engineering profession and course modifications are often needed to ensure students have opportunities to practice them prior to graduation. This suggests that engineering programs need to go beyond simply offering industry-based capstone courses and internships. Role-play has a long history as a tool for learning. It can be used to simulate real world...
Remote Laboratories are used in educational settings as tools to give students access to experiments that are not physically available to them at their institutions. During implementation, problems such as: bandwidth, security or limitations in terms of the usability, have been identified. This paper proposes an approach that integrates, what we call, a Smart Adaptive Remote Laboratory (SARL) with...
It is essential for a constructivist teacher to monitor the apprenticeship of each student in order to facilitate the definition of the next steps in the development of a discipline. Since monitor the apprenticeship is a very complex and time-consuming task, a theoretical framework that supports the observations of the teacher becomes necessary. The use of concept maps to record a students understanding...
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...
On the financial side, a key factor for the success of a smart-city initiative is the low cost of the sensors. On the technical side, the units need to be flexible enough to cover different roles, and to be reconfigurable for a distinct target. The capability to interact with an already deployed infrastructure, like a preexistent web-server, is a favorable feature from both the financial and technical...
The current generation of block languages, with its focus on teaching programming to novices, has not been designed for professionals. In this paper, we argue that blocks-based languages aimed at professional end-user developers face requirements that present challenges to the user interface design of such languages. We discuss three aspects that set potential professional use of block interfaces...
Looking at the end-to-end processing, typical software-intensive systems are built as a system-of-systems where each sub-system specializes according to both the business and technology perspective. One challenge is the integration of all systems into a single system — crossing technological and organizational boundaries as well as functional domains. To facilitate the successful integration we propose...
Based on a systematic review of empirical studies about software components selection and usability techniques applied to a functional prototype, this article maps the functional and non-functional requirements of a components sharing network that aims to accelerate JavaScript software development. Results point out that integrating the development environment to a component search mechanism with...
Requirements engineering provides several practices to analyze how a user wants to interact with a future software. Mockups, prototypes, and scenarios are suitable to understand usability issues and user requirements early. Nevertheless, users are often dissatisfied with the usability of a resulting software. Apparently, previously explored information was lost or no longer accessible during the development...
The article presents the results of studies of the physical security system in the infrastructure facility of a region. The following results have been obtained: structural and functional decomposition of the physical security system for the regional infrastructure has been performed; engineering solutions for the implementation of the standard functions for the subsystems of the research object have...
In their daily practice, academics frequently face lack of access to modern equipment and devices, which are currently in use on the market. Moreover, many students have problems with understanding issues connected to mechatronics due to the complexity, necessity of abstract thinking and the fact that those concepts are not fully tangible. Many studies indicate that virtual reality can be successfully...
Recent research studies indicate a gap in research regarding descriptive and diagnostic analytics across project management knowledge areas. As a result there is mismatch between the information needed by project managers for good decision making and what the current tools provide. This research study purports that a project management intelligence (PMInt) tool which is aimed at assisting project...
Sketching is an important activity for understanding, designing, and communicating different aspects of software systems such as their requirements or architecture. Often, sketches start on paper or whiteboards, are revised, and may evolve into a digital version. Users may then print a revised sketch, change it on paper, and digitize it again. Existing tools focus on a paperless workflow, i.e., archiving...
We present the Configurable Advanced Verification of Software (CAVS), a prototype tool that automatically generates an efficient set of test cases from descriptions of required interface behavior based on Unified Modeling Language (UML) artifacts. The input to CAVS consists of enhanced UML activity diagrams that define the required behavior of a software component as observed on its interfaces. CAVS...
The work is focused on intellectualization of the development process of integrated expert systems basing on the the problem-oriented methodology and AT-TECHNOLOGY workbench. Basic intelligent software environment components like intelligent planner, reusable components, standard design procedures are described. Development process with use of intelligent technology is reviewed. An example development...
In recent years, people's interest in the artificial intelligence (AI) is increasing. Systems with AI technology are developed to be applied to various fields. The study model to create AI whose function simulates a human's mind and feelings and the developments are in progress. We assume that it is impossible to express "human-like qualities" by algorithm for autonomous AI with learning...
Many engineering and business domains involve management of similar, but also different documents. Examples are user guides and other manuals for different versions of a product, contracts between vendors and clients, and legal documents. The usual practice is to capture similarities in templates that must be copied and manually customized to a new context – often a slow, tedious, and error-prone...
Creating new software or software-intensive systems is still a challenge and far removed from a traditional engineering domain. The increasing size of software deployed in typical systems and the emergence of very large highly distributed systems necessitates additional techniques to assure the systems' quality. Using the example of the German automatic toll system we introduce and discuss a simulation...
Harassment, based on photos available on social media and other electronic media, has become a major problem in developing countries where internet usage has emerged without adaptation to privacy, awareness etc. We have developed a software sensing layer on top of existing software that would exploit the social connections and use that information to make sure certain images are revealed or not across...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.