The need to model systems and their different aspects leads to research and development of models which support all views of a system. The growing complexity of the software impos...
Lyrene Fernandes da Silva, Virginia C. Carneiro de...
A critical issue for complex component-based systems design is the modeling and analysis of architecture. One of the complicating factors in developing architectural models is acc...
In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...
Software architecture is an important form of abstraction, representing the overall system structure and the relationship among components. When software is modified from one ver...
Most previously published case studies in architecture recovery have been performed on statically linked software systems. Due to the increase in use of middleware technologies, s...