2384 search results - page 256 / 477 » Analyzing Requirements Engineering Processes: A Case Study |
167
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
This paper compares six model checkers (Alloy, cadp, fdr2, NuSMV, ProB, Spin) for the validation of information system specifications. The same case study (a library system) is s...
208
click to vote
SERA
2010
Springer
15 years 4 months ago
2010
Springer
Thanks to the major evolutions in the communication technologies and in order to deal with a continuous increase in systems complexity, current applications have to cooperate to ac...
199
click to vote
SERP
2010
15 years 4 months ago
2010
- In large enterprises subject to constant employee turnover and challenging security policies, the administration of Role-based Access Control (RBAC) is a daunting task that is of...
187
click to vote
DTJ
1998
15 years 6 months ago
1998
ir increasing use of abstraction, modularity, delayed binding, polymorphism, and source reuse, especially when these attributes are used in combination. Modern processor architectu...
208
click to vote
ECLIPSE
2007
ACM
15 years 10 months ago
2007
ACM
In the software development life cycle, unit testing is an important phase that helps in early detection of bugs. A unit test case consists of two parts: a test input, which is of...