5433 search results - page 504 / 1087 » Tool Support for Traceability-Adaptation |
167
click to vote
DSVIS
2005
Springer
16 years 1 months ago
2005
Springer
We introduce a formal model of inconsistency-related mode confusion. This forms the basis of a heuristic methodology for critiquing user interfaces, using a matrix algebra approach...
163
click to vote
GI
2005
Springer
16 years 29 days ago
2005
Springer
: While software design is increasingly based on models, requirements engineering is generally performed using structured text; as a consequence, only a weakly structured connectio...
158
click to vote
ICCS
2005
Springer
16 years 29 days ago
2005
Springer
We describe a visual interactive framework that supports the computation of syntactic unifiers of expressions with variables. Unification is specified via built-in transformatio...
214
click to vote
ICCS
2005
Springer
16 years 29 days ago
2005
Springer
After noting that informal documents and formal knowledge bases are far from ideal for discussing or retrieving technical knowledge, we propose mechanisms to support the sharing, r...
170
click to vote
WER
2005
Springer
16 years 28 days ago
2005
Springer
This paper presents J-RAn (Java Requirement Analyzer), a tool that implements a novel Content Analysis technique to support the verification of consistency and completeness of a So...