1528 search results - page 193 / 306 » Object-Oriented Software Composition |
SEKE
2010
Springer
13 years 7 months ago
2010
Springer
Abstract--Component-based development focuses on compose and composition: abstract components (as wished) must be searched for and matched to existing component (as found). This se...
COMPSAC
2007
IEEE
14 years 1 months ago
2007
IEEE
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
SOFSEM
2010
Springer
14 years 6 months ago
2010
Springer
The biggest challenge facing software developers today is how to gracefully evolve complex software systems in the face of changing requirements. We clearly need software systems t...
ICSE
2009
IEEE-ACM
14 years 4 months ago
2009
IEEE-ACM
The Internet no longer meets the world’s requirements. Recognition of the Internet architecture’s inherent flaws has opened a window of opportunity for fresh thinking: granti...
PROFES
2001
Springer
14 years 1 months ago
2001
Springer
This paper presents a family-based software development process for aero-engine control software. The process uses a “family capability” derived from family analysis of the emb...