809 search results - page 27 / 162 » Requirements by Contracts allow Automated System Testing |
131
click to vote
DEBU
2006
15 years 4 months ago
2006
Storage virtualization in modern storage systems allows variability in the number of "physical" disks supporting a single "virtual" disk. In practice, IO workl...
134
click to vote
ETFA
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper discusses systematic approaches to the design of distributed controllers in industrial automation systems. Several design approaches are compared that lead to the distr...
135
click to vote
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Service Level Agreements are a key issue in Service Oriented Computing. SLA contracts specify client requirements and service guarantees, with emphasis on Quality of Serv...
122
click to vote
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
129
click to vote
EUROMICRO
2003
IEEE
15 years 9 months ago
2003
IEEE
Development of a software system from existing components can surely have various benefits, but can also entail a series of problems. One type of problems is caused by a limited ...