8083 search results - page 10 / 1617 » A Formalization of Software Architecture |
APSEC
2005
IEEE
14 years 1 months ago
2005
IEEE
The design and development of complex software systems is a difficult task, and it is not easy to ensure the quality of a developed software. The paper presents an architectural ...
CMOT
2011
12 years 11 months ago
2011
Artificial Intelligence has contributed (formal) design models and software support tools to application areas such as architecture, engineering and software design. This paper exp...
25
Voted
ECOOPW
1999
Springer
13 years 11 months ago
1999
Springer
Few existing approaches towards architectural evolution deal with unanticipated evolution. This is an important restriction, since a lot of architectural changes are very di cult ...
SIGSOFT
2000
ACM
13 years 12 months ago
2000
ACM
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...
WICSA
2008
13 years 9 months ago
2008
Software patterns are generic solutions to recurring problems. They are represented as a triplet (problem, context, solution). Several kinds of software patterns were identified, ...