1069 search results - page 47 / 214 » Automatic Generation of Language-based Tools |
KBSE
2006
IEEE
15 years 5 months ago
2006
IEEE
The Visual Contract Workbench is a tool that supports model-driven development of software systems by lifting the Design by Contract idea, which is usually used at the code level,...
105
click to vote
TAICPART
2006
IEEE
15 years 5 months ago
2006
IEEE
Testing compositions of web services is complex, due to their distributed nature and asynchronous behaviour. However, research in this field is scarce. We propose a new testing me...
ISSRE
2008
IEEE
15 years 6 months ago
2008
IEEE
A critical problem facing today’s internet community is the increasing number of attacks exploiting flaws found in Web applications. This paper specifically targets input valida...
112
click to vote
PC
2006
14 years 11 months ago
2006
Tiling is a well known loop transformation used to reduce communication overhead in distributed memory machines. Although a lot of theoretical research has been done concerning th...
DATE
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper we propose an embedded software design flow, which starts from an UML model and provides automatic mapping to other models like Simulink or finite-state machines (FS...