2127 search results - page 80 / 426 » Software Automation |
112
Voted
ICDIM
2007
IEEE
15 years 7 months ago
2007
IEEE
In this paper, we propose a strategy for the automated and scheduled maintenance of a digital library collection. Existing systems require the user either to add new data manually...
152
Voted
ECOOP
2000
Springer
15 years 5 months ago
2000
Springer
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and ...
112
Voted
BMCBI
2007
15 years 22 days ago
2007
Background: Whereas the molecular assembly of protein expression clones is readily automated and routinely accomplished in high throughput, sequence verification of these clones i...
104
click to vote
GECCO
2004
Springer
15 years 6 months ago
2004
Springer
Test case design is the most important test activity with respect to test quality. For this reason, a large number of testing methods have been developed to assist the tester with ...
JSS
2006
15 years 17 days ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...