2810 search results - page 2 / 562 » Contract-Based Component System Design |
ENTCS
2010
13 years 11 months ago
2010
Contract-based design is an expressive paradigm for a modular and compositional specification of programs. It is in turn becoming a fundamental concept in mainstream industrial co...
SFM
2009
Springer
14 years 5 months ago
2009
Springer
In the context of Service Oriented Computing behavioural contracts are descriptions of the observable message-passing behaviour of services. In other terms, contracts are behaviour...
APSCC
2008
IEEE
14 years 26 days ago
2008
IEEE
Monitors have been used for real-time systems to ensure proper behavior; however, most approaches do not allow for the addition of relevant fields required to identify and react t...
QOSA
2010
Springer
13 years 8 months ago
2010
Springer
Design decisions for complex, component-based systems impact multiple quality of service (QoS) properties. Often, means to improve one quality property deteriorate another one. In ...
ICCSA
2009
Springer
13 years 8 months ago
2009
Springer
Software is more and more built from pre-existing components. This is true also for the embedded software domain, and there is a need to consider how development processes need to ...