In these days, some primary schools have computer-based lessons using programming tools such as Squeak eToys to promote the ability of logical thinking ability and scientific concept. However, some students often give...
详细信息
ISBN:
(纸本)9780769536200
In these days, some primary schools have computer-based lessons using programming tools such as Squeak eToys to promote the ability of logical thinking ability and scientific concept. However, some students often give up their study at the programming lessons, and how to keep their motivation is an important problem. this paper describes the development of a project exchange tool for Squeak eToys using tangible media. We also report the results of evaluation on the usefulness of this method through conducted verification in primary school.
the use of low-level techniques, such as bytecode instrumentation to develop tools for profiling, debugging, testing, and reverse engineering is error-prone, time-consuming, and therefore costly. As a solution to thes...
详细信息
ISBN:
(纸本)9781605585987
the use of low-level techniques, such as bytecode instrumentation to develop tools for profiling, debugging, testing, and reverse engineering is error-prone, time-consuming, and therefore costly. As a solution to these problems, we promote high-level aspect-oriented programming for rapid tool development so as to hide low-level instrumentation details from the developer. We show that our aspect-based approach yields concise tools that are easy to develop and extend, hence reducing development and testing costs. As enabling technology, we rely on MAJOR, a new tool for comprehensive aspect weaving, which ensures that aspects are woven into all methods executing in a Java Virtual Machine (after an initial bootstrapping phase), including methods in the standard Java class library. MAJOR also supports efficient access to a complete and customizable calling context representation thanks to the pluggable module CARAJillo. Both comprehensive aspect weaving and efficient access to calling context information are of paramount importance in the aforementioned domains. Copyright 2009 ACM.
One of the key issues in developing applications on the new multicore clustering environment is to select a right programming system. Traditional parallel programming system development is usually targeted the develop...
详细信息
the proceedings contain 6 papers. the topics discussed include: fuzzing and delta-debugging SMT solvers;fast and flexible proof checking for SMT;an extension of the Davis-Putnam procedure and its application to prepro...
the proceedings contain 6 papers. the topics discussed include: fuzzing and delta-debugging SMT solvers;fast and flexible proof checking for SMT;an extension of the Davis-Putnam procedure and its application to preprocessing in SMT;programming with triggers;expressive description logics via sat: the story so far;and on locally minimal nullstellensatz proofs.
SOCK is a process calculus for the modeling of Service Oriented systems recently extended with primitives for dynamic fault and compensation handling. In this paper We investigate the relationships between the Sagas c...
详细信息
ISBN:
(纸本)9780769538709
SOCK is a process calculus for the modeling of Service Oriented systems recently extended with primitives for dynamic fault and compensation handling. In this paper We investigate the relationships between the Sagas calculi for compensable flow composition and SOCK. First, we present an encoding of Parallel Sagas (with interruption and centralized compensation) into SOCK then, we discuss a new semantics for Parallel Sagas that we consider more adequate to the dynamic approach to fault and compensation handling.
When several incompatible implementations of a single API are in use in a Java program, the danger exists that instances from different implementations may inadvertently be mixed, leading to errors. In this paper we s...
详细信息
ISBN:
(纸本)9781605585987
When several incompatible implementations of a single API are in use in a Java program, the danger exists that instances from different implementations may inadvertently be mixed, leading to errors. In this paper we show how to use generics to prevent such mixing. the core idea of the approach is to add a type parameter to the interfaces of the API, and tie the classes that make up an implementation to a unique choice of type parameter. In this way methods of the API can only be invoked with arguments that belong to the same implementation. We show that the presence of a type parameter in the interfaces does not violate the principle of interface-based programming: clients can still completely abstract over the choice of implementation. In addition, we demonstrate how code can be reused between different implementations, how implementations can be defined as extensions of other implementations, and how different implementations may be mixed in a controlled and safe manner. To explore the feasibility of the approach, gauge its usability, and identify any issues that may crop up in practical usage, we have refactored a fairly large existing API-based application suite, and we report on the experience gained in the process. Copyright 2009 ACM.
the aim of activity recognition is to identify automatically what a person is doing at a given point in time from a series of observations. Activity recognition is a very active topic and is considered an essential st...
详细信息
ISBN:
(纸本)9781424433032
the aim of activity recognition is to identify automatically what a person is doing at a given point in time from a series of observations. Activity recognition is a very active topic and is considered an essential step towards the design of many advanced systems. Recently, mobile and embedded systems have received growing interest as context-sensing platforms for activity recognition. However, these devices have limited battery life and do not allow continuous user tracking. In this paper, we present a novel activity tracking method integrating a dynamic programming algorithm for sequence alignment into a nearest-neighbour classifier. Our scheme is capable of filling gaps in sensed data by exploiting long-range dependencies in human behaviour. Initial experiments on a standard dataset show very promising results even with little training data.
During the planning and optimization stages of industrial manufacturing work cells with robots, the engineer often faces an unmanageable amount of possible process alternatives. this is especially true for layout plan...
详细信息
ISBN:
(纸本)9789077381489
During the planning and optimization stages of industrial manufacturing work cells with robots, the engineer often faces an unmanageable amount of possible process alternatives. this is especially true for layout planning and robot pathprogramming with regard to reachability, collision behavior and minimum cycle times. In this paper, we present the automated variant simulation as a means to support the engineer in his decision process. the automated variant simulation allows the definition of variable parameters of a process, varies these automatically, simulates the modified process and evaluates the simulation results to find optimum parameters and thus the "best" process variant. We show the general idea of the automated variant simulation and describe its integration into a 3-D simulation system. Finally, we present a case study of a successful application in industry.
functional and non-functional concerns require different programming effort, different techniques and different methodologies when attempting to program efficient parallel/distributed applications. In this work we pre...
详细信息
ISBN:
(纸本)9783642041662
functional and non-functional concerns require different programming effort, different techniques and different methodologies when attempting to program efficient parallel/distributed applications. In this work we present a "programmer oriented" methodology based on formal tools that permits reasoning about parallel/distributed program development and refinement. the proposed methodology is semi-formal in that it does not require the exploitation of highly formal tools and techniques, while providing a palatable and effective support to programmers developing parallel/distributed applications, in particular when handling non-functional concerns.
In this paper we propose a systematic strategy for migrating crosscutting concerns in existing object-oriented systems to aspect-oriented programming solutions. the proposed strategy consists of four steps: mining, ex...
详细信息
In this paper we propose a systematic strategy for migrating crosscutting concerns in existing object-oriented systems to aspect-oriented programming solutions. the proposed strategy consists of four steps: mining, exploration, documentation and refactoring of crosscutting concerns. We discuss in detail a new approach to refactoring to aspect-oriented programmingthat is fully integrated with our strategy, and apply the whole strategy to an object-oriented system, namely the JHotDraw framework. Moreover, we present a method to semi-automatically perform the aspect-introducing refactorings based on identified crosscutting concern sorts which is supported by a prototype tool called sair. We perform an exploratory case study in which we apply this tool on the same object-oriented system and compare its results withthe results of manual migration in order to assess the feasibility of automated aspect refactoring. Boththe refactoring tool sair and the results of the manual migration are made available as open-source, the latter providing the largest aspect-introducing refactoring available to date. We report on our experiences with conducting both case studies and reflect on the success and challenges of the migration process.
暂无评论