12670 search results - page 160 / 2534 » Requirements Modeling |
118
click to vote
AUTOMOTIVEUI
2009
ACM
15 years 10 months ago
2009
ACM
In this paper we present an approach for creating user infrom abstract representations for the automotive domain. The approach is based on transformations between different user ...
114
click to vote
ICST
2008
IEEE
15 years 10 months ago
2008
IEEE
We present a model-based approach to testing access control requirements. By using combinatorial testing, we first automatically generate test cases from and without access contro...
130
click to vote
CRV
2007
IEEE
15 years 9 months ago
2007
IEEE
The success of NASA’s Mars Exploration Rovers has demonstrated the important benefits that mobility adds to planetary exploration. Very soon, mission requirements will impose t...
137
click to vote
ISORC
2007
IEEE
15 years 9 months ago
2007
IEEE
Methodologies, techniques and tools that currently support the embedded systems (ESs) development process prove inadequate for today’s complex ESs. Adopted traditional architect...
118
Voted
FORMATS
2007
Springer
15 years 9 months ago
2007
Springer
Dierence Bound Matrices (DBMs) are the most commonly used data structure for model checking timed automata. Since long they are being used in successful tools like Kronos or UPPAA...