3045 search results - page 8 / 609 » Formal Approaches to Software Architecture |
UML
1999
Springer
13 years 11 months ago
1999
Springer
Software architecture research has thus far mainly addressed formal specification and analysis of coarse-grained software models. The formality of architectural descriptions, their...
UML
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. To formally describe architectures of software systems, specific languages called Architecture Description Languages (ADLs) have been developed by academic institutions a...
MIDDLEWARE
2000
Springer
2000
Springer
The Role of Software Architecture in Constraining Adaptation in Component-Based Middleware Platforms
13 years 11 months ago
Future middleware platforms will need to be more configurable in order to meet the demands of a wide variety of application domains. Furthermore, we believe that such platforms wil...
ICFEM
2010
Springer
13 years 5 months ago
2010
Springer
ICSEA
2008
IEEE
14 years 1 months ago
2008
IEEE
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...