4799 search results - page 823 / 960 » Model Based Requirements Engineering for Embedded Software |
166
click to vote
IWSEC
2007
Springer
16 years 15 days ago
2007
Springer
The problem of defending software against tampering by a malicious host is not expected to be solved soon. Rather than trying to defend against the first attack, randomization tri...
178
click to vote
DIAGRAMS
2004
Springer
15 years 10 months ago
2004
Springer
Constraint diagrams are a diagrammatic notation which may be used to express logical constraints. They were designed to complement the Unified Modeling Language in the development ...
172
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Reusable software components need well-defined interfaces, rigorously and completely documented features, and a design amenable both to reuse and to formal verification; all these...
181
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
Model-based testing as a black-box testing technique has grown in importance. The models used represent the relevant features of the system under consideration (SUC), and can also...
173
click to vote
ATVA
2010
Springer
15 years 4 months ago
2010
Springer
: Narrowing the wide conceptual gap between problem and implementation domains is considered a significant factor within software engineering. Currently, such a relation is often o...