4799 search results - page 415 / 960 » Model Based Requirements Engineering for Embedded Software |
218
click to vote
AMOST
2007
ACM
15 years 10 months ago
2007
ACM
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. Th...
159
click to vote
RE
2006
Springer
15 years 6 months ago
2006
Springer
In goal-oriented requirements engineering (GORE), one usually proceeds from a goal analysis to a requirements specification, usually of IT systems. In contrast, we consider the us...
207
Voted
WOSP
2005
ACM
16 years 11 days ago
2005
ACM
The evolution towards IP-aware access networks creates the possibility (and, indeed, the desirability) of additional network services, like firewalling or NAT, integrated into th...
229
click to vote
METRICS
2002
IEEE
15 years 11 months ago
2002
IEEE
Process assessment or process improvement is usually not considered in the context of Web applications, and the differences between Web applications and traditional applications a...
212
click to vote
CODES
2006
IEEE
16 years 26 days ago
2006
IEEE
Predicting timing behavior is key to efficient embedded real-time system design and verification. Especially memory accesses and co-processor calls over shared communication net...