731 search results - page 22 / 147 » Specification Matching of Software Components |
ATAL
2008
Springer
13 years 12 months ago
2008
Springer
on models are abstract representations of systems one wants to study through computer simulation. In multiagent based simulation, such models usually represent agents and their re...
SPLC
2008
2008
Using Aspects and Component Concepts to Improve Reuse of Software for Embedded Systems Product Lines
13 years 11 months ago
Embedded systems have several characteristics, such as application specific needs, real-time constraints and intrinsic embedded concerns (i.e. energy consumption), which hinder th...
EUROMICRO
2007
IEEE
14 years 1 months ago
2007
IEEE
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...
EUROMICRO
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper describes DTC (Documents, Transformations and Components), our approach to the XML-based development of content-intensive applications. According to this approach, the ...
CBSQ
2003
Springer
14 years 3 months ago
2003
Springer
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...