987 search results - page 157 / 198 » Extending FeatuRSEB with Concepts from Systems Engineering |
JPDC
2008
13 years 8 months ago
2008
This paper gives an overview of two middleware systems that have been developed over the last 6 years to address the challenges involved in developing parallel and distributed imp...
EMSOFT
2004
Springer
14 years 2 months ago
2004
Springer
Aspect oriented programming (AOP), when used well, has many advantages. Aspects are however, programming-time constructs, i.e., they relate to source code. Previously, we develope...
SOCO
2007
Springer
14 years 2 months ago
2007
Springer
Traditional component models and frameworks simplified software system development by enabling developers to break software systems into independent pieces with well-defined interf...
MSE
2005
IEEE
14 years 2 months ago
2005
IEEE
Almost all universities offer introductory courses that focus on microcontroller-based systems and embedded programming. Advanced course offerings vary, and are often not availabl...
KBSE
2009
IEEE
14 years 3 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...