748 search results - page 103 / 150 » Applying WinWin to Quality Requirements: A Case Study |
CAV
2005
Springer
14 years 2 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
TVLSI
2002
13 years 8 months ago
2002
The performance of many modern computer and communication systems is dictated by the latency of communication pipelines. At the same time, power/energy consumption is often another...
WOSP
2005
ACM
14 years 2 months ago
2005
ACM
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...
KBSE
2002
IEEE
14 years 1 months ago
2002
IEEE
Software engineering (SE) truisms capture broadlyapplicable principles of software construction. The trouble with truisms is that such general principles may not apply in specifi...
ERLANG
2008
ACM
13 years 10 months ago
2008
ACM
Current and future trends for software include increasingly complex requirements on interaction between systems. As a result, the difficulty of system testing increases. Model-bas...