1537 search results - page 134 / 308 » Domain-Specific Software Component Models |
162
click to vote
EMSOFT
2009
Springer
15 years 11 months ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
134
click to vote
SPIN
2007
Springer
15 years 10 months ago
2007
Springer
This paper describes a set of verification components that open the way to perform on-the-fly software model checking with the Cadp toolbox, originally designed for verifying the...
122
click to vote
ENTCS
2007
15 years 4 months ago
2007
Using model-based development has shown to increase efficiency and effectiveness of software production. However, with software as an integral part of products with customized fu...
149
click to vote
JSW
2007
15 years 4 months ago
2007
— Providing powerful and fine-grained capabilities for the analysis and management of non-functional properties is a major challenge for component-based software systems. This a...
162
click to vote
JSW
2007
15 years 4 months ago
2007
— Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based syste...