365 search results - page 7 / 73 » Explicit Connectors in Component Based Software Engineering ... |
138
Voted
ISORC
2005
IEEE
15 years 8 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
124
Voted
COORDINATION
2009
Springer
15 years 13 days ago
2009
Springer
Abstract. Recent approaches to component-based software engineering employ coordinating connectors to compose components into software systems. For maximum flexibility and reuse, s...
115
Voted
CBSE
2007
Springer
15 years 8 months ago
2007
Springer
144
Voted
DSD
2007
IEEE
15 years 9 months ago
2007
IEEE
Developing highly efficient and reliable embedded systems demands hardware/software (HW/SW) co-design and, therefore, co-simulation. In order to be highly configurable, embedded...
117
Voted
APSEC
2004
IEEE
15 years 6 months ago
2004
IEEE
We propose monitoring of software components, and use of monitored software components, as a general approach for engineering of embedded computer systems. In our approach, a comp...