2748 search results - page 302 / 550 » Generating Object-Z Specifications from Use Cases |
122
click to vote
MODELLIERUNG
2001
15 years 5 months ago
2001
Abstract: Models are important artefacts that support human understanding and communication. Often software development involves specialists from a variety of fields, e.g. mathemat...
136
click to vote
EOR
2010
14 years 11 months ago
2010
We analyze the problem of pricing and hedging contingent claims in the multi-period, discrete time, discrete state case using the concept of a sufficiently attractive expected gai...
226
click to vote
TAOSD
2010
14 years 11 months ago
2010
The idea behind Aspect-Oriented Modeling (AOM) is to apply aspect-oriented techniques to (software) models with the aim of modularizing crosscutting concerns. This can be done with...
127
click to vote
CVPR
1999
IEEE
16 years 6 months ago
1999
IEEE
* The surface-matching problem is investigated in this paper using a mathematical tool called harmonic maps. The theory of harmonic maps studies the mapping between different metri...
148
click to vote
CASES
2007
ACM
15 years 8 months ago
2007
ACM
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...