1829 search results - page 34 / 366 » Towards Validation of Requirements Models |
137
click to vote
SPIN
2001
Springer
15 years 8 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...
164
click to vote
ICASSP
2011
IEEE
14 years 8 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...
115
click to vote
ICRE
1998
IEEE
15 years 8 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...
122
click to vote
SUTC
2006
IEEE
15 years 10 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...
132
click to vote
GIS
1995
ACM
15 years 8 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...