8083 search results - page 64 / 1617 » A Formalization of Software Architecture |
BIRTHDAY
2006
Springer
13 years 11 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...
ASWEC
2009
IEEE
14 years 2 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...
SCCC
2000
IEEE
14 years 1 days ago
2000
IEEE
TOOLS
1999
IEEE
13 years 12 months ago
1999
IEEE
CASSIS
2004
Springer
13 years 11 months ago
2004
Springer
