631 search results - page 27 / 127 » Deriving Specifications from Requirements: An Example |
ICSEA
2007
IEEE
14 years 2 months ago
2007
IEEE
Automatic test data generation helps testers to validate software against user requirements more easily. Test data can be generated from many sources; for example, experience of t...
VLSID
2002
IEEE
14 years 8 months ago
2002
IEEE
We present a methodology and algorithms for automatic refinement from a given design specification to an architecture model based on decisions in architecture exploration. An arch...
SIMULATION
2002
13 years 8 months ago
2002
- In this paper, a new scheme for the simulation of tactical communications systems is introduced where the mobility, call and availability patterns for the communications equipmen...
TSP
2008
13 years 8 months ago
2008
One of the fundamental assumptions in traditional sampling theorems is that the signals to be sampled come from a single vector space (e.g. bandlimited functions). However, in many...
ICCV
2009
IEEE
15 years 1 months ago
2009
IEEE
When a curved mirror-like surface moves relative to its
environment, it induces a motion field—or specular flow—
on the image plane that observes it. This specular flow is
r...