241 search results - page 22 / 49 » Design by Contract Using Meta-Assertions |
DAC
1994
ACM
13 years 11 months ago
1994
ACM
Current asynchronous tools are focussed mainly on the design of a single interface module. In many applications, one must design interacting interface modules that potentially comm...
WWW
2001
ACM
14 years 8 months ago
2001
ACM
Starpoint Solutions was contracted by a major North American bank to design, develop, and usability test a series of five Web-based, interactive lessons teaching low- to middle-in...
HICSS
2008
IEEE
14 years 2 months ago
2008
IEEE
To distribute risk in Grid, the design of service level agreements (SLAs) plays an important role, since these contracts determine the price for a service at an agreed quality lev...
VRST
2006
ACM
14 years 1 months ago
2006
ACM
This paper focuses at the usage of neuromuscular electrical stimulation (NMES) for achieving pseudo-haptic feedback. By stimulating the motor nerves, muscular contractions can be ...
ENTCS
2006
13 years 7 months ago
2006
Behavioral interface specification languages, such as Java Modeling Language (JML), can be used to specify the behavior of program modules. We have developed a behavioral interfac...