221 search results - page 20 / 45 » A Quality Circle Tool for Software Models |
IUI
1993
ACM
15 years 4 months ago
1993
ACM
We describe MASTERMIND, a step toward our vision of a knowledge-based design-time and run-time environment where human-computer interfaces development is centered around an all-en...
JMIV
2007
14 years 11 months ago
2007
Automatic localisation of correspondences for the construction of Statistical Shape Models from examples has been the focus of intense research during the last decade. Several alg...
STTT
2010
14 years 6 months ago
2010
Abstract. We report here on an experimental investigation of LTL satisfiability checking via a reduction to model checking. By using large LTL formulas, we offer challenging model-...
AICOM
2004
14 years 11 months ago
2004
Software complexity has increased substantially in the last decade. This has made software development teams work faster and under tight budgets. Reusing software can be a way of s...
100
click to vote
ICSR
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Software Product Lines (SPL) promote reuse within an application domain in an organized fashion. Preimplemented software components are arranged according to a product li...