1251 search results - page 3 / 251 » A Method for Component-Based Software and System Development |
ECBS
2010
IEEE
14 years 1 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
EUROMICRO
2005
IEEE
13 years 12 months ago
2005
IEEE
ICECCS
2007
IEEE
13 years 10 months ago
2007
IEEE
Modern software applications ranging from enterprise to embedded systems are becoming increasingly complex, and require very high levels of dependability assurance. The most effec...
ICCSA
2009
Springer
13 years 4 months ago
2009
Springer
Software is more and more built from pre-existing components. This is true also for the embedded software domain, and there is a need to consider how development processes need to ...
COMPSAC
2000
IEEE
13 years 10 months ago
2000
IEEE
Components-based development is promising in improving software development productivity and software quality by re-using existing well-tested software components. However, one of...