8083 search results - page 64 / 1617 » A Formalization of Software Architecture |
BIRTHDAY
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Goguen emphasized long ago that colimits are how to compose systems [7]. This paper corroborates and elaborates Goguen's vision by presenting a variety of situations...
112
Voted
ASWEC
2009
IEEE
15 years 7 months ago
2009
IEEE
We propose a novel methodology for analysing change propagation in software using the domain-level behavioural model of a system. We hypothesize that change propagation analysis i...
91
Voted
SCCC
2000
IEEE
15 years 4 months ago
2000
IEEE
TOOLS
1999
IEEE
15 years 4 months ago
1999
IEEE
CASSIS
2004
Springer
15 years 4 months ago
2004
Springer
