2523 search results - page 121 / 505 » Correct Development of Embedded Systems |
MSE
2003
IEEE
14 years 3 months ago
2003
IEEE
Embedded systems have become common place in industry and domestic electronics, resulting in the need for educational institutions to teach advanced embedded systems design. Exper...
RTAS
2005
IEEE
14 years 3 months ago
2005
IEEE
Component technology has become a central focus of software engineering in research and development. Reusability is a key factor that contributes to its success. The reuse of comp...
EUROGP
2004
Springer
14 years 3 months ago
2004
Springer
Despite considerable progress in GP over the past 10 years, there are many outstanding challenges that need to be addressed before it will be widely deployed for developing useful ...
EUROPLOP
2006
13 years 11 months ago
2006
This short paper is concerned with the use of patterns to support the development of software for reliable, resource-constrained, embedded systems. The paper introduces one new pa...
SAS
2001
Springer
14 years 2 months ago
2001
Springer
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...