2493 search results - page 401 / 499 » Tool Support for Design by Contract |
CHI
2005
ACM
15 years 10 months ago
2005
ACM
The increasing variety of different devices with different screen size, interaction paradigms and application areas raises the need for new technologies of cross-device developmen...
DDECS
2007
IEEE
15 years 4 months ago
2007
IEEE
- As shown by previous studies, shorts between the interconnect wires should be considered as the predominant cause of failures in CMOS circuits. Fault models and tools for targeti...
KBSE
2007
IEEE
15 years 4 months ago
2007
IEEE
The metamodel techniques and model transformation techniques provide a standard way to represent and transform data, especially the software artifacts in software development. How...
ESWS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Creating a coherent set of ontologies to support a collaborative design process amongst different firms which develop mechatronic products is a challenge due to the seman...
ICCBR
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Creating case representations in unsupervised textual case-based reasoning applications is a challenging task because class knowledge is not available to aid selection of...