8083 search results - page 442 / 1617 » A Formalization of Software Architecture |
212
click to vote
EUROMICRO
2006
IEEE
16 years 28 days ago
2006
IEEE
Understanding complex component-based systems often requires getting insight in how certain system properties, such as performance, trust, reliability, or structural attributes, c...
187
click to vote
ECSA
2007
Springer
15 years 10 months ago
2007
Springer
Architectural design has been characterized as making a series of decisions that have system-wide impact. These decisions have side effects which can have significant impact on the...
147
click to vote
IASTEDSEA
2004
15 years 8 months ago
2004
The problem this paper addresses is that an architecture formed of software components can contain composition errors (introduced, for instance, as a result of the choice of afram...
165
click to vote
CSCW
2002
ACM
15 years 6 months ago
2002
ACM
In this paper we present the Clover architectural model, a new conceptual architectural model for groupware. Our model results from the combination of the layer approach of Dewan&...
196
click to vote
POPL
1998
ACM
15 years 11 months ago
1998
ACM
abstractions, such as closures, tuples, and user-defined abstract data types. The type system ensures that well-typed programs cannot violate these abstractions. In addition, the ...