In component-based hardware/software co-verification, properties of an embedded system are established from properties of its hardware and software components. A major challenge i...
This paper describes DTC (Documents, Transformations and Components), our approach to the XML-based development of content-intensive applications. According to this approach, the ...
Performance prediction methods for component-based software systems aim at supporting design decisions of software architects during early development stages. With the increased a...
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
Hye Yeon Kim, Kshamta Jerath, Frederick T. Sheldon
Parametric polymorphism has become a common feature of mainstream programming languages, but software component architectures have lagged behind and do not support it. We examine ...