1376 search results - page 194 / 276 » Model-Driven Software Verification |
100
click to vote
RE
2004
Springer
15 years 8 months ago
2004
Springer
This paper addresses the issues related to improving the overall quality of the requirements tracing process for Independent Verification and Validation analysts. The contribution...
110
click to vote
SIGADA
2004
Springer
15 years 8 months ago
2004
Springer
This paper describes one method for identifying global variables in Ada procedures and adding them to the parameter list of appropriate procedures. Global variables, ones that are...
119
Voted
CODES
2000
IEEE
15 years 7 months ago
2000
IEEE
In current design practice synthesis tools play a key role, letting designers to concentrate on the specificationof the system being designed by carrying out repetitive tasks such...
134
Voted
COMPSAC
2000
IEEE
15 years 7 months ago
2000
IEEE
Scenario analysis is a vehicle of separating concerns in the elicitation of users' requirements. It is also a means of requirements validation and verification. In the practi...
117
Voted
APSEC
1998
IEEE
15 years 7 months ago
1998
IEEE
In this paper we demonstrate how light weight tools can be used to increase the level of confidence in Z specifications. In particular we outline the Pipedream approach to explori...