809 search results - page 87 / 162 » Requirements by Contracts allow Automated System Testing |
141
click to vote
CASCON
2010
14 years 6 months ago
2010
ion and giving them a medium to express and implement change. One of the keys to achieve agility for creating business processes depends on close interaction between IT department ...
107
click to vote
HASE
2007
IEEE
15 years 6 months ago
2007
IEEE
Fault Tree Analysis (FTA) is a safety-analysis technique that has been recently extended to accommodate product-line engineering for critical domains. This paper describes a tool-...
114
click to vote
ICRA
1994
IEEE
15 years 4 months ago
1994
IEEE
act The Neptune system is a mobile robot system used to remotely inspect above-ground storage tanks (ASTs) while immersed in the petroleum product, in order to ascertain from the i...
102
click to vote
EUROSYS
2006
ACM
15 years 9 months ago
2006
ACM
Run-time conflicts can affect even the most rigorously tested software systems. A reliance on execution-based testing makes it prohibitively costly to test every possible interac...
MODELS
2007
Springer
15 years 6 months ago
2007
Springer
The rising adoption and incorporation of computers into everyday life requires human-computer interaction methods to be efficient and easy to understand. Simultaneously, complexit...