754 search results - page 115 / 151 » Requirements for Automotive System Engineering Tools |
111
Voted
FASE
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
139
Voted
IUI
2012
ACM
13 years 9 months ago
2012
ACM
As applications are developed, functional tests ensure they continue to function as expected. Nowadays, functional testing is mostly done manually, with human testers verifying a ...
134
Voted
ISSTA
2006
ACM
15 years 7 months ago
2006
ACM
This paper addresses issues involved when an architect explore alternative designs including non-functional requirements; in our approach, non-functional requirements are expresse...
115
Voted
LISA
2003
15 years 3 months ago
2003
Often network components work correctly, yet end-to-end services don’t. This happens if configuration parameters of components are set to incorrect values. Configuration is a fu...
100
click to vote
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
A comfort zone is a tested region of a system’s input space within which it has been observed to behave acceptably. To keep systems operating within their comfort zones, we advo...