1829 search results - page 28 / 366 » Towards Validation of Requirements Models |
149
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
Use case models capture and describe the functional requirements of a software system. A use case driven development process, where a use case model is the principal basis for con...
160
click to vote
APWEB
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. XML provides a natural mechanism for representing semistructured and unstructured data. It becomes the basis for encoding a large variety of information, for example, the...
127
click to vote
ACSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
The validation of enterprise authorization specification for conformance to enterprise security policies requires an out-of-band framework in many situations since the enforcing a...
223
click to vote
TSE
2012
13 years 6 months ago
2012
d Abstractions for Contract Validation Guido de Caso, Víctor Braberman, Diego Garbervetsky and Sebastián Uchitel —Pre/post condition-based specifications are common-place in a...
161
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
Functional validation is a major bottleneck in pipelined processor design. Simulation using functional test vectors is the most widely used form of processor validation. While exi...