2493 search results - page 179 / 499 » Tool Support for Design by Contract |
164
click to vote
TSE
2010
15 years 4 months ago
2010
—Recently, there has been a proliferation of service-based systems, i.e. software systems that are composed of autonomous services, but can also use software code. In order to su...
164
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
Debugging is still among the most common and costly of programming activities. One reason is that current debugging tools do not directly support the inquisitive nature of the act...
168
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
Embedded systems design requires the development of complex HW modules to cope with the most stringent timing constraints of the specifications. This implies the need to update an...
171
click to vote
COMPGEOM
2006
ACM
16 years 14 days ago
2006
ACM
We construct a class of envelope surfaces in Rd , more precisely envelopes of balls. An envelope surface is a closed C1 (tangent continuous) manifold wrapping tightly around the u...
172
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper is focused on the coordination of order and production policy between buyers and suppliers in supply chains. When a buyer and a supplier of an item work independently, ...