1906 search results - page 302 / 382 » Controls in Flexible Software Development |
101
click to vote
ACSD
2005
IEEE
15 years 5 months ago
2005
IEEE
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed processes in digital systems. In previous work, syst...
FATES
2004
Springer
15 years 5 months ago
2004
Springer
We present a technique for specifying coverage criteria and a method for generating test suites for systems whose behaviours can be described as extended finite state machines (EF...
FATES
2004
Springer
15 years 5 months ago
2004
Springer
This paper presents a method for reducing the cost of test generation. A spanning set for a coverage criterion is a set of entities such that exercising every entity in the spannin...
103
click to vote
ICRA
2003
IEEE
15 years 5 months ago
2003
IEEE
We have been developing a software platform, called OpenHRP, for humanoid robotics which consists of a dynamic simulator and motion control library for humanoid robots. This paper...
ICMT
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In their recent book, Mens and Demeyer state that ModelDriven Engineering introduces additional challenges for controlling and managing software evolution. Today, tools e...