8083 search results - page 95 / 1617 » A Formalization of Software Architecture |
100
Voted
ECSA
2010
Springer
15 years 4 months ago
2010
Springer
140
Voted
AOSD
2011
ACM
14 years 10 months ago
2011
ACM
126
Voted
ICSE
2005
IEEE-ACM
16 years 3 months ago
2005
IEEE-ACM
We demonstrate a tool to incrementally synchronize an Acme architectural model described in the Acme Architectural Description Language (ADL) with an implementation in ArchJava, a...
108
Voted
WICSA
2008
15 years 5 months ago
2008
Several architecture analysis methods are proposed in the literature for evaluating both the structure and the behavior of architectures. A parallel between humans and software sy...
135
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
: Performing dependability evaluation along with other analyses at architectural level allows both making architectural tradeoffs and predicting the effects of architectural decisi...