Sciweavers

5961 search results - page 523 / 1193
» Design Science and Software Engineering
Sort
View
AOSD
2008
ACM
15 years 9 months ago
Test-based pointcuts for robust and fine-grained join point specification
We propose test-based pointcuts, a novel pointcut mechanism for AspectJ-like aspect-oriented programming languages. The idea behind the test-based pointcuts is to specify join poi...
Kouhei Sakurai, Hidehiko Masuhara
AVI
2006
15 years 8 months ago
Programming rich interactions using the hierarchical state machine toolkit
Structured graphics models such as Scalable Vector Graphics (SVG) enable designers to create visually rich graphics for user interfaces. Unfortunately current programming tools ma...
Renaud Blanch, Michel Beaudouin-Lafon
EMSOFT
2003
Springer
16 years 13 days ago
Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment
Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques ...
Albert Benveniste, Luca P. Carloni, Paul Caspi, Al...
GI
2009
Springer
15 years 12 months ago
Perspectives on Tag Clouds for Supporting Reflection in Self-organised Learning
: Tags are popular for organising information in social software based on the personal views of the participants on the information. Tags provide valuable attention meta-data on a ...
Christian Glahn, Marcus Specht, Rob Koper
AVI
2008
15 years 9 months ago
A mixed-fidelity prototyping tool for mobile devices
In this paper we present a software framework which supports the construction of mixed-fidelity (from sketch-based to software) prototypes for mobile devices. The framework is ava...
Marco de Sá, Luís Carriço, Lu...