2274 search results - page 266 / 455 » Qualitative Modeling for Requirements Engineering |
203
click to vote
JUCS
2010
15 years 1 months ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
171
click to vote
CPAIOR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Over the past years, a number of increasingly expressive languages for modelling constraint and optimisation problems have evolved. In developing a strategy to ease the c...
143
click to vote
ACSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
—Access control models describe frameworks that dictate how subjects (e.g. users) access resources. In the Role-Based Access Control (RBAC) model access to resources is based on ...
165
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Sociological models of human behavior can explain population-level phenomena within social systems; computer modeling can simulate a wide variety of scenarios and allow one to p...
154
click to vote
JSS
2000
15 years 6 months ago
2000
The upstream activities of software development projects are often viewed as both the most important, the least understood, and hence the most problematic. This is particularly no...