8083 search results - page 101 / 1617 » A Formalization of Software Architecture |
128
Voted
FMOODS
2007
15 years 5 months ago
2007
Abstract. This paper gives an overview of the KeY approach and highlights the main features of the KeY system. KeY is an approach (and a system) for the deductive verification of ...
112
Voted
TSE
2008
15 years 3 months ago
2008
In order to characterize and improve software architecture visualization practice, the paper derives and constructs a qualitative framework, with seven key areas and 31 features, f...
126
Voted
KBSE
2010
IEEE
15 years 2 months ago
2010
IEEE
In this paper, we present a prototype tool that supports the systematic development of software architectures driven by quality requirements using architectural tactics. The tool ...
155
Voted
CSMR
2000
IEEE
15 years 8 months ago
2000
IEEE
An alternative approach to developing reusable components from scratch is to recover them from existing systems. Although numerous techniques have been proposed to recover reusabl...
119
Voted
TOOLS
1999
IEEE
15 years 8 months ago
1999
IEEE
With special focus on software architectural issues, we report from the first two major phases of a software development project. Our experience suggests that explicit focus on so...