8083 search results - page 105 / 1617 » A Formalization of Software Architecture |
119
Voted
FORMATS
2006
Springer
15 years 7 months ago
2006
Springer
Using a variant of Clariso-Cortadella's parametric method for verifying asynchronous circuits, we formally derive a set of linear constraints that ensure the correctness of so...
131
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
Software architecture evaluation has a crucial role in the life cycle of software intensive systems. In this paper we propose an approach to empower a software architecture evalua...
125
Voted
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
In earlier work we have argued that formal process definitions can be useful in improving our understanding and performance of software development processes. There has, however,...
122
Voted
WOSP
2000
ACM
15 years 8 months ago
2000
ACM
In this paper we present a formal approach to analyse performance for distributed systems, which is integrated in the early stages of the software development process. We propose ...
122
Voted
DAC
1994
ACM
15 years 7 months ago
1994
ACM
This tutorial introduces several methods of formal hardware veri cation that could potentially have a practical impact on the design process. The measure of success in integrating...