731 search results - page 24 / 147 » Specification Matching of Software Components |
JACIII
2006
13 years 9 months ago
2006
ct-oriented modules that create an abstract interface for a specific class of hardware or software components. If these components provide "intelligent" functions, the ov...
SIGSOFT
2009
ACM
14 years 10 months ago
2009
ACM
Initial system specifications, such as use-case scenarios and properties, only partially specify the future system. We posit that synthesizing partial component-level behavior mod...
ENTCS
2008
13 years 10 months ago
2008
In a UML model, different aspects of a system are covered by different types of diagrams and this bears the risk that an overall system specification becomes barely tractable by t...
FMCO
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
IWSAS
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. This paper deals with self-adapting software that is structured according to a control theory architecture. Such software contains, in addition to its main function, two ...