1136 search results - page 168 / 228 » A Multi-variant Approach to Software Process Modelling |
119
click to vote
TACAS
2010
Springer
15 years 10 days ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
141
click to vote
CODES
1998
IEEE
15 years 6 months ago
1998
IEEE
Systems in the domain of high-performance video signal processing are becoming more and more programmable. We suggest an approach to design such systems that involves measuring, v...
155
Voted
AVI
2006
15 years 3 months ago
2006
In previous work, we proposed ValueCharts, a set of visualizations and interactive techniques to support the inspection of linear models of preferences. We now identify the need t...
151
click to vote
JCP
2006
15 years 2 months ago
2006
Admitting that the quality of a decision depends on the quality of the knowledge used to make it, it is argued that the enhancement of the decision making efficiency and effectiven...
114
click to vote
ICST
2010
IEEE
15 years 1 months ago
2010
IEEE
— Testing of graphical user interfaces is important due to its potential to reveal faults in operation and performance of the system under consideration. Most existing test appro...