517 search results - page 63 / 104 » Specification transformers: a predicate transformer approach... |
147
click to vote
INFSOF
2006
15 years 6 months ago
2006
: Mass customization has become one of the key strategies for a service provider to differentiate itself from its competitors in a highly segmented global service market. This pape...
179
click to vote
NCA
2010
IEEE
15 years 1 months ago
2010
IEEE
Programmability is an increasingly important barrier to the deployment of multi-robot systems, as no prior approach allows routine composition and reuse of general aggregate behavi...
180
click to vote
RTCSA
2006
IEEE
16 years 22 days ago
2006
IEEE
In this paper, we present a model-driven approach to RTOS-based embedded software development and an automated tool that can produce RTOS-specific code. Our contributions are two ...
258
click to vote
DSVIS
2008
Springer
15 years 8 months ago
2008
Springer
In the last years User Interface Description Languages (UIDL) appeared as a suitable solution for developing multi-target user interfaces. By applying appropriate model transformat...
190
click to vote
RE
2004
Springer
16 years 2 days ago
2004
Springer
There has been significant recent interest, within the Aspect-Oriented Software Development (AOSD) community, in representing crosscutting concerns at various stages of the softwa...