2493 search results - page 273 / 499 » Tool Support for Design by Contract |
110
click to vote
FPL
2006
Springer
15 years 2 months ago
2006
Springer
Emerging embedded System-on-Chip (SoC) platforms are increasingly becoming multiprocessor architectures. The advances in the FPGA chip technology make the implementation of such a...
119
Voted
AOSD
2011
ACM
14 years 2 months ago
2011
ACM
Object-oriented frameworks support design and code reuse for specific application domains. To facilitate the development of evolutionary computation (EC) programs, such as geneti...
CHI
2002
ACM
15 years 11 months ago
2002
ACM
This demonstration will show the application of a unique approach to collecting and analyzing usability data from the users of Web sites and software applications. The NetRaker Su...
117
Voted
ECMDAFA
2009
Springer
15 years 5 months ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
CSCW
2006
ACM
15 years 4 months ago
2006
ACM
This paper presents a design case study of SIDES: Shared Interfaces to Develop Effective Social Skills. SIDES is a tool designed to help adolescents with Asperger’s Syndrome pra...