3514 search results - page 337 / 703 » Evolving Specification Engineering |
138
click to vote
ENTCS
2006
15 years 6 months ago
2006
Means for the representation of variability in UML 2.0 interactions, as presented in a previous work, are further formalised and given a mathematically formal semantics. In this w...
183
click to vote
RE
2006
Springer
15 years 6 months ago
2006
Springer
Assumptions are frequently made during requirements analysis of a system about the trustworthiness of its various components (including human components). These trust assumptions, ...
141
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
In a system development, the knowledge of a target business is very important factor for the success of a development. The needed part of such knowledge is different for each stak...
168
click to vote
KBSE
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper proposes GenericDiff, a general framework for model comparison. The main idea is to separate the specification of domain-specific model properties and syntax from the g...
201
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
We introduce a new dissimilarity function for ranked lists, the expected weighted Hoeffding distance, that has several advantages over current dissimilarity measures for ranked s...