241 search results - page 13 / 49 » Design by Contract Using Meta-Assertions |
JOT
2010
13 years 6 months ago
2010
Design contracts can be used in software development to ensure the preservation of assertions for program correctness. This can increase reliability in software design. Design by ...
IROS
2009
IEEE
14 years 2 months ago
2009
IEEE
— EMG-to-force estimation for voluntary muscle contraction has many applications in human-machine interaction, motion analysis, and rehabilitation robotics for prosthetic limbs o...
PRL
2006
13 years 7 months ago
2006
Wireless capsule endoscopy involves inspection of hours of video material by a highly qualified professional. Time episodes corresponding to intestinal contractions, which are of ...
FECS
2006
13 years 9 months ago
2006
- Many small businesses require distributed information systems but do not have the resources to develop, host or maintain them. An alternative approach may be to offer the softwar...
FSEN
2009
Springer
13 years 11 months ago
2009
Springer
The rCOS modeler implements the requirements modelling phase of a model driven component-based software engineering process. Components are specified in rCOS, a relational calculus...