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.
The Symbolic Execution Debugger (SED) is an extension of the Eclipse debug platform for interactive symbolic execution. Like a traditional debugger, the SED can be used to locate the origin of a defect and to increase program understanding. However, as it is based on symbolic execution, all execution paths are explored simultaneously. We demonstrate an extension of the SED called Interactive Verification...
The technological deployment of Tangible User Interfaces (TUI) with their intrinsic ability to interlink the physical and digital domains, have steadily gained interest within the educational sector. As a concrete example of Reality Based Interaction, such digital manipulatives have been successfully implemented in the past years to introduce scientific and engineering concepts at earlier stages throughout...
Developing large-scale software applications in teams has long been a popular feature of capstone courses in computing degree programs, particularly in the fields of computer science and software engineering. Instructors utilize real world problems as well as external clients to motivate the students and to provide authentic experiences. Within the field of game design and development, students have...
This paper describes a complete exercise program in an analogue electronics module in engineering education, where remote laboratories are used as an integral part of the exercise program, facilitating also off-campus students. The paper describe how the exercise program and the laboratory assignments aides the students in fulfilling the learning objectives of the module. The creation of a link between...
Researchers share their results through articles that are published and indexed in scientific databases, which are useful to consult in future research. Generally, the user interface of these databases are traditional, restrict user interaction and limit their field of view. In this paper a new interface model is proposed, based on virtual reality and natural language processing, which together provide...
Many challenges confront developers in the field of web engineering. Platform independence as well as the inclusion of domain experts in all phases of the development process are two examples of the most challenging aspects encountered in developing web applications. This paper1 proposes a solution, based on XML technologies, to these two problems.
La navegación de los modelos de software en las actuales herramientas CASE es realizada a través del uso de árboles de navegación, y el desplazamiento en los diagramas es realizado típicamente por barras de scroll laterales. Este mecanismo introduce una discontinuidad entre la información desplegada que puede causar cargas cognitivas y mecánicas para los usuarios. La solución propuesta para enfrentar...
Although many open data portals have been publishing numerous datasets on the Web, there is currently no clear standard way to describe dataset usage on the Web, which is not conducive to the healthy development of the open data ecosystem. The W3C Data on the Web Best Practices Working Group is therefore standardizing the Dataset Usage Vocabulary (DUV) for modeling, conveying and sharing dataset usage...
This industrial research paper outlines an outcome of a machine leaning approach to dynamically generate context sensitive Application User Interfaces (Adaptive UI) on top of a monolithic enterprise software product.
[Background] Software Engineering (SE) is predominantly a team effort that needs close cooperation among several people who may be geographically distributed. It has been recognized that appropriate tool support is a prerequisite to improve cooperation within SE teams. In an effort to contribute to this line of research, we have designed and developed an infrastructure, called ABC4GSD, based on the...
Research related to software metrics are becoming increasingly important and widespread. A topic that grew in this area is the measurement of software quality with a focus on usability. Setting a metric focused on usability can help project managers to track design progress and support in making decisions about when a product should be released. However, it is necessary to select appropriate measurement...
The proposed patterns for a specific domain were widely used for the concept of reusing of the resolved problems to similar ones. The verification criteria for proposed patterns evaluation are one of the important factors that affect the patterns quality. This research proposed patterns verification method and criteria based on quality attributes in order to improve patterns validity. The method was...
AngularJS is one of the widely used frameworks for modern single-page web application development which is designed to support dynamic views in the applications. To further assist AngularJS developers, this research proposes how the concept of model-driven development can be applied to AngularJS-based development. We propose a UML profile for AngularJS for building a model of an AngularJS web application,...
Technology enhanced education has been recently established as a new approach for all stages of education in developing countries, especially in Macedonia. Although computer games are often given little attention we believe that within the vast amount of technologies and instruments used to achieve the needed improvements it is computer games that are playing the central role in delivering the desired...
Video games have grown in popularity since the 1980's. The largest consumers of video games are youth populations. Previous research has shown cognitive development and learning principles in video games. As a result, there is an increasing interest in games being teaching tools. Gamification is the use of video game elements in non-game applications. In this paper, I proposed a design to a study...
While coding, developers construct and maintain mental models of software systems to support the task at hand. Although source code is the main product of software development, the process involves navigating and inspecting entities beyond the ones that are edited by the end of a task. Developers use various user interfaces (UI) offered by the Integrated Development Environment (IDE) to navigate the...
The development of effective user interfaces for an autonomous system can be quite difficult, especially for devices that are to be operated in the field where access to standard computer platforms may be difficult or impossible. One approach in this type of environment is to utilize tablet or phone devices, which when coupled with an appropriate tool such as ROSBridge can be used to connect with...
There is a demand for a way for blind persons to receive information at any time and in any place. Therefore the author developed the world's first wristwatch-style refreshable braille display. In this paper, an user interface which enable an appropriate interaction with host computer using such several-cell braille displays is introduced and explained.
Informal and semi-formal specifications are commonly adopted for requirements engineering (RE), especially for customer-oriented system development projects, but their validity with respect to the user's requirements is usually difficult to perform. The common reason for the difficulty is that the specifications are often misinterpreted by the stakeholders due to the ambiguity of the natural language...
User Interfaces (UI) design is a complex and multi-faceted problem. It depends on devices, users and their environments and involves various stakeholders with different backgrounds. Moreover, user requirements are difficult to evaluate precisely upfront and require iterative design cycles based on trial and error. All this variability is complex and should be managed efficiently to ensure moderate...
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.