6800 search results - page 650 / 1360 » Testing with Functions as Specifications |
187
click to vote
IFM
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we introduce a common semantic framework for developing and formally modeling use cases and task models. Use cases are the notation of choice for functional require...
163
Voted
SG
2007
Springer
16 years 1 months ago
2007
Springer
Automatic lighting design aims to provide users with semi-automated approaches, and easy-to-use tools, to configure lighting for 3D scenes. We present LIGHTOPEX the first fully aut...
224
Voted
IJCNN
2006
IEEE
16 years 1 months ago
2006
IEEE
- This paper presents a neurologically inspired vergence control model that uses the optimization of the disparity error between interlaced cortical maps incident on the visual cor...
205
Voted
RTCSA
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper, we present a model-driven approach to RTOS-based embedded software development and an automated tool that can produce RTOS-specific code. Our contributions are two ...
171
Voted
SOSE
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract: A web service usually serves many consumers, with each consumer having its specific functional or nonfunctional requirements. The web service should be customizable to me...