2493 search results - page 47 / 499 » Tool Support for Design by Contract |
ICSEA
2007
IEEE
15 years 4 months ago
2007
IEEE
The actual standards for service authoring, composition and development are not easy to port and to apply for next generation mobile applications. This paper describes some tools ...
WCRE
1999
IEEE
15 years 2 months ago
1999
IEEE
Several techniques have been suggested for supporting reverse engineering and design recovery activities. While many of these techniques have been cataloged in various collections...
ISOLA
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. The complexity of today's embedded systems and their development trajectories requires a systematic, model-driven design approach, supported by tooling wherever poss...
CHI
2005
ACM
15 years 10 months ago
2005
ACM
This workshop aims to gather researchers in the field of user interface design tools to identify important themes for the next decade of research. These tools aid in the design an...
RTSS
2007
IEEE
15 years 4 months ago
2007
IEEE
— We have developed an analysis-based design tool, ANDES, for modeling a wireless sensor network system and analyzing its performance before deployment. ANDES enables designers t...