1487 search results - page 141 / 298 » On Validating Engineering Design Decision Support Tools |
168
click to vote
UIST
1993
ACM
15 years 8 months ago
1993
ACM
Model-based user interface design is centered around a description of application objects and operations at a level of ion higher than that of code. A good model can be used to su...
147
Voted
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
This poster paper investigates the potential of single and multiobjective genetic operators with an object-oriented conceptual design space. Using cohesion as an objective fitness...
163
Voted
RE
1999
Springer
15 years 8 months ago
1999
Springer
This paper describes a feasibility study into the use of a formal requirements modeling method (SCR) to assist with Independent Verification and Validation of change requests for ...
164
Voted
FOIKS
2006
Springer
15 years 8 months ago
2006
Springer
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...
175
click to vote
OOPSLA
2004
Springer
15 years 10 months ago
2004
Springer
This paper reports on the design and implementation of Chianti, a change impact analysis tool for Java that is implemented in the context of the Eclipse environment. Chianti analy...