2274 search results - page 141 / 455 » Qualitative Modeling for Requirements Engineering |
162
click to vote
CVPR
2006
IEEE
16 years 8 months ago
2006
IEEE
Many natural objects vary the shapes as linear combinations of certain bases. The measurement of such deformable shapes is coupling of rigid similarity transformations between the...
209
click to vote
AAMAS
2012
Springer
14 years 2 months ago
2012
Springer
In this paper we demonstrate how a qualitative framework for decision making can be used to model scenarios from experimental economic studies and we show how our approach explains...
153
click to vote
ICFEM
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Errors in a requirements model have prolonged detrimental effects on reliability, cost, and safety of a software system. It is very costly to fix these errors in later ...
151
click to vote
ISSTA
2006
ACM
16 years 8 days ago
2006
ACM
We present a method to verify the correctness of parallel programs that perform complex numerical computations, including computations involving floating-point arithmetic. The me...
243
click to vote
ISSE
2010
15 years 4 months ago
2010
A UML model of a software system can be represented by a sequence of model transformations, starting from an empty model. To effectively support the design of complex systems, tra...