770 search results - page 97 / 154 » Agile requirements engineering with prototyping: A case stud... |
QOSA
2010
Springer
15 years 27 days ago
2010
Springer
The use of redundant computational nodes is a widely used design tactic to improve the reliability of complex embedded systems. However, this redundancy allocation has also an effe...
ICFEM
2010
Springer
14 years 9 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...
116
click to vote
SERA
2010
Springer
14 years 9 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...
111
click to vote
SERP
2010
14 years 9 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...
111
click to vote
ECLIPSE
2007
ACM
15 years 3 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...