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.
We present the results of a pilot study in which twenty K-12 teachers were introduced to LEGO NXT-G robot programming through a three-day summer workshop. Our aim was to give teachers the confidence and skills to start after-school robotics programs with their students. We present details on the workshop, including the approach we used to recruit teachers and an overview of the three-day course. We...
While the advent of open source code search tools have made the source code of thousands of open source software (OSS) readily accessible, thereby increasing legitimate reuse, it has also opened up the possibility of unconscientious employees plagiarizing code from OSS repositories. Plagiarism in proprietary software would not only lead to costly lawsuits, but also undermine the credibility of the...
Programmers learning how to use an API or a programming language often rely on code examples to support their learning activities. However, what makes for an effective ode example remains an open question. Finding the haracteristics of the effective examples is essential in improving the appropriateness of these learning aids. To help answer this question we have onducted a qualitative analysis of...
Project based workshop on LED dimmer control with FPGA development kit, is aimed to increase practical skills for engineering students. Workshop consists of lectures and various laboratory works, which implements widely used industry tasks as examples, like indication with 7 segment display, serial communication, and specific timer module for PWM generation and proportional regulator for power converter...
We present the huddle, a concept for extending games in which the player is responsible for a group of game characters. The huddle combines several AI methods to allow the player to create a cooperative strategy for his characters to solve a scenario of the game and it takes away from the player the need to frantically jump around in controlling his characters to employ the strategy idea he has. The...
The FOL to CF system is a web-based interactive system that aims at helping students in learning converting first order logic (FOL) formulas to their clause form (CF). In this paper, we present a system for automatic marking FOL to CF conversion exercises with feedback. First, the system checks a student's answers in order to spot and recognize errors made. This is done after having analyzed each...
There are many good reasons for turning co-located projects distributed, likewise there are many good reasons for turning traditional projects agile. In both cases there are many obstacles to overcome and pitfalls to avoid and the combination of agile and distributed does not make this situation any better. In general Configuration Management works as the infrastructure of any software project and...
The aim of our research is the integration of personas into the requirements engineering process. The persona technique enables a better understanding of users' characteristics and thereby highlights the user needs in software development. We identify fundamental supporting purposes of personas for the requirements engineering process and match these benefits to the activities of the process.
The use of agile methodologies in industry has increased significantly over the past decade, promoting the value of human-centric software development process. This growing use derives the need to adjust agile methodologies to bigger, more complex system development projects, where architecture plays a significant role. However, many believe that an essential conflict exists between the requirement...
Distributed Generation (DG) integrated into distribution networks continued to grow both in number and size. Governments' incentives and obligations for a sustainable energy ensure that DG is going to be an important element in the future distribution systems. To achieve the maximum benefits of DG, factors such as the number and the capacity of the units and the best location have to be considered...
A review of the literature showed that the probability of system success, i.e. user acceptance, system quality and system usage, can be increased by user-developer communication. So far most research on user participation focuses either on early or on late development phases. Especially large IT projects require increased participation, due to their high complexity. We believe that the step in software...
This paper presents review of literature on global software development “G.S.D” and the use of agile methodologies in GSD. Three major themes were identified from extant literature on GSD: performance of global software development, governance related issues and software engineering process related issues. Further analysis of literature on agile methods and GSD showed that repertoire of methodologies...
Pointers are one of the most difficult to understand topics in programming courses. Since the topic is some virtual, the students of computer science face with difficulties in understanding. They hardly imagine the addresses of memory cells, their contents, and the pointers pointing to those memory cells. To test the knowledge and to reinforce the explanations done on the lecture hours, we have intended...
A new current-programmed pixel design for AMOLED displays is presented in this manuscript. The proposed pixel is designed by using organic thin-film transistors and it exhibits high immunity to the threshold voltage variations of the transistors threshold voltage shift, caused by the bias stress and the intrinsic properties of the organic materials. The pixel's main advantages are the fact that it...
The parallel programming community will soon be entering the `jungle' of heterogeneous hardware and software. Unfortunately, we are not adequately preparing future programmers (today's students) to cope with the many challenges of heterogeneous concurrency, especially in their ability to rigorously specify and verify concurrent systems. Concerted action is urgently needed to create a body of education...
interpretation-based value analysis is a classical approach for verifying programs with floating-point computations. However, state-of-the-art tools compute an over-approximation of the variable values that can be very coarse. Constraint solvers have recently been used to significantly refine the approximations computed by such tools. In this paper, we introduce a hybrid approach that combines abstract...
Regression faults are inevitably introduced in software development. Identifying and fixing regression faults can be tedious and time-consuming. The goal of my doctoral research is to provide an automated practical technique to effectively and efficiently locating failure-inducing changes. In this work, the research problem and related work is discussed first. Then, our approach, research questions,...
With the popularity and development of the embedded software and Internet in recent years, researches on adaptive software has gradually become a research hotspot through the software industry. Peter Norvig etl. ,analysed the development of software from the point of programming, and deemed that now it is the period of adaptive programming , and is very optimistic about the adaptive Software.
Aspect oriented programming is a new paradigm of software development. It introduces new types of faults. Mutation testing is a technique which can tackle these faults systematically. The effectiveness of testing depends on the coverage of testing locations to find faults and mutant generation based on these faults using different mutation operators. In this paper, we present an automated mutation...
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.