12670 search results - page 160 / 2534 » Requirements Modeling |
151
click to vote
AUTOMOTIVEUI
2009
ACM
16 years 28 days 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 ...
155
click to vote
ICST
2008
IEEE
16 years 24 days 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...
168
click to vote
CRV
2007
IEEE
16 years 22 days 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...
185
click to vote
ISORC
2007
IEEE
16 years 20 days 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...
156
click to vote
FORMATS
2007
Springer
16 years 17 days 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...