78 search results - page 4 / 16 » Defining and Checking Deployment Contracts for Software Comp... |
CORR
2002
Springer
13 years 5 months ago
2002
Springer
Building complex software systems necessitates the use of component-based architectures. In theory, of the set of components needed for a design, only some small portion of them ar...
ICFEM
2010
Springer
13 years 3 months ago
2010
Springer
Designing concurrent or distributed systems with complex architectures while preserving a set of high-level requirements through all design steps is not a trivial task. Building up...
WICSA
2001
13 years 6 months ago
2001
This paper presents an approach to defining component-based software architectures in which interfaces rather than components play the key role. Architectural descriptions are bui...
ICECCS
1999
IEEE
13 years 9 months ago
1999
IEEE
Configuring and deploying a large software system is complicated when the system is composed of components and when there are numerous possible configurations for the system. In s...
POPL
2010
ACM
14 years 2 months ago
2010
ACM
Since Findler and Felleisen [2002] introduced higher-order contracts, many variants have been proposed. Broadly, these fall into two groups: some follow Findler and Felleisen in u...