3045 search results - page 22 / 609 » Formal Approaches to Software Architecture |
WOSP
2000
ACM
14 years 2 months ago
2000
ACM
In this paper we present a formal approach to analyse performance for distributed systems, which is integrated in the early stages of the software development process. We propose ...
ICSE
2003
IEEE-ACM
14 years 10 months ago
2003
IEEE-ACM
This position paper suggests an approach for building software systems using patterns, right from business architecture to software architecture. Further, the approach incorporate...
KBSE
2008
IEEE
14 years 4 months ago
2008
IEEE
The frequent changes during the development and usage of large software systems often lead to a loss of architectural quality which hampers the implementation of further changes a...
SIGSOFT
2003
ACM
14 years 3 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
COMPSAC
2010
IEEE
13 years 7 months ago
2010
IEEE
In this paper we propose a meta-model for architectures with heterogeneous multimedia components. Currently, a generic solution does not exist to automatically deploy a distributed...