COMPSAC
2006
IEEE
14 years 5 months ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
COMPSAC
2006
IEEE
14 years 5 months ago
2006
IEEE
This paper presents an aspect-oriented approach to integrated elicitation of functional and security requirements based on use case-driven development. We identify security threat...