8083 search results - page 105 / 1617 » A Formalization of Software Architecture |
FORMATS
2006
Springer
14 years 1 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...
ICSE
2008
IEEE-ACM
14 years 10 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...
KBSE
2005
IEEE
14 years 3 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,...
WOSP
2000
ACM
14 years 2 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 ...
DAC
1994
ACM
14 years 2 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...