Sciweavers

1537 search results - page 79 / 308
» Domain-Specific Software Component Models
Sort
View
BIRTHDAY
2007
Springer
15 years 8 months ago
Models and Software Model Checking of a Distributed File Replication System
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
Nikolaj Bjørner
APSEC
2000
IEEE
15 years 7 months ago
Component-based software engineering: technologies, development frameworks, and quality assurance schemes
Component-based software development approach is based on the idea to develop software systems by selecting appropriate off-the-shelf components and then to assemble them with a w...
Xia Cai, Michael R. Lyu, Kam-Fai Wong, Roy Ko
SAC
2009
ACM
15 years 7 months ago
Using a product line for creating component systems
Component systems have become a wide-spread technology and found their place in several application domains. Each component system has its specifics and particularities that reļ¬...
Tomás Bures, Petr Hnetynka, Michal Malohlav...
CBSE
2004
Springer
15 years 8 months ago
CB-SPE Tool: Putting Component-Based Performance Engineering into Practice
A crucial issue in the design of Component-Based (CB) applications is the ability to early guarantee that the system under development will satisfy its Quality of Service requireme...
Antonia Bertolino, Raffaela Mirandola
169
Voted
KBSE
2010
IEEE
15 years 16 days ago
Reconfigurable run-time support for distributed service component architectures
SCA (Service Component Architecture) is an OASIS standard for describing service-oriented middleware architectures. In particular, SCA promotes a disciplined way for designing dis...
Rémi Mélisson, Philippe Merle, Danie...