6751 search results - page 374 / 1351 » Engineering Quality Requirements Using Quality Models |
195
click to vote
IUI
2005
ACM
16 years 9 days ago
2005
ACM
An expressive representation for location is an important component in many applications. However, while many location-aware applications can reason about space at the level of co...
217
click to vote
AADEBUG
1995
Springer
15 years 10 months ago
1995
Springer
Software testability, the tendency for software to reveal its faults during testing, is an important issue for veri cation and quality assurance. Testability measurement can also b...
172
click to vote
COLING
2008
15 years 8 months ago
2008
One style of Multi-Engine Machine Translation architecture involves choosing the best of a set of outputs from different systems. Choosing the best translation from an arbitrary s...
200
click to vote
SEKE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...
184
click to vote
COMPSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
Given the rapid rise of model-driven software development methodologies, it is highly desirable that tools be developed to support the use of design patterns in this context. This...