2274 search results - page 346 / 455 » Qualitative Modeling for Requirements Engineering |
131
click to vote
SAC
2004
ACM
15 years 11 months ago
2004
ACM
This work presents an object-oriented calculus based on higher-order mixin construction via mixin composition, where some software engineering requirements are modeled in a formal ...
169
click to vote
SIGMETRICS
2004
ACM
15 years 11 months ago
2004
ACM
A large variety of communication systems, including telephone and data networks, can be represented by so-called Whittle networks. The stationary distribution of these networks is...
281
click to vote
DEXA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Previous works in change detection on XML focused on detecting changes to text file using ordered and unordered tree model. These approaches are not suitable for detecti...
179
click to vote
ICTAI
2003
IEEE
15 years 11 months ago
2003
IEEE
The interpretation of medical evidence is normally presented in terms of a controlled, but diversely expressed specialist vocabulary and natural language phrases. Such informally ...
179
click to vote
ISQED
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we evaluate the dependencies between tools, data and environment in process design kits, and present a framework for systematically analyzing the quality of the des...