15779 search results - page 2693 / 3156 » Change-oriented software engineering |
116
click to vote
DEXA
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Due to the wide-spread use of decision support systems (DSS), methods are required by software companies. Several concepts and methods have been suggested for decision-ma...
130
click to vote
ECMDAFA
2008
Springer
15 years 5 months ago
2008
Springer
Frameworks and libraries that use annotations are becoming popular. However, there is not enough software engineering support for annotation development. In particular, the validat...
115
click to vote
FMCAD
2008
Springer
15 years 5 months ago
2008
Springer
The extensional theory of arrays is one of the most important ones for applications of SAT Modulo Theories (SMT) to hardware and software verification. Here we present a new T-solv...
132
click to vote
FPL
2008
Springer
15 years 5 months ago
2008
Springer
Due to continuous improvements in the resources available on FPGAs, it is becoming increasingly possible to accelerate floating point algorithms. The solution of a system of linea...
101
click to vote
BCSHCI
2007
15 years 5 months ago
2007
The IBM Task Modeler supports the rapid creation and analysis of hierarchical task models, thereby providing a valuable and naturally visual tool for information architects. Task ...