2493 search results - page 189 / 499 » Tool Support for Design by Contract |
166
click to vote
IWPC
2009
IEEE
16 years 1 months ago
2009
IEEE
An approach is presented that automatically determines if a given source code change impacts the design (i.e., UML class diagram) of the system. This allows code-to-design traceab...
158
click to vote
AINA
2003
IEEE
15 years 12 months ago
2003
IEEE
Electronic multimedia publishing is increasingly becoming a major industrial activity, and the design of web applications and hypermedia applications in general needs to become a ...
174
click to vote
INTERACT
2003
15 years 8 months ago
2003
: An increasing number of consumer products for everyday use offer the user advanced programming capabilities. Existing technologies offer the potential to design human-product int...
194
click to vote
DAC
1997
ACM
15 years 10 months ago
1997
ACM
The InfoPad project was started at UC Berkeley in 1992 to investigate the issues involved in providing multimedia information access using a portable, wireless terminal. It quickl...
189
click to vote
IJCIS
2006
15 years 6 months ago
2006
Systems and infrastructures are currently being developed to support Web services and Web processes. One prominent solution to manage and coordinate Web services is the use of wor...