13456 search results - page 42 / 2692 » Design and Development in the |
SIGSOFT
2010
ACM
13 years 7 months ago
2010
ACM
This paper provides an overview of important software engineering research issues related to the development of applications that run on mobile devices. Among the topics are devel...
EUROMICRO
2003
IEEE
14 years 2 months ago
2003
IEEE
EICS
2010
ACM
13 years 11 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...
FDL
2005
IEEE
14 years 3 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...
ACSD
2003
IEEE
14 years 1 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...