3045 search results - page 68 / 609 » Formal Approaches to Software Architecture |
109
Voted
COMPSAC
2010
IEEE
14 years 7 months ago
2010
IEEE
Security analysis methods can provide correct yet meaningless results if the assumptions underlying the model do not conform to reality. We present an approach to analyze the secur...
ECBS
2004
IEEE
15 years 2 months ago
2004
IEEE
: The available evidence in a legacy software system, which can help in its understanding and recovery of its architecture are not always sufficient. Very often the system's d...
104
click to vote
ECBS
2002
IEEE
15 years 3 months ago
2002
IEEE
This paper discusses an approach for top-down composition of software architectures. First, an architecture is derived that addresses functional requirements only. This architectu...
ISARCS
2010
15 years 25 days ago
2010
Methods of formal description and verification represent a viable way for achieving fundamentally bug-free software. However, in reality only a small subset of the existing operati...
83
Voted
IJSEKE
2007
14 years 10 months ago
2007
Software architectural design has an enormous effect on downstream software artifacts. Decomposition of functions for the final system is one of the critical steps in software arch...