5180 search results - page 807 / 1036 » Requirements Engineering |
167
click to vote
ICCSA
2004
Springer
15 years 12 months ago
2004
Springer
Finding the fastest algorithm to solve a problem is one of the main issues in Computational Geometry. Focusing only on worst case analysis or asymptotic computations leads to the d...
180
click to vote
ICFEM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
197
click to vote
ICFEM
2004
Springer
15 years 12 months 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...
177
click to vote
ICSR
2004
Springer
15 years 12 months 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. ...
178
click to vote
IFM
2004
Springer
15 years 12 months 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...