Sciweavers

96 search results - page 1 / 20
» Formal specification of non-functional properties of compone...
Sort
View
CLEIEJ
2004
106views more  CLEIEJ 2004»
13 years 4 months ago
A Calculus for Reconfigurable Component-Based Systems
ept of reconfigurable systems is almost always restricted to the abstract design level, in which configuration languages are used to manipulate software connections. In this paper...
Cidcley Teixeira de Souza, Paulo Roberto Freire Cu...
MIDDLEWARE
2000
Springer
13 years 8 months ago
The Role of Software Architecture in Constraining Adaptation in Component-Based Middleware Platforms
Future middleware platforms will need to be more configurable in order to meet the demands of a wide variety of application domains. Furthermore, we believe that such platforms wil...
Gordon S. Blair, Lynne Blair, Valérie Issar...
EUROMICRO
2004
IEEE
13 years 8 months ago
Towards a Semantic Framework for Non-functional Specifications of Component-Based Systems
It is now widely recognized that the so-called nonfunctional or extra-functional properties of a software system are at least as important as its somewhat more classical functiona...
Steffen Zschaler
DFG
2004
Springer
13 years 8 months ago
A Formal Component Concept for the Specification of Industrial Control Systems
Abstract. Motivated by the wide acceptance of component based technologies in software development, a component concept for software engineering is applied to modeling in the field...
Benjamin Braatz, Markus Klein, Gunnar Schröte...
EUROMICRO
2007
IEEE
13 years 8 months ago
Guiding Component-Based Hardware/Software Co-Verification with Patterns
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...
Juncao Li, Fei Xie, Huaiyu Liu