3045 search results - page 55 / 609 » Formal Approaches to Software Architecture |
IEE
1998
14 years 10 months ago
1998
Society’s increasing dependence on software-intensive systems is driving the need for dependable, robust, continuously available systems. Runtime system reconfiguration is one a...
SERP
2003
15 years 2 days ago
2003
A software specification is a fundamental work product that represents user’s requirements and developers can use it to further develop a software system. A software specificati...
CLUSTER
2004
IEEE
15 years 2 months ago
2004
IEEE
We describe the use of component architecture in an area to which this approach has not been classically applied, the area of cluster system software. By "cluster system soft...
113
click to vote
ICSEA
2009
IEEE
14 years 8 months ago
2009
IEEE
-- Published work in the IT services area is generally centered on the description of management best practices or specific technological issues. There is a lack of empirical studi...
DSN
2008
IEEE
15 years 5 months ago
2008
IEEE
This paper proposes a formally well-rooted and extensible framework for dependability evaluation: Arcade (architectural dependability evaluation). It has been designed to combine ...