3045 search results - page 72 / 609 » Formal Approaches to Software Architecture |
79
Voted
COMPSAC
2008
IEEE
15 years 5 months ago
2008
IEEE
Commercial-off-the-shelf components (COTS) are widely reused at present and black-box composition is the unique way to integrate them into the target system. However, various mism...
DAGSTUHL
2007
15 years 10 days ago
2007
Driven by the ongoing demographical, structural, and social changes in all modern, industrialized countries, there is a huge interest in IT-based equipment and services these days...
113
Voted
ICPADS
2005
IEEE
15 years 4 months ago
2005
IEEE
Commercial Off-The-Shelf (COTS) software products are increasingly used as software components in large-scale systems. We had proposed an approach for distributed COTS software int...
WICSA
2007
15 years 1 days ago
2007
This paper presents an assessment case study on the evolutionary capability of a large software system using a knowledge-based approach. The knowledge-based assessment is based on...
103
click to vote
SEKE
2010
Springer
14 years 8 months ago
2010
Springer
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...