Sciweavers

144 search results - page 10 / 29
» re 2008
Sort
View
RE
2008
Springer
13 years 7 months ago
Reusing Terminology for Requirements Specifications from WordNet
In order to make requirements comprehensible to humans and as unambiguous as possible, a glossary and/or domain model is needed for defining the terminology used. Unless these are...
Katharina Wolter, Michal Smialek, Daniel Bildhauer...
RE
2008
Springer
13 years 6 months ago
Supporting Requirements Model Evolution throughout the System Life-Cycle
Requirements models are essential not just during system implementation, but also to manage system changes post-implementation. Such models should be supported by a requirements m...
Neil A. Ernst, John Mylopoulos, Yijun Yu, Tien Ngu...
RE
2008
Springer
13 years 7 months ago
"Fairness Analysis" in Requirements Assignments
Requirements engineering for multiple customers, each of whom have competing and often conflicting priorities, raises issues of negotiation, mediation and conflict resolution. Thi...
Anthony Finkelstein, Mark Harman, S. Afshin Mansou...
DCC
2008
IEEE
14 years 7 months ago
Re-pair Achieves High-Order Entropy
Re-Pair is a dictionary-based compression method invented in 1999 by Larsson and Moffat. Although its practical performance has been established through experiments, the method ha...
Gonzalo Navarro, Luís M. S. Russo
TCS
2002
13 years 7 months ago
Strictness, totality, and non-standard-type inference
In this paper we present two non-standard-type inference systems for conjunctive strictness and totality analyses of higher-order-typed functional programs and prove completeness ...
Mario Coppo, Ferruccio Damiani, Paola Giannini