4799 search results - page 299 / 960 » Model Based Requirements Engineering for Embedded Software |
179
click to vote
MSR
2009
ACM
16 years 1 months ago
2009
ACM
Previous studies have shown that software code attributes, such as lines of source code, and history information, such as the number of code changes and the number of faults in pr...
157
click to vote
SNPD
2003
15 years 8 months ago
2003
From the early design phase through the implementation performance assessment of software has been subject to a great variety of approaches in the past. Performance modeling artif...
183
click to vote
SCAM
2008
IEEE
16 years 1 months ago
2008
IEEE
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
208
click to vote
SIGSOFT
2009
ACM
15 years 11 months ago
2009
ACM
Runtime adaptation is recognized as a viable way for a serviceoriented system to meet QoS requirements in its volatile operating environment. In this paper we propose a methodolog...
200
click to vote
CODES
2003
IEEE
15 years 12 months ago
2003
IEEE
In the Sesame framework, we develop a modeling and simulation environment for the efficient design space exploration of heterogeneous embedded systems. Since Sesame recognizes se...