3045 search results - page 162 / 609 » Formal Approaches to Software Architecture |
DICS
2006
15 years 1 months ago
2006
Abstract. Modern incremental and iterative software engineering processes advocate to build software systems by first creating a highly simpliabstract model of the system which is ...
111
click to vote
CSMR
2002
IEEE
15 years 4 months ago
2002
IEEE
Static analysis aims at recovering the structure of a software system, while dynamic analysis focuses on its run time behaviour. We propose a technique for combining the analysis ...
102
click to vote
IASTEDSEA
2004
15 years 19 days ago
2004
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
ECSA
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. In this paper, we report on the development of a methodology for the evolution of software towards new architectures. In our approach, we represent source code as graphs....
168
click to vote
AES
2011
Springer
13 years 11 months ago
2011
Springer
We propose a model for describing and predicting the parallel performance of a broad class of parallel numerical software on distributed memory architectures. The purpose of this ...