1057 search results - page 99 / 212 » Testing from Formal Specifications, a Generic Approach |
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
— Recent advances in machine learning and adaptive motor control have enabled efficient techniques for online learning of stationary plant dynamics and it’s use for robust pre...
ECOOP
2009
Springer
14 years 9 months ago
2009
Springer
Contemporary refactoring tools for JAVA aiding in the restructuring of programs have problems with respecting access modifiers such as public and private: while some tools provide ...
ICRA
2010
IEEE
13 years 7 months ago
2010
IEEE
Service robots will have to accomplish more and more complex, open-ended tasks and regularly acquire new skills. In this work, we propose a new approach to generating plans for su...
DATAMINE
2006
13 years 9 months ago
2006
Effective information systems require the existence of explicit process models. A completely specified process design needs to be developed in order to enact a given business proce...
ECMDAFA
2008
Springer
13 years 10 months ago
2008
Springer
In requirements engineering, there are several approaches for requirements modeling such as goal-oriented, aspect-driven, and system requirements modeling. In practice, companies o...