13457 search results - page 64 / 2692 » Design and Development of the Long-Jumping |
131
click to vote
EICS
2010
ACM
15 years 3 months ago
2010
ACM
In this paper we present a method and the associated tool support able to exploit the content of Web service annotations in model-based user interface design and development. We a...
EUROMICRO
2007
IEEE
15 years 7 months ago
2007
IEEE
129
click to vote
ACSD
2003
IEEE
15 years 5 months ago
2003
IEEE
We present the -Spaces framework, a tool designed to support every step of a security protocol's life cycle. Its Integrated Development Environment (IDE) eases the task of pr...
FDL
2005
IEEE
15 years 7 months ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
104
click to vote
ISF
2007
2007
Requirements traceability in model-driven development: Applying model and transformation conformance
15 years 1 months ago
The variety of design artifacts (models) produced in a model-driven design process results in an intricate relationship between requirements and the various models. This paper prop...