1829 search results - page 28 / 366 » Towards Validation of Requirements Models |
105
click to vote
HICSS
2003
IEEE
15 years 5 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...
116
click to vote
APWEB
2007
Springer
15 years 3 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...
90
Voted
ACSAC
2003
IEEE
15 years 5 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...
174
click to vote
TSE
2012
13 years 2 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...
111
click to vote
DATE
2006
IEEE
15 years 5 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...