1330 search results - page 52 / 266 » Modeling components and frameworks with UML |
126
click to vote
SPIN
2005
Springer
15 years 9 months ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
116
click to vote
FDL
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract. With this paper we intend to present a brief overview of the current means to describe architecture in different standards. We cover AADL as an example of Architecture De...
139
click to vote
IIWAS
2008
15 years 5 months ago
2008
In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodolo...
174
click to vote
VLSID
2005
IEEE
16 years 4 months ago
2005
IEEE
Abstract--Power analysis early in the design cycle is critical for the design of lowpower systems. With the move to system-level specifications and design methodologies, there has ...
130
click to vote
SEUS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. The application of run-time reconfigurable component models to networked embedded systems has a number of significant advantages such as encouraging software reuse, ada...