2493 search results - page 304 / 499 » Tool Support for Design by Contract |
WMCSA
2000
IEEE
15 years 3 months ago
2000
IEEE
Mobile computing offers the possibility of dramatically expanding the versatility of computers, by bringing them off the desktop and into new and unique contexts. However, this ne...
AIED
2005
Springer
15 years 4 months ago
2005
Springer
Modern computer games show potential not just for engaging and entertaining users, but also in promoting learning. Game designers employ a range of techniques to promote long-term ...
ICCAD
1993
IEEE
15 years 2 months ago
1993
IEEE
We present a design style and synthesis algorithm that encompasses both asynchronous and synchronous state machines. Our proposed design style not only supports generalized “bur...
JWSR
2007
14 years 10 months ago
2007
: Service discovery has been recognised as an important aspect in the development of service centric systems, i.e., software systems which deploy web services. To develop such syst...
116
click to vote
SIGSOFT
2007
ACM
15 years 11 months ago
2007
ACM
Product Data Management (PDM) and Software Configuration Management (SCM) are the disciplines of building and controlling the evolution of a complex artifacts; either physical or ...