2578 search results - page 289 / 516 » A Family-Oriented Software Development Process for Engine Co... |
123
click to vote
SERP
2008
15 years 5 months ago
2008
Model-driven development (MDD) is an emerging paradigm and has become state-of-the-art for embedded systems software design. In the overall design process, several steps have to be...
163
click to vote
CBSE
2004
Springer
15 years 9 months ago
2004
Springer
Embedded systems must be cost-effective. This imposes strict requirements on the resource consumption of their applications. It is therefore desirable to be able to determine the ...
170
click to vote
CMOT
2011
14 years 7 months ago
2011
Artificial Intelligence has contributed (formal) design models and software support tools to application areas such as architecture, engineering and software design. This paper exp...
143
click to vote
ITICSE
2003
ACM
15 years 9 months ago
2003
ACM
In this paper we argue that treating “testing” as an isolated topic is a wrong approach in computer science and software engineering teaching. Instead testing should pervade p...
165
click to vote
ICST
2009
IEEE
15 years 1 months ago
2009
IEEE
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...