5252 search results - page 804 / 1051 » Requirements engineering: a roadmap |
223
click to vote
ICFEM
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...
214
click to vote
ICSOC
2004
Springer
16 years 19 days ago
2004
Springer
Currently, service-oriented computing is mainly technology-driven. Most developments focus on the technology that enables enterprises to describe, publish and compose application ...
211
click to vote
ICSR
2004
Springer
16 years 19 days ago
2004
Springer
Quality assurance (QA) tasks, such as testing, profiling, and performance evaluation, have historically been done in-house on developer-generated workloads and regression suites. ...
197
click to vote
IFM
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
193
click to vote
LCTRTS
2004
Springer
16 years 19 days ago
2004
Springer
Procrastination scheduling has gained importance for energy efficiency due to the rapid increase in the leakage power consumption. Under procrastination scheduling, task executio...