1829 search results - page 34 / 366 » Towards Validation of Requirements Models |
SPIN
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. We present a process for validating temporal safety properties of software that uses a well-defined interface. The process requires only that the user state the property...
124
click to vote
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
The standard, ad-hoc stopping criteria used in decision tree-based context clustering are known to be sub-optimal and require parameters to be tuned. This paper proposes a new app...
ICRE
1998
IEEE
15 years 4 months ago
1998
IEEE
This paper introduces an approach to multi-perspective requirements engineering (PREview) which has been designed for industrial use and discusses our practical experience in appl...
SUTC
2006
IEEE
15 years 5 months ago
2006
IEEE
In computer security, many researches have tackled on the possibility of a unified model of access control, which could enforce any access control policies within a single unified...
GIS
1995
ACM
15 years 3 months ago
1995
ACM
We stress the importance of requirements engineering (RE) for the development of large scale software in general and for GIS-applications in particular. RE analyses the problem do...