3376 search results - page 39 / 676 » Analyzing Software Evolvability |
116
click to vote
EWSPT
2003
Springer
15 years 7 months ago
2003
Springer
Long-lived, architecture-based software systems are increasingly important. Effective process support for these systems depends upon recognising their compositional nature and the ...
135
click to vote
CC
2008
Springer
15 years 4 months ago
2008
Springer
This paper describes the design and implementation of a language for specifying the semantics of an instruction set, along with a run-time system to support the static analysis of ...
95
Voted
ICES
2007
Springer
15 years 8 months ago
2007
Springer
The RISA Architecture is a novel reconfigurable hardware platform containing both hardware and software reconfigurable elements. This paper describes the architecture and the fea...
109
click to vote
SIMUTOOLS
2008
15 years 3 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
127
click to vote
VL
2008
IEEE
15 years 8 months ago
2008
IEEE
Ariadne is a novel visualization tool that allows end users to explore the socio-technical relationships in software development projects. Essentially the visualization is a varia...